@inproceedings{abate2021ssprove,
  title={Ssprove: A foundational framework for modular cryptographic proofs in coq},
  author={Abate, Carmine and Haselwarter, Philipp G and Rivas, Exequiel and Van Muylder, Antoine and Winterhalter, Th{\'e}o and Hri{\c{t}}cu, C{\u{a}}t{\u{a}}lin and Maillard, Kenji and Spitters, Bas},
  booktitle={2021 IEEE 34th Computer Security Foundations Symposium (CSF)},
  pages={1--15},
  year={2021},
  organization={IEEE}
}