Login / Signup
Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042).
Jan Camenisch
Ralf Küsters
Anna Lysyanskaya
Alessandra Scafuro
Published in:
Dagstuhl Reports (2019)
Keyphrases
</>
cryptographic protocols
standard model
security properties
authentication protocol
insider attacks
security protocols
encryption decryption
high dimensional
model checking
smart card
formal verification
private information retrieval