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 × USA
Collaborated with:
G.E.Suh Y.Wang R.C.Huang E.Halberg Rui Xu D.Zhang A.C.Myers
Talks about:
time (2) architectur (1) overhead (1) protect (1) practic (1) hardwar (1) coverag (1) control (1) channel (1) analysi (1)

Person: Andrew Ferraiuolo

DBLP DBLP: Ferraiuolo:Andrew

Contributed to:

HPCA 20142014
ASPLOS 20172017

Wrote 3 papers:

HPCA-2014-HuangHFS #concurrent #data transformation #detection #metadata #runtime
Low-overhead and high coverage run-time race detection through selective meta-data management (RCH, EH, AF, GES), pp. 96–107.
HPCA-2014-WangFS #memory management
Timing channel protection for a shared memory controller (YW, AF, GES), pp. 225–236.
ASPLOS-2017-FerraiuoloXZMS #analysis #architecture #data flow #hardware #security #verification
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis (AF, RX, DZ, ACM, GES), pp. 555–568.

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.