Publication Overview

Michael Backes and Dennis Hofheinz and Dominique Unruh

CoSP: a general framework for computational soundness proofs

Published in: ACM Conference on Computer and Communications Security
Year: 2009
Pages: 66-78