|
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)
|
|
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)
|
|
Correctness-Preserving Translation from Spi Calculus to Java, Revision 3,
: Politecnico di Torino (Italy), 2009.
Abstract
Download: translation.pdf (300.66 KB)
|
|
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)
|
|
Reasoning About Some Security Protocol Implementation Details, Revision 4,
: Politecnico di Torino (Italy), 2008.
Abstract
Download: encodings.pdf (388.28 KB)
|