Zero Footprint Opaque Predicates: Synthesizing Opaque Predicates from Naturally Occurring Invariants

von Tung, Yu-Jye
Veröffentlicht in DIMVA (18. : 2021 : Online) Detection of Intrusions and Malware, and Vulnerability Assessment (2021)

Practical design verification

Veröffentlicht 2009

A Study of Targeted Telephone Scams Involving Live Attackers

von Harris, Ian G.
Veröffentlicht in STAST (10. : 2020 : Online) Socio-Technical Aspects in Security and Trust (2021)

Special section on simulation-based design validation : [The IEEE High Level Design Validation and Test (HLDVT) Workshop]

Veröffentlicht 2006