Resolving the conflict between generality and plausibility in verified computation (2013)

by S Setty, B Braun, V Vu, A J Blumberg, B Parno, M Walfish
Venue:In European Conference on Computer Systems (EuroSys