@misc{ AAB+25,
  author        = {Jos\'e Bacelar Almeida and Gustavo Xavier Delerue Marinho Alves and Manuel Barbosa and Gilles Barthe and
                   Lu\'s Esqu\'ivel and Vincent Hwang and Tiago Oliveira and Hugo Pacheco and Peter Schwabe and Pierre-Yves Strub},
  title         = {Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt},
  booktitle     = {2025 IEEE Symposium on Security and Privacy (SP)},
  publisher     = {IEEE},
  year          = {2025},
  pages         = {3820--3838},
  note          = {\url{https://cryptojedi.org/papers/\#mapreduce}},
}