Poster : Framework for Security Verification of Secure Processor Architectures
Z3: An Efficient SMT Solver