SaTC: CORE: Small: Formal Verification Techniques For Microprocessor Security Vulnerabilities and Trojans Download pdf Tags: Project Highlight Slides Formal Methods and Language-based Security 2117190 SaTC PI Meeting 2022 License: CC-2.5 Submitted by Jason Gigax on Wed, 06/22/2022 - 14:34