A theory of secure control flow (2005)

by Martín Abadi , Mihai Budiu , Úlfar Erlingsson , Jay Ligatti , Martín Abadi , Mihai Budiu , Úlfar Erlingsson , Jay Ligatti
Venue:In International Conference on Formal Engineering Methods
Citations:20 - 11 self