About

What is REPROSEC?

REPROSEC stands for “Rigorous/Reproducible Engineering for PROvable (protocol) SECurity”.

REPROSEC is an umbrella project for works on rigorous, formal methods to prove (cryptographic) protocols secure in a mechanized, reproducible way.

Current work includes:

  • DY*: a formal verification framework for the symbolic security analysis of cryptographic protocol code written in the F* programming language

Team