 Automating Cryptographic Protocol Language Generation from Structured
SpecificationsFME Workshop on Formal Methods in Software Engineering (FFMSE), 2021 |
 An authentication protocol based on chaos and zero knowledge proofNonlinear dynamics (Nonlinear Dyn.), 2020 |
 Towards a Data Centric Approach for the Design and Verification of
Cryptographic ProtocolsConference on Computer and Communications Security (CCS), 2019 |
