Alessandro Bruni

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 17

Top Topics

Formal Analysis

Key Establishment

Top Venues

UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld

Publications

Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
Taming Differentiable Logics with Coq Formalisation. CoRR (2024)
Alessandro Bruni, Eike Ritter, Carsten Schürmann
Skolemisation for Intuitionistic Linear Logic. IJCAR (2) (2024)
Alessandro Bruni, Eike Ritter, Carsten Schürmann
Skolemisation for Intuitionistic Linear Logic. CoRR (2024)
Alexandros Bampoulidis, Alessandro Bruni, Lukas Helminger, Daniel Kales, Christian Rechberger, Roman Walch
Privately Connecting Mobility to Infectious Diseases via Applied Cryptography. Proc. Priv. Enhancing Technol. 2022 (4) (2022)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. SECRYPT (2021)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Extended Formal Analysis of the EDHOC Protocol in Tamarin. ICETE (Selected Papers) (2021)
Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
Security Protocols as Choreographies. Protocols, Strands, and Logic (2021)
Ieva Daukantas, Alessandro Bruni, Carsten Schürmann
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP (2021)
Rosario Giustolisi, Alessandro Bruni
Privacy-Preserving Dispute Resolution in the Improved Bingo Voting. E-VOTE-ID (2020)
Alexandros Bampoulidis, Alessandro Bruni, Ioannis Markopoulos, Mihai Lupu
Practice and Challenges of (De-)Anonymisation for Data Sharing. RCIS (2020)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. CoRR (2020)
Carsten Schürmann, Alessandro Bruni
Technical and Socio-Technical Attacks on the Danish Party Endorsement System. E-VOTE-ID (2019)
Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). SSR (2018)
Alessandro Bruni, Eva Drewsen, Carsten Schürmann
Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. E-VOTE-ID (2017)
Alessandro Bruni, Rosario Giustolisi, Carsten Schürmann
Automated Analysis of Accountability. ISC (2017)
Michael Denzel, Alessandro Bruni, Mark Dermot Ryan
Smart-Guard: Defending User Input from Malware. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld (2016)
Sebastian Mödersheim, Alessandro Bruni
AIF-ω: Set-Based Protocol Abstraction with Countable Families. POST (2016)
Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
Set-Pi: Set Membership p-Calculus. CSF (2015)
Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson
Formal Security Analysis of the MaCAN Protocol. IFM (2014)
Roberto Vigo, Alessandro Bruni, Ender Yüksel
Security Games for Cyber-Physical Systems. NordSec (2013)
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449 (2012)
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)