| 2024 | CoDIT | Stabilization of nonlinear systems by neural Lyapunov approximators and Sontag's formula. | Adriano Mele, Alfredo Pironti |
| 2024 | CoDIT | Stabilization of nonlinear systems by neural Lyapunov approximators and Sontag's formula. | Adriano Mele, Alfredo Pironti |
| 2018 | ETFA | Automatic generation of formal models for diagnosability of DES. | Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini |
| 2016 | IECON | A strategy for the optimal choice of the magnetic sensors for the estimation of plasma parameters with fault tolerance in the ITER tokamak. | Raffaele Albanese, Roberto Ambrosino, Marco Ariola, Simone Minucci, Alfredo Pironti |
| 2015 | NDSS | Verified Contributive Channel Bindings for Compound Authentication. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti |
| 2015 | SP | A Messy State of the Union: Taming the Composite State Machines of TLS. | Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue |
| 2014 | CRYPTO | Proving the TLS Handshake Secure (As It Is). | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Bguelin |
| 2014 | SP | Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Alfredo Pironti, Pierre-Yves Strub |
| 2013 | SP | Implementing TLS with Verified Cryptographic Security. | Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub |
| 2008 | DEPCoS | Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. | Alfredo Pironti, Riccardo Sisto |
| 2007 | ISCC | An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. | Alfredo Pironti, Riccardo Sisto |