Alessandro Bruni

30 papers A 1B 6C 4Journal 7Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Foundation for Differentiable Logics using Dependent Type Theory. CoRR Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2026	J	`jnl`	Cryptographic Choreographies. CoRR Sebastian Mödersheim, Simon Lund, Alessandro Bruni, Marco Carbone, Rosario Giustolisi
2025	B	`conf`	Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation. ITP Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa
2025	—	`conf`	Quantifiers for Differentiable Logics in Rocq (Extended Abstract). SAIV Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni
2024	C	`ed.`	Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024 PPDP Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney
2024	B	`conf`	Robust Mean Estimation by All Means (Short Paper). ITP Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schürmann
2024	—	`conf`	Skolemisation for Intuitionistic Linear Logic. IJCAR (2) Alessandro Bruni, Eike Ritter, Carsten Schürmann
2024	J	`jnl`	Skolemisation for Intuitionistic Linear Logic. CoRR Alessandro Bruni, Eike Ritter, Carsten Schürmann
2024	B	`conf`	Taming Differentiable Logics with Coq Formalisation. ITP Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2024	J	`jnl`	Taming Differentiable Logics with Coq Formalisation. CoRR Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2022	J	`jnl`	Privately Connecting Mobility to Infectious Diseases via Applied Cryptography. Proc. Priv. Enhancing Technol. Alexandros Bampoulidis, Alessandro Bruni, Lukas Helminger, Daniel Kales, Christian Rechberger, Roman Walch
2021	—	`conf`	Extended Formal Analysis of the EDHOC Protocol in Tamarin. ICETE (Selected Papers) Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
2021	C	`conf`	Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. SECRYPT Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
2021	—	`conf`	Security Protocols as Choreographies. Protocols, Strands, and Logic Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
2021	C	`conf`	Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP Ieva Daukantas, Alessandro Bruni, Carsten Schürmann
2020	J	`jnl`	Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. CoRR Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
2020	B	`conf`	Practice and Challenges of (De-)Anonymisation for Data Sharing. RCIS Alexandros Bampoulidis, Alessandro Bruni, Ioannis Markopoulos, Mihai Lupu
2020	—	`conf`	Privacy-Preserving Dispute Resolution in the Improved Bingo Voting. E-VOTE-ID Rosario Giustolisi, Alessandro Bruni
2019	—	`conf`	Technical and Socio-Technical Attacks on the Danish Party Endorsement System. E-VOTE-ID Carsten Schürmann, Alessandro Bruni
2018	—	`conf`	Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). SSR Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann
2017	C	`conf`	Automated Analysis of Accountability. ISC Alessandro Bruni, Rosario Giustolisi, Carsten Schuermann
2017	—	`conf`	Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. E-VOTE-ID Alessandro Bruni, Eva Drewsen, Carsten Schürmann
2016	—	`conf`	AIF-ω: Set-Based Protocol Abstraction with Countable Families. POST Sebastian Mödersheim, Alessandro Bruni
2016	—	`—`	Analysis of Security Protocols in Embedded Systems. Alessandro Bruni
2016	—	`conf`	Smart-Guard: Defending User Input from Malware. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld Michael Denzel, Alessandro Bruni, Mark Dermot Ryan
2015	A	`conf`	Set-Pi: Set Membership p-Calculus. CSF Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
2014	B	`conf`	Formal Security Analysis of the MaCAN Protocol. IFM Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson
2013	—	`conf`	Security Games for Cyber-Physical Systems. NordSec Roberto Vigo, Alessandro Bruni, Ender Yüksel
2012	J	`jnl`	Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
2010	B	`conf`	On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon