Alessandro Bruni

See also my profiles on Google Scholar, DBLP, and ORCID.

Preprints

  1. Sebastian Modersheim, Simon Lund, Alessandro Bruni, Marco Carbone, Rosario Giustolisi: Cryptographic Choreographies. CoRR abs/2602.12967, 2026 arXiv
  2. Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark: A Foundation for Differentiable Logics using Dependent Type Theory. CoRR abs/2602.23878, 2026 arXiv

Conference Papers

  1. Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa: Formalizing concentration inequalities in Rocq: infrastructure and automation. ITP 2025 PDF slides
  2. Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni: Quantifiers for Differentiable Logics in Rocq. SAIV 2025 PDF
  3. Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark: Taming Differentiable Logics with Coq Formalisation. ITP 2024 arXiv PDF
  4. Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schurmann: Robust Mean Estimation by All Means (Short Paper). ITP 2024 PDF
  5. Alessandro Bruni, Eike Ritter, Carsten Schurmann: Skolemization for Intuitionistic Linear Logic. IJCAR 2024 arXiv
  6. Nicklas Hedam, Alessandro Bruni, Willard Rafnsson: tvalv: No-Cost Mitigation of Network Timing Channels. 2023
  7. Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni: Extended Formal Analysis of the EDHOC Protocol in Tamarin. ICETE (Selected Papers) 2021 (published 2023)
  8. Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Moedersheim, Carsten Schurmann: Security Protocols as Choreographies. Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
  9. Ieva Daukantas, Alessandro Bruni, Carsten Schurmann: Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP 2021
  10. Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni: Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. SECRYPT 2021
  11. Rosario Giustolisi, Alessandro Bruni: Privacy-Preserving Dispute Resolution in the Improved Bingo Voting. E-VOTE-ID 2020
  12. Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni: Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. CoRR abs/2007.11427 (2020)
  13. Carsten Schurmann, Alessandro Bruni; Technical and Socio-Technical Attacks on the Danish Party Endorsement System. E-VOTE-ID 2019
  14. Theis Gronbech Petersen, Thorvald Sahl Jorgensen, Alessandro Bruni and Carsten Schurmann; “Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)”. Security Standardisation Research, Third International Conference, 2018 [Preprint]
  15. Alessandro Bruni, Rosario Giustolisi, Carsten Schurmann; Automated Analysis of Accountability. 20th Information Security Conference (ISC), 2017 [Slides]
  16. Eva Drewsen, Alessandro Bruni, Carsten Schurmann; Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. Second International Joint Conference on Electronic Voting, 2017 [Slides]
  17. Peter Brottveit Bock, Alessandro Bruni, Agata Murawska and Carsten Schurmann: Representing Session Types. Dale Miller’s Festschrift, 2016
  18. Michael Denzel, Alessandro Bruni and Mark Ryan. Smart-Guard: Defending User Input from Malware. The 13th IEEE International Conference on Advanced and Trusted Computing, 2016
  19. Sebastian Modersheim and Alessandro Bruni. AIF-omega: Set-Based Protocol Abstraction with Countable Families. Principles of Security and Trust, 2016 [Preprint]
  20. Alessandro Bruni, Sebastian Modersheim, Flemming Nielson and Hanne Riis Nielson. Set-pi: Set Membership Pi-calculus. Computer Security Foundations, 2015 [Extended version with corrections]
  21. Alessandro Bruni, Michal Sojka, Flemming Nielson and Hanne Riis Nielson. Formal Security Analysis of the MaCAN Protocol. Integrated Formal Methods, 2014
  22. Vigo, Roberto, Alessandro Bruni, and Ender Yuksel. Security Games for Cyber-Physical Systems. Secure IT Systems. Springer Berlin Heidelberg, 2013. 17-32.
  23. Baldan, P., Bruni, A., Corradini, A., Konig, B., & Schwoon, S. On the computation of McMillan’s prefix for contextual nets and graph grammars. Graph Transformations, 2010. 91-106.

Journal Papers

  1. Baldan, P., Bruni, A., Corradini, A., Konig, B., Rodriguez, C., & Schwoon, S. Efficient unfolding of contextual Petri nets. Theoretical Computer Science, 2012.

Posters and Workshop Papers

  1. Reynald Affeldt, Alessandro Bruni, Pierre Roux, Takafumi Saikawa: Yet another formal theory of probabilities in Coq. TYPES 2024 slides abstract
  2. Alessandro Bruni, Sebastian Modersheim, Flemming Nielson, Hanne Riis Nielson. Verification of Stateful Protocols, Set-based Abstractions in the Applied pi-Calculus. Secure IT Systems, 2014.
  3. Alessandro Bruni, Markulf Kohlweiss, Myrto Arapinis, Mark D. Ryan, Eike Ritter, Flemming Nielson, and Hanne Riis Nielson. “Proving Stateful Injective Agreement with Refinement Types”. Cryptoforma Workshop, 2015. [Paper]

Thesis

  1. Alessandro Bruni. Analysis of Security Protocols in Embedded Systems. PhD thesis, DTU, 2016. [Link]

Edited Proceedings

  1. Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney (Eds.): Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. ACM, 2024