On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. - Paolo Baldan; Alessandro Bruni; Andrea Corradini 001; Barbara König 001; Stefan Schwoon (ICGT, 2010)

Efficient unfolding of contextual Petri nets. - Paolo Baldan; Alessandro Bruni; Andrea Corradini 001; Barbara König 001; César Rodríguez; Stefan Schwoon (Theor. Comput. Sci., 2012)

Security Games for Cyber-Physical Systems. - Roberto Vigo; Alessandro Bruni; Ender Yüksel (NordSec, 2013)

Formal Security Analysis of the MaCAN Protocol. - Alessandro Bruni; Michal Sojka; Flemming Nielson; Hanne Riis Nielson (IFM, 2014)

Set-Pi: Set Membership p-Calculus. - Alessandro Bruni; Sebastian Mödersheim; Flemming Nielson; Hanne Riis Nielson (CSF, 2015)

AIF-ω: Set-Based Protocol Abstraction with Countable Families. - Sebastian Mödersheim; Alessandro Bruni (POST, 2016)

Smart-Guard: Defending User Input from Malware. - Michael Denzel; Alessandro Bruni; Mark Dermot Ryan (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, 2016)

Analysis of Security Protocols in Embedded Systems. - Alessandro Bruni (2016)

Automated Analysis of Accountability. - Alessandro Bruni; Rosario Giustolisi; Carsten Schuermann 001 (ISC, 2017)

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. - Alessandro Bruni; Eva Drewsen; Carsten Schürmann 001 (E-VOTE-ID, 2017)

Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). - Alessandro Bruni; Thorvald Sahl Jørgensen; Theis Grønbech Petersen; Carsten Schürmann 001 (SSR, 2018)

Technical and Socio-Technical Attacks on the Danish Party Endorsement System. - Carsten Schürmann 001; Alessandro Bruni (E-VOTE-ID, 2019)

Privacy-Preserving Dispute Resolution in the Improved Bingo Voting. - Rosario Giustolisi; Alessandro Bruni (E-VOTE-ID, 2020)

Practice and Challenges of (De-)Anonymisation for Data Sharing. - Alexandros Bampoulidis; Alessandro Bruni; Ioannis Markopoulos; Mihai Lupu (RCIS, 2020)

Security Protocols as Choreographies. - Alessandro Bruni; Marco Carbone; Rosario Giustolisi; Sebastian Mödersheim; Carsten Schürmann 001 (Protocols, Strands, and Logic, 2021)

Extended Formal Analysis of the EDHOC Protocol in Tamarin. - Karl Norrman; Vaishnavi Sundararajan; Alessandro Bruni (ICETE (Selected Papers), 2021)

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. - Ieva Daukantas; Alessandro Bruni; Carsten Schürmann 001 (PPDP, 2021)

Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. - Karl Norrman; Vaishnavi Sundararajan; Alessandro Bruni (SECRYPT, 2021)

Privately Connecting Mobility to Infectious Diseases via Applied Cryptography. - Alexandros Bampoulidis; Alessandro Bruni; Lukas Helminger; Daniel Kales; Christian Rechberger; Roman Walch (Proc. Priv. Enhancing Technol., 2022)

Skolemisation for Intuitionistic Linear Logic. - Alessandro Bruni; Eike Ritter; Carsten Schürmann 001 (IJCAR (2), 2024)

Robust Mean Estimation by All Means (Short Paper). - Reynald Affeldt; Clark W. Barrett; Alessandro Bruni; Ieva Daukantas; Harun Khan; Takafumi Saikawa; Carsten Schürmann (ITP, 2024)

Taming Differentiable Logics with Coq Formalisation. - Reynald Affeldt; Alessandro Bruni; Ekaterina Komendantskaya; Natalia Slusarz; Kathrin Stark (ITP, 2024)

Formalisation of Differentiable Logics in Coq. - Natalia Slusarz; Reynald Affeldt; Alessandro Bruni (DROPS Artifacts, 2024)