Alfredo Pironti

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 2

Top Topics

Security Protocols

Cryptographic Algorithms

Fragile Watermarking

Top Venues

IEEE Symposium on Security and Privacy

Formal Aspects Comput.

Publications

Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti
Formally sound implementations of security protocols with JavaSPI. Formal Aspects Comput. 30 (2) (2018)
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
A messy state of the union: taming the composite state machines of TLS. Commun. ACM 60 (2) (2017)
Richard L. Barnes, Martin Thomson, Alfredo Pironti, Adam Langley
Deprecating Secure Sockets Layer Version 3.0. RFC 7568 (2015)
Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan
FLEXTLS: A Tool for Testing TLS Implementations. WOOT (2015)
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
A Messy State of the Union: Taming the Composite State Machines of TLS. IEEE Symposium on Security and Privacy (2015)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti, Adam Langley, Marsh Ray
Transport Layer Security (TLS) Session Hash and Extended Master Secret Extension. RFC 7627 (2015)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti
Verified Contributive Channel Bindings for Compound Authentication. NDSS (2015)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin
Proving the TLS Handshake Secure (As It Is). CRYPTO (2) (2014)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin
Proving the TLS Handshake Secure (as it is). IACR Cryptol. ePrint Arch. 2014 (2014)
Alfredo Pironti, Riccardo Sisto
Safe abstractions of data encodings in formal security protocol models. Formal Aspects Comput. 26 (1) (2014)
Matteo Avalle, Alfredo Pironti, Riccardo Sisto
Formal verification of security protocol implementations: a survey. Formal Aspects Comput. 26 (1) (2014)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Alfredo Pironti, Pierre-Yves Strub
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS. IEEE Symposium on Security and Privacy (2014)
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub
Implementing TLS with Verified Cryptographic Security. IEEE Symposium on Security and Privacy (2013)
Ben Smyth, Alfredo Pironti
Truncating TLS Connections to Violate Beliefs in Web Applications. WOOT (2013)
Alfredo Pironti, Davide Pozza, Riccardo Sisto
Formally based semi-automatic implementation of an open security protocol. J. Syst. Softw. 85 (4) (2012)
Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli
Visual Model-Driven Design, Verification and Implementation of Security Protocols. HASE (2012)
Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto
JavaSPI: A Framework for Security Protocol Implementation. Int. J. Secur. Softw. Eng. 2 (4) (2011)
Manuel Cheminod, Alfredo Pironti, Riccardo Sisto
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. IEEE Trans. Ind. Informatics 7 (1) (2011)
Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza
The Java SPI Framework for Security Protocol Implementation. ARES (2011)
Alfredo Pironti, Riccardo Sisto
Provably correct Java implementations of Spi Calculus security protocols specifications. Comput. Secur. 29 (3) (2010)
Alfredo Pironti, Jan Jürjens
Formally-Based Black-Box Monitoring of Security Protocols. ESSoS (2010)
Alfredo Pironti, Riccardo Sisto
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. DepCoS-RELCOMEX (2008)
Alfredo Pironti, Riccardo Sisto
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. HASE (2008)
Alfredo Pironti, Riccardo Sisto
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES (2008)
Alfredo Pironti, Riccardo Sisto
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. ISCC (2007)