Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.

A. Ferraiuolo, R. Xu, D. Zhang, A. Myers, and G. Suh. ASPLOS, page 555-568. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrew Huvos

Andrew Lee

Andrew Singer

Andrew Torda

Andrew Cato

Other publications of authors with the same name

SecDCP: secure dynamic cache partitioning for efficient timing channel protection.Y. Wang, A. Ferraiuolo, D. Zhang, A. Myers, and G. Suh. DAC, page 74:1-74:6. ACM, (2016)Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity.A. Ferraiuolo, R. Behjati, T. Santoro, and B. Laurie. SCORED@CCS, page 3-13. ACM, (2022)Timing channel protection for a shared memory controller.Y. Wang, A. Ferraiuolo, and G. Suh. HPCA, page 225-236. IEEE Computer Society, (2014)Low-overhead and high coverage run-time race detection through selective meta-data management.R. Huang, E. Halberg, A. Ferraiuolo, and G. Suh. HPCA, page 96-107. IEEE Computer Society, (2014)Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller.A. Ferraiuolo, Y. Wang, D. Zhang, A. Myers, and G. Suh. HPCA, page 382-393. IEEE Computer Society, (2016)Detecting Hardware Trojans using On-chip Sensors in an ASIC Design.S. Kelly, X. Zhang, M. Tehranipoor, and A. Ferraiuolo. J. Electron. Test., 31 (1): 11-26 (2015)Komodo: Using verification to disentangle secure-enclave hardware from software.A. Ferraiuolo, A. Baumann, C. Hawblitzel, and B. Parno. SOSP, page 287-305. ACM, (2017)Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.A. Ferraiuolo, R. Xu, D. Zhang, A. Myers, and G. Suh. ASPLOS, page 555-568. ACM, (2017)Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control.J. Liu, J. Corbett-Davies, A. Ferraiuolo, A. Ivanov, M. Luo, G. Suh, A. Myers, and M. Campbell. CPS-SPC@CCS, page 48-59. ACM, (2018)HyperFlow: A Processor Architecture for Nonmalleable, Timing-Safe Information Flow Security.A. Ferraiuolo, M. Zhao, A. Myers, and G. Suh. CCS, page 1583-1600. ACM, (2018)

BibSonomy

Disambiguation of "Ferraiuolo, Andrew"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.

Please choose a person to relate this publication to

Andrew Huvos

Andrew Lee

Andrew Singer

Andrew Torda

Andrew Cato

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Ferraiuolo, Andrew"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.

Please choose a person to relate this publication to

Andrew Huvos

Andrew Lee

Andrew Singer

Andrew Torda

Andrew Cato

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.