Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification presented at ESSoS 2013

by Tri minh Ngo, Marielle Huisman,

Summary : N/A