New abstractions in applied pi-calculus and automated verification of protected executions

Shiwei Xu, Sergiu Bursuc, Julian P. Murphy. New abstractions in applied pi-calculus and automated verification of protected executions. IACR Cryptology ePrint Archive, 2013:686, 2013. [doi]

@article{XuBM13,
  title = {New abstractions in applied pi-calculus and automated verification of protected executions},
  author = {Shiwei Xu and Sergiu Bursuc and Julian P. Murphy},
  year = {2013},
  url = {http://eprint.iacr.org/2013/686},
  researchr = {https://researchr.org/publication/XuBM13},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2013},
  pages = {686},
}