BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sturton:Cynthia

Contributed to:

ASPLOS 20152015
ASPLOS 20172017

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.