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

ACM SIGARCH Computer Architecture News

doi 10.1145/3093337.3037739

Full Text

Abstract

Available in

Date

Authors

Publisher

Association for Computing Machinery (ACM)

Related search

Architecture of Information Security Policies: A Content Analysis

Advances in Intelligent Systems and Computing
ControlSystems EngineeringComputer Science
2016English

A Translator With a Security Static Analysis Feature of an Information Flow for a Simple Programming Language

Modeling and Analysis of Information Systems
2014English

Practical Precise Taint-Flow Static Analysis for Android App Sets

2018English

Security Analysis of Role-Based Access Control Through Program Verification

2012English

Operational Information Management Security Architecture

2006English

Static Analysis for Proactive Security

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Practical Type Analysis for Verification of Modular Prolog Programs

2008English

Web Services Security Development and Architecture: Theoretical and Practical Issues

Choice Reviews Online
2010English

VeriTrust: Verification for Hardware Trust

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy