Follow
Pironti Alfredo
Title
Cited by
Cited by
Year
A messy state of the union: Taming the composite state machines of TLS
B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
Communications of the ACM 60 (2), 99-107, 2017
4022017
Magnetic control of tokamak plasmas
M Ariola, A Pironti
Springer, 2008
2902008
Triple handshakes and cookie cutters: Breaking and fixing authentication over TLS
K Bhargavan, AD Lavaud, C Fournet, A Pironti, PY Strub
2014 IEEE Symposium on Security and Privacy, 98-113, 2014
2772014
Implementing TLS with verified cryptographic security
K Bhargavan, C Fournet, M Kohlweiss, A Pironti, PY Strub
2013 IEEE Symposium on Security and Privacy, 445-459, 2013
2532013
Overview of the JET results in support to ITER
X Litaudon, S Abduallev, M Abhangi, P Abreu, M Afzal, KM Aggarwal, ...
Nuclear Fusion 57 (10), 102001, 2017
2002017
Necessary and sufficient conditions for finite-time stability of impulsive dynamical linear systems
F Amato, G De Tommasi, A Pironti
Automatica 49 (8), 2546-2550, 2013
1622013
Path generation and tracking in 3-D for UAVs
G Ambrosino, M Ariola, U Ciniglio, F Corraro, E De Lellis, A Pironti
IEEE Transactions on Control Systems Technology 17 (4), 980-988, 2009
1522009
Fusion, tokamaks, and plasma control: an introduction and tutorial
A Pironti, M Walker
IEEE Control Systems Magazine 25 (5), 30-43, 2005
1382005
Overview of the JET preparation for deuterium–tritium operation with the ITER like-wall
E Joffrin, S Abduallev, M Abhangi, P Abreu, V Afanasev, M Afzal, ...
Nuclear Fusion 59 (11), 112021, 2019
1372019
Input–output finite-time stability of linear systems: Necessary and sufficient conditions
F Amato, G Carannante, G De Tommasi, A Pironti
IEEE Transactions on Automatic Control 57 (12), 3051-3063, 2012
1362012
Proving the TLS handshake secure (as it is)
K Bhargavan, C Fournet, M Kohlweiss, A Pironti, PY Strub, ...
Advances in Cryptology–CRYPTO 2014: 34th Annual Cryptology Conference, Santa …, 2014
1212014
Efficient generation of energetic ions in multi-ion plasmas by radio-frequency heating
YO Kazakov, J Ongena, JC Wright, SJ Wukitch, E Lerche, MJ Mantsinen, ...
Nature Physics 13 (10), 973-978, 2017
1162017
DTT Divertor Tokamak Test facility–Interim Design Report
R Martone, R Albanese, F Crisanti, P Martin, A Pizzuto
ENEA, 2019
972019
A model-based technique for integrated real-time profile control in the JET tokamak
L Laborde, D Mazon, D Moreau, A Murari, R Felton, L Zabeo, R Albanese, ...
Plasma Physics and Controlled Fusion 47 (1), 155, 2004
962004
Diagnostics for plasma control–From ITER to DEMO
W Biel, R Albanese, R Ambrosino, M Ariola, MV Berkel, I Bolshakova, ...
Fusion engineering and design 146, 465-472, 2019
942019
Formal verification of security protocol implementations: a survey
M Avalle, A Pironti, R Sisto
Formal Aspects of Computing 26, 99-123, 2014
942014
Resistive wall mode control code maturity: progress and specific examples
Y Liu, MS Chu, WF Guo, F Villone, R Albanese, G Ambrosino, M Baruzzo, ...
Plasma Physics and Controlled Fusion 52 (10), 104002, 2010
832010
Novel aspects of plasma control in ITER
D Humphreys, G Ambrosino, P de Vries, F Felici, SH Kim, G Jackson, ...
Physics of Plasmas 22 (2), 2015
822015
Overview of progress in European medium sized tokamaks towards an integrated plasma-edge/wall solution a
H Meyer, T Eich, M Beurskens, S Coda, A Hakola, P Martin, J Adamek, ...
Nuclear fusion 57 (10), 102014, 2017
812017
Deprecating secure sockets layer version 3.0
R Barnes, M Thomson, A Pironti, A Langley
772015
The system can't perform the operation now. Try again later.
Articles 1–20