Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrew Ferraiuolo
Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
ACM SIGARCH Computer Architecture News
Related publications
Architecture of Information Security Policies: A Content Analysis
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
A Translator With a Security Static Analysis Feature of an Information Flow for a Simple Programming Language
Modeling and Analysis of Information Systems
Practical Precise Taint-Flow Static Analysis for Android App Sets
Security Analysis of Role-Based Access Control Through Program Verification
Operational Information Management Security Architecture
Static Analysis for Proactive Security
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Web Services Security Development and Architecture: Theoretical and Practical Issues
Choice Reviews Online
A Practical Type Analysis for Verification of Modular Prolog Programs
VeriTrust: Verification for Hardware Trust
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
