Formal Security Analysis of the MaCAN Protocol.

Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1 Downloads (Pure)

Fingerprint Dive into the research topics of 'Formal Security Analysis of the MaCAN Protocol.'. Together they form a unique fingerprint.

Engineering & Materials Science