Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
by José Bacelar Almeida and
Gustavo Xavier Delerue Marinho Alves and
Manuel Barbosa and
Gilles Barthe and
Luís Esqu\v́el and
Vincent Hwang and
Tiago Oliveira and
Hugo Pacheco and
Peter Schwabe and
Pierre-Yves Strub