Alessandro Bruni

According to our database, Alessandro Bruni authored at least 25 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Quantifiers for Differentiable Logics in Rocq (Extended Abstract).

Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni

Proceedings of the AI Verification - Second International Symposium, 2025

Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation.

Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

Formalisation of Differentiable Logics in Coq.

Natalia Slusarz, Reynald Affeldt, Alessandro Bruni

Dataset, November, 2024

Taming Differentiable Logics with Coq Formalisation.

Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark

Proceedings of the 15th International Conference on Interactive Theorem Proving, 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

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Skolemisation for Intuitionistic Linear Logic.

Alessandro Bruni, Eike Ritter, Carsten Schürmann

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2022

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

2021

Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.

Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation.

Ieva Daukantas, Alessandro Bruni, Carsten Schürmann

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Extended Formal Analysis of the EDHOC Protocol in Tamarin.

Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni

Proceedings of the E-Business and Telecommunications - 18th International Conference, 2021

Security Protocols as Choreographies.

Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Practice and Challenges of (De-)Anonymisation for Data Sharing.

Alexandros Bampoulidis, Alessandro Bruni, Ioannis Markopoulos, Mihai Lupu

Proceedings of the Research Challenges in Information Science, 2020

Privacy-Preserving Dispute Resolution in the Improved Bingo Voting.

Rosario Giustolisi, Alessandro Bruni

Proceedings of the Electronic Voting - 5th International Joint Conference, 2020

2019

Technical and Socio-Technical Attacks on the Danish Party Endorsement System.

Carsten Schürmann, Alessandro Bruni

Proceedings of the Electronic Voting - 4th International Joint Conference, 2019

2018

Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC).

Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann

Proceedings of the Security Standardisation Research - 4th International Conference, 2018

2017

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy.

Alessandro Bruni, Eva Drewsen, Carsten Schürmann

Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Automated Analysis of Accountability.

Alessandro Bruni, Rosario Giustolisi, Carsten Schuermann

Proceedings of the Information Security - 20th International Conference, 2017

2016

Analysis of Security Protocols in Embedded Systems.

Alessandro Bruni

PhD thesis, 2016

Smart-Guard: Defending User Input from Malware.

Michael Denzel, Alessandro Bruni, Mark Dermot Ryan

Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

AIF-ω: Set-Based Protocol Abstraction with Countable Families.

Sebastian Mödersheim, Alessandro Bruni

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015

Set-Pi: Set Membership p-Calculus.

Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Formal Security Analysis of the MaCAN Protocol.

Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

Security Games for Cyber-Physical Systems.

Roberto Vigo, Alessandro Bruni, Ender Yüksel

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

2012

Efficient unfolding of contextual Petri nets.

Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon

Theor. Comput. Sci., 2012

2010

On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars.

Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon

Proceedings of the Graph Transformations - 5th International Conference, 2010