@inproceedings{mccutchen2016self-verifying,
author = {McCutchen, Matt and Song, Daniel and Chen, Shuo and Qadeer, Shaz},
title = {Self-Verifying Execution (Position Paper)},
booktitle = {Proceedings of the IEEE Cybersecurity Development Conference (SecDev)},
year = {2016},
month = {November},
abstract = {This paper proposes a notion called self-verifying execution (SVX). SVX substantially lowers several hurdles that real-world programmers face when adopting traditional program verification approaches. The current focus of SVX is to verify safety properties for programs that implement cloud-API integrations. We envision that, if adopted by real-world programmers, the SVX approach will enable a positive paradigm shift in the community toward more rigorous reasoning about security goals of cloud-API protocols.},
publisher = {IEEE - Institute of Electrical and Electronics Engineers},
url = {http://approjects.co.za/?big=en-us/research/publication/self-verifying-execution-position-paper/},
edition = {Proceedings of the IEEE Cybersecurity Development Conference (SecDev)},
}