JFlow

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