The following publications are possibly variants of this publication:
- Isadora: Automated Information Flow Property Generation for Hardware DesignsCalvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton. ccs 2021: 5-15 [doi]
- Automating hardware security property generation: invitedRyan Kastner, Francesco Restuccia, Andres Meza, Sayak Ray, Jason M. Fung, Cynthia Sturton. dac 2022: 1384-1387 [doi]
- Property specific information flow analysis for hardware security verificationWei Hu, Armaiti Ardeshiricham, Mustafa S. Gobulukoglu, Xinmu Wang, Ryan Kastner. iccad 2018: 89 [doi]