Travelled to:
1 × Turkey
Collaborated with:
M.Hicks S.T.King J.M.Smith R.Zhang Natalie Stanley Christopher Griggs Andrew Chi
Talks about:
processor (2) critic (2) secur (2) lightweight (1) properti (1) identifi (1) softwar (1) protect (1) runtim (1) mechan (1)
Person: Cynthia Sturton
DBLP: Sturton:Cynthia
Contributed to:
Wrote 2 papers:
- ASPLOS-2015-HicksSKS #debugging #lightweight #named #runtime #specification
- SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
- 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.