@inproceedings{DBLP:conf/aplas/TiuNH16,
  author        = {Alwen Tiu and Nam Nguyen and Ross Horne},
  title         = {{SPEC:} An Equivalence Checker for Security Protocols},
  booktitle     = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  editor        = {Atsushi Igarashi},
  pages         = {87--95},
  year          = {2016},
  doi           = {10.1007/978-3-319-47958-3_5},
  timestamp     = {Thu, 15 Jun 2017 21:38:39 +0200},
  series        = {Lecture Notes in Computer Science},
  volume        = {10017}
}