41554 blogs · [ { "id": "01a08790-169f-712c-8462-3b41d1becfbb", "title": "A case study with Aeneas and jxl-rs", "url": "http://jonathan.protzenko.fr/2026/05/05/jxl-rs.html", "published_at": "2026-05-05T15:00:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d1f6a4cf", "title": "Eurydice: a Rust to C compiler (yes)", "url": "http://jonathan.protzenko.fr/2025/10/28/eurydice.html", "published_at": "2025-10-28T15:00:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d2063f89", "title": "15,000 lines of verified cryptography now in Python", "url": "http://jonathan.protzenko.fr/2025/04/18/python.html", "published_at": "2025-04-18T15:00:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d20e7522", "title": "First alpha release of HACL* in Rust", "url": "http://jonathan.protzenko.fr/2024/03/20/hacl-rs.html", "published_at": "2024-03-20T15:00:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d302e5ff", "title": "Rust verification and backwards compatibility", "url": "http://jonathan.protzenko.fr/2024/01/05/eurydice.html", "published_at": "2024-01-05T15:00:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d35058a1", "title": "Verified Secure Group Messaging with MLS", "url": "http://jonathan.protzenko.fr/2023/06/09/mls.html", "published_at": "2023-06-09T15:00:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d4058fd4", "title": "5 Years of Meta-Programming Cryptography", "url": "http://jonathan.protzenko.fr/2022/05/22/meta-programming-cryptography.html", "published_at": "2022-05-22T15:00:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d4a7ab50", "title": "What’s new in Everest: Summer 2020", "url": "http://jonathan.protzenko.fr/2020/08/13/whats-new-in-everest.html", "published_at": "2020-08-13T19:07:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d5118ea4", "title": "GitHub strange", "url": "http://jonathan.protzenko.fr/2019/12/08/github-investigations.html", "published_at": "2019-12-08T17:00:00+00:00" }, { "id": "01a08790-169f-712c-8462-3b41d5db282e", "title": "The EverCrypt verified cryptographic provider", "url": "http://jonathan.protzenko.fr/2019/04/02/evercrypt-alpha1.html", "published_at": "2019-04-02T17:00:00+00:00" } ] posts Claim your blog

Back to Jonathan Protzenko | Google Information Security Engineering (Seattle)

Blog · corpus.blog/blogs/jonathan.protzenko.fr/posts