1

Pono: A Flexible and Extensible SMT-based Model Checker
Model Checking
A Hardware-based Technique for Efficient Implicit Information Flow Tracking
Hardware information-flow tracking