Alessandro Bruni

Alessandro Bruni

Royal Danish Academy of Fine Arts - København / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 4789125
Det Kongelige Danske Kunstakademis Skoler for Arkitektur, Design og Konservering - Arkitektskolen
person_outline Alessandro Bruni's MOST POPULAR ARTICLES
1-) Efficient unfolding of contextual Petri nets P Baldan, A Bruni, A Corradini, B König, C Rodríguez, S Schwoon Theoretical Computer Science 449, 2-22, 2012 542012
2-) Formal security analysis of the MaCAN protocol A Bruni, M Sojka, F Nielson, H Riis Nielson International Conference on Integrated Formal Methods, 241-255, 2014 272014
3-) Towards a mechanized proof of selene receipt-freeness and vote-privacyA Bruni, E Drewsen, C SchürmannElectronic Voting: Second International Joint Conference, E-Vote-ID 2017 …, 2017252017
4-) Formal verification of ephemeral Diffie-Hellman over COSE (EDHOC)A Bruni, T Sahl Jørgensen, T Grønbech Petersen, C SchürmannSecurity Standardisation Research: 4th International Conference, SSR 2018 …, 2018292018
5-) Set-Pi: Set Membership Pi-CalculusA Bruni, S Mödersheim, F Nielson, H Riis NielsonComputer Security Foundations Symposium (CSF), 2015 IEEE 28th, 185-198, 2015232015