Collaborated with:R.Zhang Christopher Griggs Andrew Chi C.Sturton
Talks about:processor (1) properti (1) identifi (1) critic (1) verif (1) secur (1) dynam (1)
Person: Natalie Stanley
DBLP: Stanley:Natalie
Contributed to:
2017Wrote 1 papers:
- ASPLOS-2017-ZhangSGCS #identification #security #verification
- Identifying Security Critical Properties for the Dynamic Verification of a Processor (RZ, NS, CG, AC, CS), pp. 541–554.