@misc{ AAB+25,
  author        = {Jos\'e Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe,
                   Lu\'s Esqu\'ivel, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, 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}},
}