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:26 - 11 self