Computational Soundness for Interactive Primitves

Backes, Michael and Mohammadi, Esfandiar and Ruffing, Tim
(2015) Computational Soundness for Interactive Primitves.
In: Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS'15).
Conference: ESORICS - European Symposium On Research In Computer Security

[img]
Preview
Text
cosp-int.pdf - Published Version

Download (884kB) | Preview

Actions

Actions (login required)

View Item View Item