JFlow
From MaRDI portal
Software:32413
No author found.
Related Items (22)
Securing the Future — An Information Flow Analysis of a Distributed OO Language ⋮ Secure information flow connections ⋮ Information Flow in Object-Oriented Software ⋮ Instruction-level security analysis for information flow in stack-based assembly languages ⋮ A secrecy-preserving language for distributed and object-oriented systems ⋮ Unnamed Item ⋮ A verifiable low-level concurrent programming model based on colored Petri nets ⋮ Security types preserving compilation ⋮ Unnamed Item ⋮ Attacker Control and Impact for Confidentiality and Integrity ⋮ Program synthesis for interactive-security systems ⋮ Formal verification of side-channel countermeasures using self-composition ⋮ Rewriting-Based Runtime Verification for Alternation-Free HyperLTL ⋮ Specification and static enforcement of scheduler-independent noninterference in a middleweight Java ⋮ Arrows for secure information flow ⋮ Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis ⋮ Information Flow Analysis for Valued-Indexed Data Security Compartments ⋮ \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results ⋮ Access Control in a Core Calculus of Dependency ⋮ Secured Information Flow for Asynchronous Sequential Processes ⋮ Noninterference for concurrent programs and thread systems ⋮ SIFT: Low-Complexity Energy-Efficient Information Flow Tracking on SMT Processors
This page was built for software: JFlow
