Automating Cryptographic Protocol Language Generation from Structured Specifications.

Roberto Metere Luca Arnaboldi

Published in: FormaliSE@ICSE (2022)

Keyphrases

language generation
cryptographic protocols
real world
formal verification
information systems
security protocols
digital libraries
response time
formal specification
security properties