@inproceedings{
Setty13Resolving,
Author = {Srinath Setty and Benjamin Braun and Victor Vu and Andrew J. Blumberg and Bryan Parno and Michael Walfish},
Title = {Resolving the conflict between generality and plausibility in verified computation},
Booktitle = {EuroSys},
Year = {2013}
}