A framework for compositional verification of security protocols

Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig F. Mjølsnes, Saša Radomirović*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

41 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A framework for compositional verification of security protocols'. Together they form a unique fingerprint.

Computer Science