Pinned Repositories
secure-rewind-and-discard
cacheproofs
HOL implementation of the proof strategy for verification of cache storage channels countermeasures
haspocproofs
HOL4 model and proofs of information flow security for the HASPOC hypervisor design
secure-rewind-and-discard.github.io
Source for secure-rewind-and-discard.github.io homepage
rauhbein's Repositories
rauhbein/cacheproofs
HOL implementation of the proof strategy for verification of cache storage channels countermeasures
rauhbein/haspocproofs
HOL4 model and proofs of information flow security for the HASPOC hypervisor design