6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 6 cited
Verifying RISC-V Physical Memory Protection
Kevin Cheang, Cameron Rasmussen, Dayeol Lee +3
We formally verify an open-source hardware implementation of physical memory protection (PMP) in RISC-V, which is a standard feature used for memory isolation in security critical…
cs.LO2019
Understanding and Extending Incremental Determinization for 2QBF
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen +1
Incremental determinization is a recently proposed algorithm for solving quantified Boolean formulas with one quantifier alternation. In this paper, we formalize incremental determ…