25 citations · 27 across the 4 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
Parasitic Circus:On the Feasibility of Golden Free PCB Verification
Maryam Saadat Safa, Patrick Schaumont, Shahin Tajik
Printed circuit boards (PCBs) are an integral part of electronic systems. Hence, verifying their physical integrity in the presence of supply chain attacks (e.g., tampering and cou…
cs.CR2016★ 25 cited
Report on the NSF Workshop on Formal Methods for Security
Stephen Chong, Joshua Guttman, Anupam Datta +5
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.