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