Home

Reviewed

  • warning: Creating default object from empty value in /home/alfredo/Public/alfredo.pironti.eu/research/modules/taxonomy/taxonomy.pages.inc on line 33.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
  • warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /home/alfredo/Public/alfredo.pironti.eu/research/includes/unicode.inc on line 349.
The set of reviewed publications

Transport Layer Security (TLS) Session Hash and Extended Master Secret Extension

Tue, 10/20/2015 - 21:40 — alfredo
Bhargavan, K., A. Delignat-Lavaud, A. Pironti, A. Langley, and M. Ray, Transport Layer Security (TLS) Session Hash and Extended Master Secret Extension, , RFC 7627, 2015.

Deprecating Secure Sockets Layer Version 3.0

Tue, 10/20/2015 - 21:35 — alfredo
Barnes, R., M. Thomson, A. Pironti, and A. Langley, Deprecating Secure Sockets Layer Version 3.0, , RFC 7568, 2015.

Verified Contributive Channel Bindings for Compound Authentication

Tue, 10/20/2015 - 21:20 — alfredo
Bhargavan, K., A. Delignat-Lavaud, and A. Pironti, "Verified Contributive Channel Bindings for Compound Authentication", ISOC Network and Distributed System Security Symposium (NDSS 15), 2015.

A Messy State of the Union: Taming the Composite State Machines of TLS

Tue, 10/20/2015 - 20:52 — alfredo
Beurdouche, B., K. Bhargavan, A. Delignat-Lavaud, C. Fournet, M. Kohlweiss, A. Pironti, P. - Y. Strub, and J. K. Zinzindohoue, "A Messy State of the Union: Taming the Composite State Machines of TLS", IEEE Symposium on Security & Privacy 2015 (S&P 15), 2015.

FLEXTLS: A Tool for Testing TLS Implementations

Tue, 10/20/2015 - 20:40 — alfredo
Beurdouche, B., A. Delignat-Lavaud, N. Kobeissi, A. Pironti, and K. Bhargavan, "FLEXTLS: A Tool for Testing TLS Implementations", USENIX Workshop on Offensive Technologies (WOOT 15), 2015.

Monitoring message size to break privacy

Tue, 10/20/2015 - 19:34 — alfredo
Pironti, A., Monitoring message size to break privacy, , W3C/IAB Workshop on Strengthening the Internet Against Pervasive Monitoring (STRINT), 2014.

Proving the TLS Handshake Secure (as it is)

Tue, 06/24/2014 - 16:01 — alfredo
Bhargavan, K., C. Fournet, M. Kohlweiss, A. Pironti, P. - Y. Strub, and S. Zanella Béguelin, "Proving the TLS Handshake Secure (as it is)", CRYPTO 14, pp. 235–255, 2014.

Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS

Tue, 06/24/2014 - 15:43 — alfredo
Bhargavan, K., A. Delignat-Lavaud, C. Fournet, A. Pironti, and P. - Y. Strub, "Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS", IEEE Symposium on Security & Privacy (S&P 14), pp. 98–113, 2014.

Truncating TLS Connections to Violate Beliefs in Web Applications

Thu, 06/13/2013 - 12:45 — alfredo
Smyth, B., and A. Pironti, "Truncating TLS Connections to Violate Beliefs in Web Applications", USENIX Workshop on Offensive Technologies (WOOT 13), 2013.
Syndicate content