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

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Gustavo Xavier Delerue Marinho Alves, Luís Esquível, Vincent Hwang

IEEE Symposium on Security and Privacy 2025 · Day 3 · Embedded and Wireless Security