On the public citation graph
Secure Information Flow for Concurrent Programs under Total Store Order
0 signed · 40 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-45575-2_22openalex-snapshot
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs
inferredcites →https://doi.org/10.1007/978-3-540-70545-1_12openalex-snapshot
Effective Program Verification for Relaxed Memory Models
inferredcites →https://doi.org/10.1007/978-3-642-03359-9_27openalex-snapshot
A Better x86 Memory Model: x86-TSO
inferredcites →https://doi.org/10.1007/978-3-642-14107-2_23openalex-snapshot
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
inferredcites →https://doi.org/10.1109/2.546611openalex-snapshot
Shared memory consistency models: a tutorial
inferredcites →https://doi.org/10.1109/csf.2008.9openalex-snapshot
A Type System for Observational Determinism
inferredcites →https://doi.org/10.1109/csfw.1998.683153openalex-snapshot
Probabilistic noninterference in a concurrent language
inferredcites →https://doi.org/10.1109/csfw.2000.856937openalex-snapshot
Probabilistic noninterference for multi-threaded programs
inferredcites →https://doi.org/10.1109/csfw.2001.930141openalex-snapshot
A new type system for secure information flow
inferredcites →https://doi.org/10.1109/csfw.2003.1212703openalex-snapshot
Observational determinism for concurrent program security
inferredcites →https://doi.org/10.1109/secpri.1995.398927openalex-snapshot
CSP and determinism in security modelling
inferredcites →https://doi.org/10.1109/sp.2011.19openalex-snapshot
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach
inferredcites →https://doi.org/10.1109/tc.1979.1675439openalex-snapshot
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
inferredcites →https://doi.org/10.1145/1375581.1375591openalex-snapshot
Foundations of the C++ concurrency memory model
inferredcites →https://doi.org/10.1145/1925844.1926393openalex-snapshot
Relaxed-memory concurrency and verified compilation
inferredcites →https://doi.org/10.1145/1926385.1926393openalex-snapshot
Relaxed-memory concurrency and verified compilation
inferredcites →https://doi.org/10.1145/1993316.1993520openalex-snapshot
Understanding POWER multiprocessors
inferredcites →https://doi.org/10.1145/1993316.1993522openalex-snapshot
A case for an SC-preserving compiler
inferredcites →https://doi.org/10.1145/1993498.1993520openalex-snapshot
Understanding POWER multiprocessors
inferredcites →https://doi.org/10.1145/1993498.1993522openalex-snapshot
A case for an SC-preserving compiler
inferredcites →https://doi.org/10.1145/268946.268975openalex-snapshot
Secure information flow in a multi-threaded imperative language
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.11575/prism/30823openalex-snapshot
DEFINING AND COMPARING MEMORY CONSISTENCY MODELS
inferredcites →https://doi.org/10.3233/jcs-1999-72-305openalex-snapshot
Probabilistic noninterference in a concurrent language1
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_32openalex-snapshot
Value-Dependent Information-Flow Security on Weak Memory Models
inferred← citeshttps://doi.org/10.1007/978-3-030-72789-5_4openalex-snapshot
Foundations of Consistency Types for a Higher-Order Distributed Language
inferred← citeshttps://doi.org/10.1007/978-3-031-71162-6_25openalex-snapshot
Detecting Speculative Execution Vulnerabilities on Weak Memory Models
inferred← citeshttps://doi.org/10.1007/978-3-319-27436-2_12openalex-snapshot
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-981-13-3765-9_32openalex-snapshot
Mesochronous Operation Interface to Multicore Processor
inferred← citeshttps://doi.org/10.1007/s10703-021-00376-2openalex-snapshot
Information-flow control on ARM and POWER multicore processors
inferred← citeshttps://doi.org/10.1016/j.cola.2026.101394openalex-snapshot
A type system for enforcing serializability of distributed transactions with mixed consistency
inferred← citeshttps://doi.org/10.1109/csf.2014.14openalex-snapshot
Noninterference under Weak Memory Models
inferred← citeshttps://doi.org/10.1109/csf49147.2020.00034openalex-snapshot
Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms
inferred← citeshttps://doi.org/10.1109/sp.2019.00047openalex-snapshot
The Code That Never Ran: Modeling Attacks on Speculative Evaluation
inferred← citeshttps://doi.org/10.1145/3485476openalex-snapshot
SecRSL: security separation logic for C11 release-acquire concurrency
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2021/5/6openalex-snapshot
Consistency types for replicated data in a higher-order distributed programming language
inferred← citeshttps://doi.org/10.48550/arxiv.2109.03602openalex-snapshot
SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices)
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.