On the public citation graph
A type-based approach to program security
0 signed · 211 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-58618-0_56openalex-snapshot
Compile-time detection of information flow in sequential programs
inferredcites →https://doi.org/10.1007/bf03180570openalex-snapshot
A security flow control algorithm and its denotational semantics correctness proof
inferredcites →https://doi.org/10.1007/bfb0014571openalex-snapshot
Secrecy by typing in security protocols
inferredcites →https://doi.org/10.1016/0167-6423(94)00020-4openalex-snapshot
Principal type schemes for functional programs with overloading and subtyping
inferredcites →https://doi.org/10.1016/0890-5401(90)90018-dopenalex-snapshot
Type inference for polymorphic references
inferredcites →https://doi.org/10.1109/sp.1982.10014openalex-snapshot
Security Policies and Security Models
inferredcites →https://doi.org/10.1145/229542.229544openalex-snapshot
Polymorphic typing of variables and references
inferredcites →https://doi.org/10.1145/357084.357088openalex-snapshot
An Axiomatic Approach to Information Flow in Programs
inferredcites →https://doi.org/10.1145/359636.359712openalex-snapshot
Certification of programs for secure information flow
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.1145/99370.99394openalex-snapshot
On the complexity of type inference with coercion
inferredcites →https://doi.org/10.1184/r1/6608582openalex-snapshot
Preliminary design of the programming language Forsythe
inferredcites →https://doi.org/10.3233/jcs-1996-42-304openalex-snapshot
A sound type system for secure flow analysis
inferredcites →https://doi.org/10.7146/brics.v2i31.19934openalex-snapshot
Trust in the lambda-calculus
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/ecjc.20099openalex-snapshot
An information flow analysis of recursive programs based on a lattice model of security classes
inferred← citeshttps://doi.org/10.1007/11417170_30openalex-snapshot
Higher-Order Abstract Non-interference
inferred← citeshttps://doi.org/10.1007/11506676_6openalex-snapshot
Unwinding Conditions for Security in Imperative Languages
inferred← citeshttps://doi.org/10.1007/11531142_21openalex-snapshot
A Type System for Reachability and Acyclicity
inferred← citeshttps://doi.org/10.1007/11541868_14openalex-snapshot
Verifying a Secure Information Flow Analyzer
inferred← citeshttps://doi.org/10.1007/11547662_24openalex-snapshot
Secure Information Flow as a Safety Problem
inferred← citeshttps://doi.org/10.1007/11560586_29openalex-snapshot
A Typed Assembly Language for Non-interference
inferred← citeshttps://doi.org/10.1007/11679219_15openalex-snapshot
Type-Based Distributed Access Control vs. Untyped Attackers
inferred← citeshttps://doi.org/10.1007/11679219_5openalex-snapshot
Eliminating Implicit Information Leaks by Transformational Typing and Unification
inferred← citeshttps://doi.org/10.1007/11693024_12openalex-snapshot
A Typed Assembly Language for Confidentiality
inferred← citeshttps://doi.org/10.1007/11734666_15openalex-snapshot
Information Flow Control to Secure Dynamic Web Service Composition
inferred← citeshttps://doi.org/10.1007/11741060_3openalex-snapshot
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
inferred← citeshttps://doi.org/10.1007/11863908_17openalex-snapshot
HBAC: A Model for History-Based Access Control and Its Model Checking
inferred← citeshttps://doi.org/10.1007/11863908_18openalex-snapshot
From Coupling Relations to Mated Invariants for Checking Information Flow
inferred← citeshttps://doi.org/10.1007/3-540-36575-3_1openalex-snapshot
Computer Security from a Programming Language and Static Analysis Perspective
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_26openalex-snapshot
Java Bytecode Verification: An Overview
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_5openalex-snapshot
Programming Access Control: The Klaim Experience
inferred← citeshttps://doi.org/10.1007/3-540-44978-7_4openalex-snapshot
Boolean Constraints for Binding-Time Analysis
inferred← citeshttps://doi.org/10.1007/3-540-45600-7_33openalex-snapshot
An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes
inferred← citeshttps://doi.org/10.1007/3-540-45927-8_17openalex-snapshot
A Prototype Dependency Calculus
inferred← citeshttps://doi.org/10.1007/3-540-48224-5_32openalex-snapshot
Noninterference for Concurrent Programs
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_6openalex-snapshot
Types as Specifications of Access Policies
inferred← citeshttps://doi.org/10.1007/3-540-48749-2_7openalex-snapshot
Security Properties of Typed Applets
inferred← citeshttps://doi.org/10.1007/3-540-62852-5_14openalex-snapshot
Security and communication in mobile object systems
inferred← citeshttps://doi.org/10.1007/3-540-63383-9_83openalex-snapshot
Coordinating mobile agents via blackboards and access rights
inferred← citeshttps://doi.org/10.1007/3-540-68671-1_3openalex-snapshot
Language Issues in Mobile Program Security
inferred← citeshttps://doi.org/10.1007/978-0-387-44599-1_13openalex-snapshot
Principles of Secure Information Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-1-4615-1007-9openalex-snapshot
Mobile Computation with Functions
inferred← citeshttps://doi.org/10.1007/978-1-4615-1007-9_4openalex-snapshot
Confined Mobile Functions
inferred← citeshttps://doi.org/10.1007/978-3-030-29962-0_2openalex-snapshot
Uncovering Information Flow Policy Violations in C Programs (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-031-49342-3_2openalex-snapshot
A Haskell-Embedded DSL for Secure Information-Flow
inferred← citeshttps://doi.org/10.1007/978-3-031-87054-5_9openalex-snapshot
On Time-Sensitive Control Closure for Secure Information Flow
inferred← citeshttps://doi.org/10.1007/978-3-319-05119-2_5openalex-snapshot
Security Correctness for Secure Nested Transactions
inferred← citeshttps://doi.org/10.1007/978-3-319-26961-0_24openalex-snapshot
An Automatic Inference of Minimal Security Types
inferred← citeshttps://doi.org/10.1007/978-3-319-30806-7_3openalex-snapshot
Sound and Precise Cross-Layer Data Flow Tracking
inferred← citeshttps://doi.org/10.1007/978-3-319-73721-8_20openalex-snapshot
A Logical System for Modular Information Flow Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-24622-0_2openalex-snapshot
Security Types Preserving Compilation
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_18openalex-snapshot
Guaranteed Optimization for Domain-Specific Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-27864-1_10openalex-snapshot
Information Flow Analysis in Logical Form
inferred← citeshttps://doi.org/10.1007/978-3-540-27864-1_9openalex-snapshot
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
inferred← citeshttps://doi.org/10.1007/978-3-540-31987-0_20openalex-snapshot
A Design for a Security-Typed Language with Certificate-Based Declassification
inferred← citeshttps://doi.org/10.1007/978-3-540-40965-6_4openalex-snapshot
Information Flow Security for XML Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-71316-6_10openalex-snapshot
A Certified Lightweight Non-interference Java Bytecode Verifier
inferred← citeshttps://doi.org/10.1007/978-3-540-76637-7_7openalex-snapshot
More Typed Assembly Languages for Confidentiality
inferred← citeshttps://doi.org/10.1007/978-3-642-03459-6_12openalex-snapshot
Towards a Type System for Security APIs
inferred← citeshttps://doi.org/10.1007/978-3-642-03718-4_74openalex-snapshot
A Method of Secure Information Flow Based on Data Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-11957-6_4openalex-snapshot
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays
inferred← citeshttps://doi.org/10.1007/978-3-642-12032-9_20openalex-snapshot
The Complexity of Synchronous Notions of Information Flow Security
inferred← citeshttps://doi.org/10.1007/978-3-642-15643-4_20openalex-snapshot
Automatic Generation of History-Based Access Control from Information Flow Specification
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_16openalex-snapshot
From Exponential to Polynomial-Time Security Typing via Principal Types
inferred← citeshttps://doi.org/10.1007/978-3-642-28641-4_20openalex-snapshot
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow
inferred← citeshttps://doi.org/10.1007/978-3-642-30793-5_10openalex-snapshot
Noninterference via Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-642-31500-8_63openalex-snapshot
Lightweight Information Flow Control for Web Services
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_27openalex-snapshot
Dynamic Information-Flow Analysis for Multi-threaded Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-38197-3_8openalex-snapshot
Types vs. PDGs in Information Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-38957-3_5openalex-snapshot
Dependability Infrastructure for SOA Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-54792-8_10openalex-snapshot
A Separation Logic for Enforcing Declarative Information Flow Control Policies
inferred← citeshttps://doi.org/10.1007/bfb0054294openalex-snapshot
A semantic approach to secure information flow
inferred← citeshttps://doi.org/10.1007/s10207-009-0086-1openalex-snapshot
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs
inferred← citeshttps://doi.org/10.1007/s10723-017-9403-5openalex-snapshot
Predictive Mitigation of Timing Channels - Threat Defense for Machine Codes
inferred← citeshttps://doi.org/10.1007/s11277-021-08200-0openalex-snapshot
On Threats to the 5G Service Based Architecture
inferred← citeshttps://doi.org/10.1007/s11277-021-09055-1openalex-snapshot
Zero-Trust Principles for Legacy Components
inferred← citeshttps://doi.org/10.1007/s11334-010-0127-yopenalex-snapshot
Deductive verification of cryptographic software
inferred← citeshttps://doi.org/10.1007/s13173-013-0119-5openalex-snapshot
Mechanized metatheory for a $$\lambda $$-calculus with trust types
inferred← citeshttps://doi.org/10.1016/j.cl.2005.05.002openalex-snapshot
Security types preserving compilation
inferred← citeshttps://doi.org/10.1016/j.engappai.2018.01.002openalex-snapshot
Secure information sharing in social agent interactions using information flow analysis
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.03.010openalex-snapshot
An End-To-End Approach to Distributed Policy Language Implementation
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.03.021openalex-snapshot
Strategies for Solving Constraints in Type and Effect Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2017.04.002openalex-snapshot
Controlling File Access with Types
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.08.005openalex-snapshot
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types
inferred← citeshttps://doi.org/10.1016/j.scico.2006.03.002openalex-snapshot
A logic for information flow analysis with an application to forward slicing of simple imperative programs
inferred← citeshttps://doi.org/10.1016/j.scico.2011.10.008openalex-snapshot
Formal verification of side-channel countermeasures using self-composition
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103351openalex-snapshot
A Haskell-embedded DSL for secure information-flow
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.01.024openalex-snapshot
Access control in mobile ambient calculi: A comparative view
inferred← citeshttps://doi.org/10.1016/j.tcs.2016.03.011openalex-snapshot
The complexity of synchronous notions of information flow security
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00024-6openalex-snapshot
A semantic approach to secure information flow
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00010-5openalex-snapshot
Noninterference for concurrent programs and thread systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80417-1openalex-snapshot
Information Flow Security for Boxed Ambients
inferred← citeshttps://doi.org/10.1017/s0956796804005453openalex-snapshot
Stack-based access control and secure information flow
inferred← citeshttps://doi.org/10.1017/s0960129512000850openalex-snapshot
A certified lightweight non-interference Java bytecode verifier
inferred← citeshttps://doi.org/10.1023/a:1025055424017openalex-snapshot
Java Bytecode Verification: Algorithms and Formalizations
inferred← citeshttps://doi.org/10.1093/logcom/exi009openalex-snapshot
Quantitative Information Flow, Relations and Polymorphic Types
inferred← citeshttps://doi.org/10.1109/32.685256openalex-snapshot
KLAIM: a kernel language for agents interaction and mobility
inferred← citeshttps://doi.org/10.1109/ase.2015.69openalex-snapshot
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T)
inferred← citeshttps://doi.org/10.1109/cloud.2016.0050openalex-snapshot
Coarse-Grained Information Flow Control on Hybrid Clouds
inferred← citeshttps://doi.org/10.1109/csf.2008.11openalex-snapshot
Tractable Enforcement of Declassification Policies
inferred← citeshttps://doi.org/10.1109/csf.2019.00031openalex-snapshot
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement
inferred← citeshttps://doi.org/10.1109/csf49147.2020.00021openalex-snapshot
Abstracting Faceted Execution
inferred← citeshttps://doi.org/10.1109/csf49147.2020.00022openalex-snapshot
Nontransitive Security Types for Coarse-grained Information Flow Control
inferred← citeshttps://doi.org/10.1109/csfw.2001.930141openalex-snapshot
A new type system for secure information flow
inferred← citeshttps://doi.org/10.1109/csfw.2002.1021818openalex-snapshot
Fine-grained information flow analysis for a ~ -calculus with sum types
inferred← citeshttps://doi.org/10.1109/csfw.2002.1021820openalex-snapshot
Secure information flow and pointer con .nement in a java-like language
inferred← citeshttps://doi.org/10.1109/csfw.2003.1212711openalex-snapshot
Using access control for secure information flow in a Java-like language
inferred← citeshttps://doi.org/10.1109/csfw.2003.1212712openalex-snapshot
Type-based distributed access control
inferred← citeshttps://doi.org/10.1109/csfw.2004.17openalex-snapshot
Secure information flow by self-composition
inferred← citeshttps://doi.org/10.1109/csfw.2005.19openalex-snapshot
Language-Based Information Erasure
inferred← citeshttps://doi.org/10.1109/csfw.2005.27openalex-snapshot
Type Annotations to Improve Stack-Based Access Control
inferred← citeshttps://doi.org/10.1109/csmr.2010.26openalex-snapshot
Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows
inferred← citeshttps://doi.org/10.1109/dsn.2006.66openalex-snapshot
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
inferred← citeshttps://doi.org/10.1109/fmcad.2008.ecp.33openalex-snapshot
Mechanized Information Flow Analysis through Inductive Assertions
inferred← citeshttps://doi.org/10.1109/iccl.1998.674158openalex-snapshot
Distributed computations driven by resource consumption
inferred← citeshttps://doi.org/10.1109/icsa.2019.00028openalex-snapshot
Flaws in Flows: Unveiling Design Flaws via Information Flow Analysis
inferred← citeshttps://doi.org/10.1109/icst.2011.36openalex-snapshot
Security Model Evolution of PHP Web Applications
inferred← citeshttps://doi.org/10.1109/icws.2016.21openalex-snapshot
Multi-tenant Access and Information Flow Control for SaaS
inferred← citeshttps://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferred← citeshttps://doi.org/10.1109/scam.2005.24openalex-snapshot
Static Analysis for Computing Escapability and Mutability for Java Components
inferred← citeshttps://doi.org/10.1109/secpri.1999.766902openalex-snapshot
Verification of control flow based security properties
inferred← citeshttps://doi.org/10.1109/secpri.2001.924288openalex-snapshot
On confidentiality and algorithms: programming under the constraints of noninterference
inferred← citeshttps://doi.org/10.1109/smcsia.2003.1232415openalex-snapshot
Insecure programming: how culpable is a language's syntax?
inferred← citeshttps://doi.org/10.1109/sp.2008.32openalex-snapshot
Civitas: Toward a Secure Voting System
inferred← citeshttps://doi.org/10.1109/tase49443.2020.00033openalex-snapshot
A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems
inferred← citeshttps://doi.org/10.1109/tnsm.2013.122313.130423openalex-snapshot
Information Flow Control for Secure Cloud Computing
inferred← citeshttps://doi.org/10.1109/tnsm.2020.3045998openalex-snapshot
MLSNet: A Policy Complying Multilevel Security Framework for Software Defined Networking
inferred← citeshttps://doi.org/10.1109/uic-atc.2009.44openalex-snapshot
Secure Information Flow by Model Checking Pushdown System
inferred← citeshttps://doi.org/10.1109/wcre.2009.32openalex-snapshot
Extraction of Inter-procedural Simple Role Privilege Models from PHP Code
inferred← citeshttps://doi.org/10.1145/1029133.1029136openalex-snapshot
Formally verifying information flow type systems for concurrent and thread systems
inferred← citeshttps://doi.org/10.1145/1030083.1030110openalex-snapshot
Security policies for downgrading
inferred← citeshttps://doi.org/10.1145/1134744.1134750openalex-snapshot
Combining type-based analysis and model checking for finding counterexamples against non-interference
inferred← citeshttps://doi.org/10.1145/1134744.1134758openalex-snapshot
Refactoring programs to secure information flows
inferred← citeshttps://doi.org/10.1145/1134744.1134759openalex-snapshot
Efficient type inference for secure information flow
inferred← citeshttps://doi.org/10.1145/1141277.1141706openalex-snapshot
Abstract non-interference in a fragment of Java bytecode
inferred← citeshttps://doi.org/10.1145/1185448.1185567openalex-snapshot
Type inference and informative error reporting for secure information flow
inferred← citeshttps://doi.org/10.1145/1186632.1186635openalex-snapshot
Flow-insensitive type qualifiers
inferred← citeshttps://doi.org/10.1145/1190215.1190251openalex-snapshot
Assessing security threats of looping constructs
inferred← citeshttps://doi.org/10.1145/1255329.1255332openalex-snapshot
Improving usability of information flow security in java
inferred← citeshttps://doi.org/10.1145/1255329.1255333openalex-snapshot
A domain-specific programming language for secure multiparty computation
inferred← citeshttps://doi.org/10.1145/1294261.1294265openalex-snapshot
Secure web applications via automatic partitioning
inferred← citeshttps://doi.org/10.1145/1363686.1363776openalex-snapshot
Type-based information flow analysis for bytecode languages with variable object field policies
inferred← citeshttps://doi.org/10.1145/1368310.1368329openalex-snapshot
Secure slices of insecure programs
inferred← citeshttps://doi.org/10.1145/1390630.1390656openalex-snapshot
Practical pluggable types for java
inferred← citeshttps://doi.org/10.1145/1411286.1411289openalex-snapshot
A library for light-weight information-flow security in haskell
inferred← citeshttps://doi.org/10.1145/1512475.1512486openalex-snapshot
Static analysis for inference of explicit information flow
inferred← citeshttps://doi.org/10.1145/1543134.1411289openalex-snapshot
A library for light-weight information-flow security in haskell
inferred← citeshttps://doi.org/10.1145/1814217.1814225openalex-snapshot
Secure information flow analysis for hardware design
inferred← citeshttps://doi.org/10.1145/268946.268975openalex-snapshot
Secure information flow in a multi-threaded imperative language
inferred← citeshttps://doi.org/10.1145/268946.268979openalex-snapshot
Security properties of typed applets
inferred← citeshttps://doi.org/10.1145/288090.288104openalex-snapshot
A specification of Java loading and bytecode verification
inferred← citeshttps://doi.org/10.1145/300307.300311openalex-snapshot
Confinement properties for programming languages
inferred← citeshttps://doi.org/10.1145/317636.317799openalex-snapshot
Principals in programming languages
inferred← citeshttps://doi.org/10.1145/317765.317799openalex-snapshot
Principals in programming languages
inferred← citeshttps://doi.org/10.1145/325694.325703openalex-snapshot
Enforcing trace properties by program transformation
inferred← citeshttps://doi.org/10.1145/351240.351245openalex-snapshot
Information flow inference for free
inferred← citeshttps://doi.org/10.1145/3571221openalex-snapshot
A General Noninterference Policy for Polynomial Time
inferred← citeshttps://doi.org/10.1145/373256.373260openalex-snapshot
Security verification of programs with stack inspection
inferred← citeshttps://doi.org/10.1145/3786766openalex-snapshot
A Sound Type System for Secure Currency Flow
inferred← citeshttps://doi.org/10.1145/501983.501994openalex-snapshot
An efficient security verification method for programs with stack inspection
inferred← citeshttps://doi.org/10.1145/503272.503302openalex-snapshot
Information flow inference for ML
inferred← citeshttps://doi.org/10.1145/566171.566178openalex-snapshot
A conservative algorithm for computing the flow of permissions in Java programs
inferred← citeshttps://doi.org/10.1145/566172.566178openalex-snapshot
A conservative algorithm for computing the flow of permissions in Java programs
inferred← citeshttps://doi.org/10.1145/596980.596983openalex-snapshot
Information flow inference for ML
inferred← citeshttps://doi.org/10.1145/596992.597005openalex-snapshot
Detection of information leak by data flow analysis
inferred← citeshttps://doi.org/10.1145/780822.781148openalex-snapshot
Bug isolation via remote program sampling
inferred← citeshttps://doi.org/10.14569/ijacsa.2015.060236openalex-snapshot
Confinement for Active Objects
inferred← citeshttps://doi.org/10.1515/itit-2014-1060openalex-snapshot
Making security type systems less ad hoc
inferred← citeshttps://doi.org/10.18130/v3rv3wopenalex-snapshot
Practical Secure Two-Party Computation
inferred← citeshttps://doi.org/10.21236/ada407881openalex-snapshot
Building a Dynamic Interoperable Security Architecture for Active Networks
inferred← citeshttps://doi.org/10.3233/fi-2015-1178openalex-snapshot
Privacy Issues in SOAP Message Exchange Pattern for Social Services
inferred← citeshttps://doi.org/10.3233/jcs-2001-9303openalex-snapshot
Model checking security properties of control flow graphs
inferred← citeshttps://doi.org/10.3233/jcs-2004-123-407openalex-snapshot
Type-based cryptographic operations*
inferred← citeshttps://doi.org/10.3233/jcs-2007-15303openalex-snapshot
Compositional information flow security for concurrent programs
inferred← citeshttps://doi.org/10.3233/jcs-2007-15604openalex-snapshot
Secure information flow for a concurrent language with scheduling
inferred← citeshttps://doi.org/10.3233/jcs-2010-0360openalex-snapshot
Risk assessment of security threats for looping constructs*
inferred← citeshttps://doi.org/10.4204/eptcs.410.8openalex-snapshot
A Type System for Data Flow and Alias Analysis in ReScript
inferred← citeshttps://doi.org/10.4208/jics.v1.n2.p67openalex-snapshot
Discretional Array Operations for Secure Information Flow
inferred← citeshttps://doi.org/10.4208/jics.v2.n4.p252openalex-snapshot
Secure Information Flow Based on Data Flow Analysis
inferred← citeshttps://doi.org/10.4230/dagsemproc.07311.5openalex-snapshot
Civitas: A Secure Remote Voting System
inferred← citeshttps://doi.org/10.48456/tr-893openalex-snapshot
Towards practical information flow control and audit
inferred← citeshttps://doi.org/10.48550/arxiv.1402.0601openalex-snapshot
The Complexity of Synchronous Notions of Information Flow Security
inferred← citeshttps://doi.org/10.48550/arxiv.1605.01092openalex-snapshot
Information Flows in Encrypted Databases
inferred← citeshttps://doi.org/10.48550/arxiv.1807.09377openalex-snapshot
Racets: Faceted Execution in Racket
inferred← citeshttps://doi.org/10.48550/arxiv.1907.01727openalex-snapshot
Uncovering Information Flow Policy Violations in C Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2004.05500openalex-snapshot
Analysing Flow Security Properties in Virtualised Computing Systems
inferred← citeshttps://doi.org/10.48550/arxiv.2009.10021openalex-snapshot
MLSNet: A Policy Complying Multilevel Security Framework for Software Defined Networking
inferred← citeshttps://doi.org/10.5204/thesis.eprints.226908openalex-snapshot
Static analysis of software components for information flow security
inferred← citeshttps://doi.org/10.5445/ir/1000081838openalex-snapshot
Information Flow Analysis Based Security Checking of Health Service Composition Plans
inferred← citeshttps://doi.org/10.5555/1924943.1924951openalex-snapshot
Static checking of dynamically-varying security policies in database-backed applications
inferred← citeshttps://doi.org/10.70675/5a6a11d4zcb0bz439dza0b2z4a68e0d359e7openalex-snapshot
Contrôle de flux d'information par utilisation conjointe d'analyse statique et dynamique accélérée matériellement
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.