Alfredo Pironti

According to our database, Alfredo Pironti authored at least 24 papers between 2007 and 2018.

Collaborative distances:

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

2018

Formally sound implementations of security protocols with JavaSPI.

Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti

Formal Aspects Comput., 2018

2017

A messy state of the union: taming the composite state machines of TLS.

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue

Commun. ACM, 2017

2015

Transport Layer Security (TLS) Session Hash and Extended Master Secret Extension.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti, Adam Langley, Marsh Ray

RFC, September, 2015

Deprecating Secure Sockets Layer Version 3.0.

Richard L. Barnes, Martin Thomson, Alfredo Pironti, Adam Langley

RFC, June, 2015

FLEXTLS: A Tool for Testing TLS Implementations.

Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan

Proceedings of the 9th USENIX Workshop on Offensive Technologies, 2015

Verified Contributive Channel Bindings for Compound Authentication.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

2014

Proving the TLS Handshake Secure (as it is).

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2014

Safe abstractions of data encodings in formal security protocol models.

Alfredo Pironti, Riccardo Sisto

Formal Aspects Comput., 2014

Formal verification of security protocol implementations: a survey.

Matteo Avalle, Alfredo Pironti, Riccardo Sisto

Formal Aspects Comput., 2014

Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Alfredo Pironti, Pierre-Yves Strub

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

2013

Truncating TLS Connections to Violate Beliefs in Web Applications.

Ben Smyth, Alfredo Pironti

Proceedings of the 7th USENIX Workshop on Offensive Technologies, 2013

Implementing TLS with Verified Cryptographic Security.

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012

Formally based semi-automatic implementation of an open security protocol.

Alfredo Pironti, Davide Pozza, Riccardo Sisto

J. Syst. Softw., 2012

Visual Model-Driven Design, Verification and Implementation of Security Protocols.

Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011

Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access.

Manuel Cheminod, Alfredo Pironti, Riccardo Sisto

IEEE Trans. Ind. Informatics, 2011

JavaSPI: A Framework for Security Protocol Implementation.

Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto

Int. J. Secur. Softw. Eng., 2011

The Java SPI Framework for Security Protocol Implementation.

Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza

Proceedings of the Sixth International Conference on Availability, 2011

2010

Sound automatic implementation generation and monitoring of security protocol implementations from verified formal specifications.

Alfredo Pironti

PhD thesis, 2010

Provably correct Java implementations of Spi Calculus security protocols specifications.

Alfredo Pironti, Riccardo Sisto

Comput. Secur., 2010

Formally-Based Black-Box Monitoring of Security Protocols.

Alfredo Pironti, Jan Jürjens

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

2008

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code.

Alfredo Pironti, Riccardo Sisto

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models.

Alfredo Pironti, Riccardo Sisto

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models.

Alfredo Pironti, Riccardo Sisto

Proceedings of the The Third International Conference on Availability, 2008

2007

An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation.

Alfredo Pironti, Riccardo Sisto

Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007