A. Pironti
Author
Alternate names Alfredo Pironti, A. Pironti
Institution University of Naples Federico II
Past institutions University of Naples Federico II, Ingegneria dei Trasporti (Italy), Consorzio CREO (Italy), Center for Research and Telecommunication Experimentation for Networked Communities, National Agency for New Technologies, Energy and Sustainable Economic Development +5 more
ORCID: Yes
H-index: 30
I10-index: 80
Works count: 259
Citations count: 3,491
A Messy State of the Union: Taming the Composite State Machines of TLS
2015 · Benjamin Beurdouche, Karthikeyan Bhargavan, et al. · IEEE Symposium on Security and Privacy
Implementing TLS with Verified Cryptographic Security
2013 · Karthikeyan Bhargavan, Cédric Fournet, et al. · IEEE Symposium on Security and Privacy
Necessary and sufficient conditions for finite-time stability of impulsive dynamical linear systems
2013 · Francesco Amato, G. De Tommasi, et al. · Automatica