JFlow
From MaRDI portal
Cited in
(61)- ComplexityParser
- BeepBeep
- Noninterference for concurrent programs and thread systems
- A secrecy-preserving language for distributed and object-oriented systems
- Program synthesis for interactive-security systems
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- AnZenMail
- Flow Caml
- Creol
- Secure information flow connections
- NaCl
- Instruction-level security analysis for information flow in stack-based assembly languages
- Formal verification of side-channel countermeasures using self-composition
- Paragon
- Information flow analysis for valued-indexed data security compartments
- Jif
- Access control in a core calculus of dependency
- Secured information flow for asynchronous sequential processes
- Securing the future -- an information flow analysis of a distributed OO language
- Attacker control and impact for confidentiality and integrity
- SAFKASI
- SIFT
- M-Sim
- LIFT
- Rewriting-based runtime verification for alternation-free HyperLTL
- ConCert
- Information flow in object-oriented software
- Privtrans
- Merlin
- Laminar
- VC3
- EROS
- Moat
- Fable
- A verifiable low-level concurrent programming model based on colored Petri nets
- Panorama
- MJ
- Welterweight Java
- Pixy
- TaintDroid
- Binder
- Altair
- F*
- Julia Static Analyzer
- F4F
- Dytan
- CacheAudit
- Flex
- scientific article; zbMATH DE number 1966243 (Why is no real title available?)
- TAJ
- BackFlow
- MorphDroid
- Aletheia
- Sails
- TALx86
- SIFT: Low-Complexity Energy-Efficient Information Flow Tracking on SMT Processors
- Using dynamic pushdown networks to automate a modular information-flow analysis
- Output-sensitive information flow analysis
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
- Security types preserving compilation
- Arrows for secure information flow
This page was built for software: JFlow
