Linked e-resources
Details
Table of Contents
Abstracts of Invited Talks
Applications
Formal Methods
Implementing Elliptic Curve Cryptography
Ciphers and Cryptanalysis
Quantum Cryptanalysis
Learning With Errors
Encryption and Signatures
Functional Encryption
Secure Multi-Party Computation
Non-Interactive Zero-Knowledge Proofs.
Applications
Formal Methods
Implementing Elliptic Curve Cryptography
Ciphers and Cryptanalysis
Quantum Cryptanalysis
Learning With Errors
Encryption and Signatures
Functional Encryption
Secure Multi-Party Computation
Non-Interactive Zero-Knowledge Proofs.