Theoretical analysis of gate level information flow tracking (original) (raw)
Related papers
On the Complexity of Generating Gate Level Information Flow Tracking Logic
IEEE Transactions on Information Forensics and Security, 2012
Theoretical Fundamentals of Gate Level Information Flow Tracking
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems, 2011
Theorem proof based gate level information flow tracking for hardware security verification
Computers & Security, 2019
Tracking Information Flow at the Gate-Level for Secure Architectures
Gate-Level Information-Flow Tracking for Secure Architectures
2010
An Improved Encoding Technique for Gate Level Information Flow Tracking
2011
Complete information flow tracking from the gates up
Sigplan Notices, 2009
Modeling Secure Information Flow with Boolean Functions
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog
2021 IEEE 39th International Conference on Computer Design (ICCD), 2021
A Theorem Proving Approach to Analysis of Secure Information Flow
Security in Pervasive Computing, 2005
Hardware Implementation of Information Flow Signatures Derived via Program Analysis
2000
Information Flow Secure Architectures
2010
Achieving information flow security through monadic control of effects
Journal of Computer Security, 2009
Software-based gate-level information flow security for IoT systems
Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017
Two-bit pattern analysis for quantitative information flow
2014
Information Flow Analysis in Logical Form
Static Analysis, 2004
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
2009 International Conference on Availability, Reliability and Security, 2009
Probabilistic Information Flow Security
Fundamenta Informaticae, 2008
A Formal Security Model for Microprocessor Hardware
IEEE Transactions on Software Engineering, 2000
A core calculus for secure hardware
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
A core calculus for secure hardware: its formal semantics and proof system
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
A security flow control algorithm and its denotational semantics correctness proof
Formal Aspects of Computing, 1992
Output-Sensitive Information Flow Analysis
Formal Techniques for Distributed Objects, Components, and Systems, 2019
End-to-end verification of information-flow security for C and assembly programs
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016
A Model-based Approach to Interdependency between Safety and Security in ICS
3rd International Symposium for ICS & SCADA Cyber Security Research 2015, 2015
Combining Different Proof Techniques for Verifying Information Flow Security
Lecture Notes in Computer Science, 2007
Certified Abstract Non-Interference -- Object-Oriented Code Validation for Information Flow Security
2006
Securing Device Communication by Predicate Logic Specifications *
2015
McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits
IEEE Access, 2018
Model Checking Information Flow
Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010
A lattice model of secure information flow
Communications of the ACM, 1976
2012
Information-Flow Attacks Based on Limited Observations
Lecture Notes in Computer Science, 2007