A type system for data-flow integrity on windows vista.

Avik Chaudhuri Prasad Naldurg Sriram K. Rajamani

Published in: PLAS (2008)

Keyphrases

data flow
database machine
control flow
microsoft windows
data transfer
digital signal processing
operating system
artificial intelligence
object oriented software
relational databases
systolic array
integrity constraints
integrity checking