Formal Verification of Secure User Mode Device Execution with DMA.

Oliver Schwarz Mads Dam

Published in: Haifa Verification Conference (2014)

Keyphrases

formal verification
model checking
user interface
user authentication
bounded model checking
model checker
end users
user interaction
data structure
relevance feedback
main memory
user preferences
mobile terminals
recommender systems
symbolic model checking
artificial intelligence
laser pointer