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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/SecDev.2016.035 | 2016 IEEE Cybersecurity Development (SecDev) |
Keywords | DocType | ISBN |
program verification,self-verifying execution,cloud-API integration,single-sign-on (SSO) | Conference | 978-1-5090-5590-6 |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Matt McCutchen | 1 | 2 | 1.39 |
Daniel Song | 2 | 9 | 0.88 |
Shuo Chen | 3 | 71 | 7.20 |
Shaz Qadeer | 4 | 3257 | 239.11 |