Alfredo Pironti

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