This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Calvin Deutschbein
A grouping.
Calvin Deutschbein: mining security properties from hardware - secure-behaviour mining, Isadora's automated information-flow property generation, and information-flow paths from RTL traces.
3 references
Information Flow Paths from RTL Traces
Calvin Deutschbein and others (2026)
Isadora: Automated Information Flow Property Generation for Hardware Designs
Calvin Deutschbein and others (2021) · Proceedings of the 5th Workshop on Attacks and Solutions in Hardware Security (ASHES 2021)
Mining Secure Behavior of Hardware Designs
Calvin Deutschbein (2021)