The following pages link to JFlow (Q32413):
Displaying 23 items.
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results (Q784106) (← links)
- Security types preserving compilation (Q865705) (← links)
- Arrows for secure information flow (Q964489) (← links)
- Noninterference for concurrent programs and thread systems (Q1603688) (← links)
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java (Q1749145) (← links)
- Secure information flow connections (Q2141283) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- Information Flow Analysis for Valued-Indexed Data Security Compartments (Q2830034) (← links)
- Access control in a core calculus of dependency (Q2864145) (← links)
- Secured information flow for asynchronous sequential processes (Q2864389) (← links)
- Securing the Future — An Information Flow Analysis of a Distributed OO Language (Q2891392) (← links)
- Attacker Control and Impact for Confidentiality and Integrity (Q3224683) (← links)
- Rewriting-Based Runtime Verification for Alternation-Free HyperLTL (Q3303921) (← links)
- Information Flow in Object-Oriented Software (Q3453646) (← links)
- (Q4420573) (← links)
- SIFT: Low-Complexity Energy-Efficient Information Flow Tracking on SMT Processors (Q5268340) (← links)
- Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis (Q5743593) (← links)
- (Q5856419) (← links)
- Publication:2864145 (← links)
