Alessandro Bruni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2014–2025
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation. | Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa |
| 2024 | IJCAR | Skolemisation for Intuitionistic Linear Logic. | Alessandro Bruni, Eike Ritter, Carsten Schrmann |
| 2024 | ITP | Robust Mean Estimation by All Means (Short Paper). | Reynald Affeldt, Clark W. Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, Carsten Schrmann |
| 2024 | ITP | Taming Differentiable Logics with Coq Formalisation. | Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark |
| 2021 | PPDP | Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. | Ieva Daukantas, Alessandro Bruni, Carsten Schrmann |
| 2021 | SECRYPT | Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. | Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni |
| 2020 | RCIS | Practice and Challenges of (De-)Anonymisation for Data Sharing. | Alexandros Bampoulidis, Alessandro Bruni, Ioannis Markopoulos, Mihai Lupu |
| 2016 | UIC | Smart-Guard: Defending User Input from Malware. | Michael Denzel, Alessandro Bruni, Mark Dermot Ryan |
| 2014 | IFM | Formal Security Analysis of the MaCAN Protocol. | Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson |