Refinement Types for Secure Implementations von BENGTSON, Jesper, BHARGAVAN, Karthikeyan, FOURNET, Cédric, GORDON, Andrew D, MAFFEIS, Sergio

Volltext

Progress in Cryptology - INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings von Bhargavan, Karthikeyan, Oswald, Elisabeth, Prabhakaran, Manoj

Volltext

Verified low-level programming embedded in F von Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil

Volltext

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate von Bhargavan, Karthikeyan, Blanchet, Bruno, Kobeissi, Nadim

Volltext

Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage von Bansal, Chetan, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Maffeis, Sergio

Volltext

Formal verification of standards for distance vector routing protocols von Bhargavan, Karthikeyan, Obradovic, Davor, Gunter, Carl A

Volltext

Verifpal: Cryptographic Protocol Analysis for the Real World von Kobeissi, Nadim, Nicolas, Georgio, Tiwari, Mukesh

Volltext

Discovering concrete attacks on website authorization by formal analysis von Bansal, Chetan, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Maffeis, Sergio

Volltext

A Messy State of the Union: Taming the Composite State Machines of TLS von Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim

Volltext

Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations von Ho, Son, Protzenko, Jonathan, Bichhawat, Abhishek, Bhargavan, Karthikeyan

Volltext

Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing von Pietrzak, Krzysztof

Volltext

Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS von Bhargavan, Karthikeyan, Lavaud, Antoine Delignat, Fournet, Cedric, Pironti, Alfredo, Strub, Pierre Yves

Volltext

From Dragondoom to Dragonstar: Side-channel Attacks and Formally Verified Implementation of WPA3 Dragonfly Handshake von De Almeida Braga, Daniel, Kulatova, Natalia, Sabt, Mohamed, Pierre-Alain Fouque, Karthikeyan Bhargavan

Volltext

Formally Verified Cryptographic Web Applications in WebAssembly von Protzenko, Jonathan, Beurdouche, Benjamin, Merigoux, Denis, Bhargavan, Karthikeyan

Volltext

Progress in Cryptology – INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13–16, 2020, Proceedings

Volltext

On a Dual/Hybrid Approach to Small Secret LWE: A Dual/Enumeration Technique for Learning with Errors and Application to Security Estimates of FHE Schemes von Espitau, Thomas, Joux, Antoine, Kharchenko, Natalia

Volltext

Implementing TLS with Verified Cryptographic Security von Bhargavan, K., Fournet, C., Kohlweiss, M., Pironti, A., Strub, P.

Volltext

Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts von Shi, Cheng, Yoneyama, Kazuki

Volltext

Discovering Concrete Attacks on Website Authorization by Formal Analysis von Bansal, C., Bhargavan, K., Maffeis, S.

Volltext

A Formal Treatment of Accountable Proxying Over TLS von Bhargavan, Karthikeyan, Boureanu, Ioana, Delignat-Lavaud, Antoine, Fouque, Pierre-Alain, Onete, Cristina

Volltext