Author:
Dreier Jannik,Duménil Charles,Kremer Steve,Sasse Ralf
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Adida, B.: Helios: web-based open-audit voting. In: Proceedings of the 17th USENIX Security Symposium, pp. 335–348. USENIX Association (2008)
2. Lecture Notes in Computer Science;S Anantharaman,2007
3. Arapinis, M., Ritter, E., Ryan, M.: StatVerif: verification of stateful processes. In: Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011), pp. 33–47. IEEE Press (2011)
4. Lecture Notes in Computer Science;A Armando,2005
5. Basin, D., Cremers, C.: Know your enemy: compromising adversaries in protocol analysis. ACM Trans. Inf. Syst. Secur. 17(2), 7:1–7:31 (2014). http://doi.acm.org/10.1145/2658996
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献