Computational Soundness for Interactive Primitives

Michael Backes 0001, Esfandiar Mohammadi, Tim Ruffing. Computational Soundness for Interactive Primitives. In Günther Pernul, Peter Y. A. Ryan, Edgar R. Weippl, editors, Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I. Volume 9326 of Lecture Notes in Computer Science, pages 125-145, Springer, 2015. [doi]

Authors

Michael Backes 0001

This author has not been identified. Look up 'Michael Backes 0001' in Google

Esfandiar Mohammadi

This author has not been identified. Look up 'Esfandiar Mohammadi' in Google

Tim Ruffing

This author has not been identified. Look up 'Tim Ruffing' in Google