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: Ferraiuolo:Andrew
Contributed to:
2014
2017Wrote 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.