Publication Overview

Michael Backes and Ankit Malik and Dominique Unruh

Computational soundness without protocol restrictions

Published in: ACM Conference on Computer and Communications Security
Year: 2012
Pages: 699-711