72 citations · 161 across the 18 of their papers we have counts for
1 paper · 1 filter
Jakub Szefer, Tianwei Zhang, Ruby B. Lee
We present a new and practical framework for security verification of secure architectures. Specifically, we break the verification task into external verification and internal ver…