A type system for data-flow integrity on Windows Vista.

Avik Chaudhuri Prasad Naldurg Sriram K. Rajamani

Published in: ACM SIGPLAN Notices (2008)

Keyphrases

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