Alessandro Bruni

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

Preprints

  1. Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark: A Foundation for Differentiable Logics using Dependent Type Theory. CoRR abs/2602.23878 [arXiv].

Conference Papers

  1. Sofie Nielsen, Louise Meier Carlsen, Alessandro Bruni: When CTF-Challenges Become Challenging: Student Motivation and Learning (accepted; FULL paper). FIE 2026.
  2. Sebastian Mödersheim, Simon Lund, Alessandro Bruni, Marco Carbone, Rosario Giustolisi: Cryptographic Choreographies (to appear). CSF 2026 [arXiv].
  3. Matthew L. Daggitt, Ekaterina Komendantskaya, Alistair Sirman, Alessandro Bruni, Samuel Teuber, Josh Smart, Grant Passmore: Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice (conditionally accepted). ICFP 2026 [arXiv].
  4. Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa: Formalizing concentration inequalities in Rocq: infrastructure and automation. ITP 2025 [PDF, slides].
  5. Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni: Quantifiers for Differentiable Logics in Rocq. SAIV 2025 [DOI, PDF].
  6. Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark: Taming Differentiable Logics with Coq Formalisation. ITP 2024 [arXiv, PDF].
  7. Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schürmann: Robust Mean Estimation by All Means (Short Paper). ITP 2024 [PDF].
  8. Alessandro Bruni, Eike Ritter, Carsten Schürmann: Skolemization for Intuitionistic Linear Logic. IJCAR 2024 [arXiv, DOI].
  9. Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni: Extended Formal Analysis of the EDHOC Protocol in Tamarin (published 2023). ICETE (Selected Papers) 2021 [DOI].
  10. Ieva Daukantas, Alessandro Bruni, Carsten Schürmann: Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP 2021 [DOI].
  11. Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni: Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. SECRYPT 2021 [DOI].
  12. Rosario Giustolisi, Alessandro Bruni: Privacy-Preserving Dispute Resolution in the Improved Bingo Voting. E-Vote-ID 2020 [DOI].
  13. Carsten Schürmann, Alessandro Bruni: Technical and Socio-Technical Attacks on the Danish Party Endorsement System. E-Vote-ID 2019 [DOI].
  14. Theis Grønbech Petersen, Thorvald Sahl Jørgensen, Alessandro Bruni, Carsten Schürmann: Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). SSR 2018 [DOI, preprint].
  15. Alessandro Bruni, Rosario Giustolisi, Carsten Schürmann: Automated Analysis of Accountability. ISC 2017 [DOI, slides].
  16. Eva Drewsen, Alessandro Bruni, Carsten Schürmann: Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. E-Vote-ID 2017 [DOI, slides].
  17. Michael Denzel, Alessandro Bruni, Mark Ryan: Smart-Guard: Defending User Input from Malware. ATC 2016 [DOI].
  18. Sebastian Mödersheim, Alessandro Bruni: AIF-ω: Set-Based Protocol Abstraction with Countable Families. POST 2016 [DOI, preprint].
  19. Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson: Set-pi: Set Membership Pi-calculus (extended version with corrections). CSF 2015 [DOI, preprint].
  20. Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson: Formal Security Analysis of the MaCAN Protocol. iFM 2014 [DOI].
  21. Roberto Vigo, Alessandro Bruni, Ender Yüksel: Security Games for Cyber-Physical Systems. NordSec 2013 [DOI].
  22. Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon: On the computation of McMillan's prefix for contextual nets and graph grammars. ICGT 2010 [DOI].

Journal Papers

  1. Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon: Efficient unfolding of contextual Petri nets. Theoretical Computer Science 2012 [DOI].

Book Chapters

  1. Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann: Security Protocols as Choreographies. Joshua Guttman Festschrift 2021 [DOI].
  2. Peter Brottveit Bock, Alessandro Bruni, Agata Murawska, Carsten Schürmann: Representing Session Types. Dale Miller's Festschrift 2016.

Posters and Workshop Papers

  1. Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa: Developing probability theory using the Lebesgue integral in Coq (poster). PPL 2025.
  2. Reynald Affeldt, Alessandro Bruni, Pierre Roux, Takafumi Saikawa: Yet another formal theory of probabilities in Coq. TYPES 2024 [abstract, slides].
  3. Alessandro Bruni, Markulf Kohlweiss, Myrto Arapinis, Mark D. Ryan, Eike Ritter, Flemming Nielson, Hanne Riis Nielson: Proving Stateful Injective Agreement with Refinement Types. Cryptoforma Workshop 2015 [paper].
  4. Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson: Verification of Stateful Protocols, Set-based Abstractions in the Applied pi-Calculus. NordSec 2014.

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: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming. ACM, 2024 [DOI].
  1. Danmark skal have et akademi for cybersikkerhed, Jyllands-Posten, 2025 (with J.M. Pedersen, C.D. Jensen, J. Mauro, N. Dragoni, R.R. Mukkamala).
  2. Nyt EU-direktiv er godt nyt for vores cyberforsvar og for etiske hackere, Finans, 2025-05-05.
  3. Børnehave-hackeren endte i retten: Nu kræver eksperter klare rammer for "venlige hackere", Version2, 2024-11-12.
  4. Lektor: Hardwarebegrænsninger er ingen undskyldning for dårlig IoT-sikkerhed, Version2, 2022-02-16.
  5. IoT's store udfordring: "Det er svært at sælge sikkerhed på bagkant", Version2, 2022-02-16.
  6. Dark web er ikke kun for aktivister og kriminelle, DR Nyheder, 2020-12-13.
  7. Rodcertifikater udløber i år: Hardware i perfekt stand kan holde op med at virke, Version2, 2020-02-28.
  8. It-forsker skal styrke cybersikkerhed i Danmark, Altinget, 2019-04-04.
  9. ITU-forsker bliver leder af OWASP i København, Version2, 2019-03-27.
  10. Slut med kringlede kodeord: Ny login-teknik kommer til Android, DR Nyheder, 2019-03-04.