BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
R.Zhang Natalie Stanley Christopher Griggs C.Sturton
Talks about:
processor (1) properti (1) identifi (1) critic (1) verif (1) secur (1) dynam (1)

Person: Andrew Chi

DBLP DBLP: Chi:Andrew

Contributed to:

ASPLOS 20172017

Wrote 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.
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.