Jekyll2025-03-29T15:33:18+00:00https://fdupress.net/feed.xmlFrançois Dupressoir's research and teaching portfolio.<br /> High-assurance cryptography and security research.<br /> Computer science, programming languages and cryptography education.François Dupressoir