Fingerprint Dive into the research topics of 'Formal Security Analysis of the MaCAN Protocol.'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Formal Security Analysis of the MaCAN Protocol.
Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review