First Page | Document Content | |
---|---|---|
![]() Date: 2010-05-05 07:32:51Radioactivity Particle physics Swedish University of Agricultural Sciences Uppsala Radioecology Radiation protection Nuclear fallout Ionizing radiation Radiobiology Nuclear physics Physics | Add to Reading List |
![]() | Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, SwedenDocID: 1xUHf - View Document |
![]() | Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ยด CEDRIC FOURNET, Microsoft ResearchDocID: 1xTrk - View Document |
![]() | PDF DocumentDocID: 1xyIX - View Document |
![]() | PDF DocumentDocID: 1xfJc - View Document |
![]() | PDF DocumentDocID: 1x10o - View Document |