Composing Timed Cryptographic Protocols: Foundations and Applications.

Karim Eldefrawy Benjamin Terner Moti Yung

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

cryptographic protocols
petri net
standard model
artificial intelligence
security properties
security protocols
database
information systems
digital libraries
lightweight
data distribution
locally decodable codes