Formal methods for assuring security of protocols

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Fingerprint Dive into the research topics of 'Formal methods for assuring security of protocols'. Together they form a unique fingerprint.

Engineering & Materials Science