Publication Overview

Michael Backes and Esfandiar Mohammadi and Tim Ruffing

Bridging the Gap from Trace Properties to Uniformity

Published in: Proc. of the 3rd Conference on Principles of Security and Trust (POST 2014)
Year: 2014