@misc{indiciaed6e8d352934f,
  title = {Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols},
  author = {François Dupressoir and Andrew D. Gordon and Jan Jürjens and David A. Naumann},
  year = {2013},
  url = {https://arxiv.org/abs/1312.6532},
  note = {Source identifier: 1312.6532}
}