rauhbein's repositories
haspocproofs
HOL4 model and proofs of information flow security for the HASPOC hypervisor design
Language:Standard ML000
cacheproofs
HOL implementation of the proof strategy for verification of cache storage channels countermeasures