Documents

Author tools:
Filters: Author is Alessandro Bruni  [Clear All Filters]
Conference Papers
Bruni, Alessandro, Michal Sojka, Flemming Nielson, and Hanne Riis Nielson. "Formal Security Analysis of the MaCAN Protocol." In Integrated Formal Methods. Bertinoro, Italy, 2014.