Publication Overview

Michael Backes and Matteo Maffei and Dominique Unruh

Computationally sound verification of source code

Published in: ACM Conference on Computer and Communications Security
Year: 2010
Pages: 387-398