Latest papers:

  1. Privacy-preserving smart metering revisited. (pdf) Alfredo Rial, George Danezis, Markulf Kohlweiss. Int. J. Inf. Sec. 17(1): 1-31 (2018)
  2. A messy state of the union: taming the composite state machines of TLS. (ACM)
    Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue.
    Commun. ACM 60(2): 99-107 (2017)
  3. Everest: Towards a Verified, Drop-in Replacement of HTTPS. (pdf)
    Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue.  SNAPL 2017
  4. Implementing and Proving the TLS 1.3 Record Layer. (pdf)
    Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue. IEEE Symposium on Security and Privacy 2017: 463-482

For now, the best way to see the rest of my publications are:

Full list:

Please get in touch if you cannot access a paper online.