Pironti, A.,
Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications,
: Politecnico di Torino (Italy), 2010.
Download: Pironti_Dissertation.pdf (1.31 MB)
|
Pironti, A., P. - Y. Strub, and K. Bhargavan,
Identifying Website Users by TLS Traffic Analysis: New Attacks and Effective Countermeasures, Revision 1,
, no. 8067: INRIA Paris Rocquencourt, 2012.
Abstract
Download: tls-identification.pdf (1.09 MB)
|
Pironti, A., and R. Sisto,
Correctness-Preserving Translation from Spi Calculus to Java, Revision 3,
: Politecnico di Torino (Italy), 2009.
Abstract
Download: translation.pdf (300.66 KB)
|
Pironti, A., and J. Jürjens,
Black-Box Monitoring of Security Protocols, Revision 1,
: Politecnico di Torino (Italy), Microsoft Research Cambridge (UK) and Open University (UK), 2009.
Abstract
Download: monitoring1.pdf (340.82 KB)
|
Pironti, A., and R. Sisto,
Reasoning About Some Security Protocol Implementation Details, Revision 4,
: Politecnico di Torino (Italy), 2008.
Abstract
Download: encodings.pdf (388.28 KB)
|