@inproceedings{ChevalJKK-usenix22,
  title = "{SAPIC+:} protocol verifiers of the world, unite!",
  author = "Vincent Cheval and Charlie Jacomme and Steve Kremer and Robert K{\"{u}}nnemann",
  year = "2022",
  booktitle = "31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston, MA, USA, August 10-12, 2022",
  editor = "Kevin R. B. Butler and Kurt Thomas",
  pages = "3935--3952",
  publisher = "{USENIX} Association",
  url = "https://www.usenix.org/conference/usenixsecurity22/presentation/cheval",
}