Formal methods for assuring security of protocols

Research output: Contribution to journalArticlepeer-review

7 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