Proving Faster Implementations Faster: Combining Deductive and Circuit-Based Reasoning in EasyCrypt

No ratings

Presented at IEEE S&P 2025 by

José Almeida

Peter Schwabe

Manuel Barbosa

Gilles Barthe

Gustavo Xavier Delerue Marinho Alves

Luís Esquível

Vincent Hwang

Tiago Oliveira

Hugo Pacheco

Pierre-Yves Strub

This entry could use some 💚... Consider signing-up and making an edit request to fix this!