Machine assisted proof of ARMv7 instruction level isolation properties
Narges Khakpour, Oliver Schwarz, Mads Dam[doi] [Google Scholar] [DBLP] [Citeseer]
International Conference on Certified Programs and Proofs
Springer
Pages 276-291
2013
Topic(s): verification
Note(s): information flow, Arm architecture
Springer
Pages 276-291
2013
Topic(s): verification
Note(s): information flow, Arm architecture