An analysis of the EMV channel establishment protocol

Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson. An analysis of the EMV channel establishment protocol. In Ahmad-Reza Sadeghi, Virgil D. Gligor, Moti Yung, editors, 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013. pages 373-386, ACM, 2013. [doi]

@inproceedings{BrzuskaSWW13-0,
  title = {An analysis of the EMV channel establishment protocol},
  author = {Christina Brzuska and Nigel P. Smart and Bogdan Warinschi and Gaven J. Watson},
  year = {2013},
  doi = {10.1145/2508859.2516748},
  url = {http://doi.acm.org/10.1145/2508859.2516748},
  researchr = {https://researchr.org/publication/BrzuskaSWW13-0},
  cites = {0},
  citedby = {0},
  pages = {373-386},
  booktitle = {2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013},
  editor = {Ahmad-Reza Sadeghi and Virgil D. Gligor and Moti Yung},
  publisher = {ACM},
  isbn = {978-1-4503-2477-9},
}