Michael Backes, Catherine Meadows, John C. Mitchell. Relating cryptography and formal methods: a panel. In Michael Backes, David A. Basin, editors, Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003. pages 61-66, ACM, 2003. [doi]
@inproceedings{BackesMM03,
title = {Relating cryptography and formal methods: a panel},
author = {Michael Backes and Catherine Meadows and John C. Mitchell},
year = {2003},
doi = {10.1145/1035429.1035436},
url = {http://doi.acm.org/10.1145/1035429.1035436},
tags = {C++},
researchr = {https://researchr.org/publication/BackesMM03},
cites = {0},
citedby = {0},
pages = {61-66},
booktitle = {Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003},
editor = {Michael Backes and David A. Basin},
publisher = {ACM},
isbn = {1-58113-781-8},
}