13 results on '"Pascal Lafourcade"'
Search Results
2. Generic Blockchain on Generic Human Behavior.
3. Authentication Attacks on Projection-based Cancelable Biometric Schemes.
4. Near-collisions and Their Impact on Biometric Security.
5. Fast Cramer-Shoup Cryptosystem.
6. Formally Verifying Flow Properties in Industrial Systems.
7. Formal Analyze of a Private Access Control Protocol to a Cloud Storage.
8. LOCALPKI: A User-Centric Formally Proven Alternative to PKIX.
9. Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption.
10. Private Multi-party Matrix Multiplication and Trust Computations.
11. Two Secure Anonymous Proxy-based Data Storages.
12. Formal Analysis of E-Cash Protocols.
13. Formal Analysis of Electronic Exams.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.