Security Properties for Open-Source Hardware Designs. - Jayden Rogers; Niyaz Shakeel; Divya Mankani; Samantha Espinosa; Cade Chabra; Kaki Ryan; Cynthia Sturton (CoRR, 2024)