Summary

This text introduces a core developer of the EasyCrypt proof assistant who specializes in expanding its capabilities through novel applications, particularly focusing on cryptographic definitions and game transformations. The developer is actively seeking research opportunities in machine-checked cryptography, high-assurance cryptography, and verified software-security, inviting proposals for short projects – typically a first-year PhD-level undertaking – for potential supervision.

Title

François Dupressoir - François Dupressoir

Description

François Dupressoir’s research and teaching portfolio. High-assurance cryptography and security research. Computer science, programming languages and cryptography education.

Keywords

research, cryptography, university, skip, publications, tools, machine, contact, group, bristol, open, verification, supervision, cambridge, labs, check, software

NS Lookup

A 35.185.44.232

Dates

Created 2026-03-09

Updated 2026-03-09

Summarized 2026-03-09