@misc{indiciaec73b0081c7a0,
  title = {Automated Verification of Accountability in Security Protocols},
  author = {Robert Künnemann and Ilkan Esiyok and Michael Backes},
  year = {2019},
  url = {https://arxiv.org/abs/1805.10891},
  note = {Source identifier: 1805.10891}
}