9 results on '"Dahl, Morten"'
Search Results
2. Formal Analysis of Privacy for Anonymous Location Based Services
3. On Secure Two-Party Integer Division
4. Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols
5. Formal Analysis of Privacy for Vehicular Mix-Zones
6. Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption.
7. Formal Analysis of Privacy for Anonymous Location Based Services.
8. On Secure Two-Party Integer Division.
9. Formal Analysis of Privacy for Vehicular Mix-Zones.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.