On the public citation graph
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach
0 signed · 117 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/10721064_15openalex-snapshot
A Practical Implementation of the Timing Attack
inferredcites →https://doi.org/10.1007/3-540-48224-5_32openalex-snapshot
Noninterference for Concurrent Programs
inferredcites →https://doi.org/10.1007/3-540-68697-5_9openalex-snapshot
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
inferredcites →https://doi.org/10.1007/978-1-4757-3023-4_1openalex-snapshot
The Maximum Clique Problem
inferredcites →https://doi.org/10.1007/978-3-540-70881-0_43openalex-snapshot
Security for Multithreaded Programs Under Cooperative Scheduling
inferredcites →https://doi.org/10.1007/978-3-540-77505-8_10openalex-snapshot
Closing Internal Timing Channels by Transformation
inferredcites →https://doi.org/10.1007/978-3-540-88313-5_22openalex-snapshot
Termination-Insensitive Noninterference Leaks More Than Just a Bit
inferredcites →https://doi.org/10.1016/0166-218x(94)90171-6openalex-snapshot
Network flows: Theory, algorithms and applications
inferredcites →https://doi.org/10.1016/j.comnet.2005.01.010openalex-snapshot
Remote timing attacks are practical
inferredcites →https://doi.org/10.1016/j.entcs.2005.02.031openalex-snapshot
Timing Aware Information Flow Security for a JavaCard-like Bytecode
inferredcites →https://doi.org/10.1016/j.entcs.2005.10.031openalex-snapshot
Preventing Timing Leaks Through Transactional Branching Instructions
inferredcites →https://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
inferredcites →https://doi.org/10.1016/s0166-218x(01)00290-6openalex-snapshot
A fast algorithm for the maximum clique problem
inferredcites →https://doi.org/10.1109/acsac.2006.22openalex-snapshot
Data Sandboxing: A Technique for Enforcing Confidentiality Policies
inferredcites →https://doi.org/10.1109/csfw.1997.596807openalex-snapshot
Eliminating covert flows with minimum typings
inferredcites →https://doi.org/10.1109/csfw.2003.1212703openalex-snapshot
Observational determinism for concurrent program security
inferredcites →https://doi.org/10.1109/csfw.2006.29openalex-snapshot
Securing Interaction between Threads and the Scheduler
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/micro.2004.31openalex-snapshot
RIFLE: An Architectural Framework for User-Centric Information-Flow Security
inferredcites →https://doi.org/10.1109/risp.1991.130768openalex-snapshot
Reducing timing channels with fuzzy time
inferredcites →https://doi.org/10.1109/risp.1992.213271openalex-snapshot
Lattice scheduling and covert channels
inferredcites →https://doi.org/10.1109/sp.1982.10014openalex-snapshot
Security Policies and Security Models
inferredcites →https://doi.org/10.1109/sp.2010.15openalex-snapshot
Noninterference through Secure Multi-execution
inferredcites →https://doi.org/10.1145/1134744.1134758openalex-snapshot
Refactoring programs to secure information flows
inferredcites →https://doi.org/10.1145/1242572.1242656openalex-snapshot
Exposing private information by timing web applications
inferredcites →https://doi.org/10.1145/1866307.1866341openalex-snapshot
Predictive black-box mitigation of timing channels
inferredcites →https://doi.org/10.1145/268946.268975openalex-snapshot
Secure information flow in a multi-threaded imperative language
inferredcites →https://doi.org/10.1145/268998.266669openalex-snapshot
A decentralized model for information flow control
inferredcites →https://doi.org/10.1145/269005.266669openalex-snapshot
A decentralized model for information flow control
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.2307/2583863openalex-snapshot
Network Flows: Theory, Algorithms, and Applications.
inferredcites →https://doi.org/10.3233/jcs-1996-42-304openalex-snapshot
A sound type system for secure flow analysis
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-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_12openalex-snapshot
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10082-1_5openalex-snapshot
Information Flow Control for Web Scripts
inferred← citeshttps://doi.org/10.1007/978-3-319-45744-4_25openalex-snapshot
Spot the Difference: Secure Multi-execution and Multiple Facets
inferred← citeshttps://doi.org/10.1007/978-3-319-45744-4_28openalex-snapshot
Let’s Face It: Faceted Values for Taint Tracking
inferred← citeshttps://doi.org/10.1007/978-3-319-51966-1_19openalex-snapshot
A Self-correcting Information Flow Control Model for the Web-Browser
inferred← citeshttps://doi.org/10.1007/978-3-319-89722-6openalex-snapshot
Principles of Security and Trust
inferred← citeshttps://doi.org/10.1007/978-3-319-89722-6_2openalex-snapshot
Secure Information Release in Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-92612-4_8openalex-snapshot
Information Flow Tracking for Side-Effectful Libraries
inferred← citeshttps://doi.org/10.1007/978-3-319-94496-8_3openalex-snapshot
Model Checking the Information Flow Security of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-29420-4_2openalex-snapshot
Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation
inferred← citeshttps://doi.org/10.1007/978-3-642-29615-4_16openalex-snapshot
Disjunction Category Labels
inferred← citeshttps://doi.org/10.1007/978-3-642-30793-5_12openalex-snapshot
Secure Multi-Execution through Static Program Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-40203-6_40openalex-snapshot
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-662-49635-0_2openalex-snapshot
Asymmetric Secure Multi-execution with Declassification
inferred← citeshttps://doi.org/10.1007/978-3-662-54455-6_1openalex-snapshot
Timing-Sensitive Noninterference through Composition
inferred← citeshttps://doi.org/10.1007/978-3-662-54455-6_3openalex-snapshot
A Principled Approach to Tracking Information Flow in the Presence of Libraries
inferred← citeshttps://doi.org/10.1007/s11227-015-1616-4openalex-snapshot
An approach to error correction in program code using dynamic optimization in a virtual execution environment
inferred← citeshttps://doi.org/10.1016/j.cl.2016.05.003openalex-snapshot
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
inferred← citeshttps://doi.org/10.1016/j.tcs.2020.09.039openalex-snapshot
Safe functional systems through integrity types and verified assembly
inferred← citeshttps://doi.org/10.1109/csf.2012.20openalex-snapshot
Secure Information Flow for Concurrent Programs under Total Store Order
inferred← citeshttps://doi.org/10.1109/csf.2013.10openalex-snapshot
Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent
inferred← citeshttps://doi.org/10.1109/csf.2013.11openalex-snapshot
Memory Trace Oblivious Program Execution
inferred← citeshttps://doi.org/10.1109/csf.2013.22openalex-snapshot
Gradual Security Typing with References
inferred← citeshttps://doi.org/10.1109/csf.2013.9openalex-snapshot
Precise Enforcement of Confidentiality for Reactive Systems
inferred← citeshttps://doi.org/10.1109/csf.2014.28openalex-snapshot
Stateful Declassification Policies for Event-Driven Programs
inferred← citeshttps://doi.org/10.1109/csf.2019.00008openalex-snapshot
Optimising Faceted Secure Multi-Execution
inferred← citeshttps://doi.org/10.1109/csf.2019.00026openalex-snapshot
Using Information Flow to Design an ISA that Controls Timing Channels
inferred← citeshttps://doi.org/10.1109/csf49147.2020.00021openalex-snapshot
Abstracting Faceted Execution
inferred← citeshttps://doi.org/10.1109/hpcsim.2015.7237042openalex-snapshot
A survey on Information Flow Control mechanisms in web applications
inferred← citeshttps://doi.org/10.1109/icnss.2011.6059965openalex-snapshot
Reactive non-interference for a browser model
inferred← citeshttps://doi.org/10.1109/qrs.2019.00048openalex-snapshot
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution
inferred← citeshttps://doi.org/10.1109/sp.2015.44openalex-snapshot
On Subnormal Floating Point and Abnormal Timing
inferred← citeshttps://doi.org/10.1109/sp.2018.00048openalex-snapshot
Impossibility of Precise and Sound Termination-Sensitive Security Enforcements
inferred← citeshttps://doi.org/10.1109/tnsm.2013.122313.130423openalex-snapshot
Information Flow Control for Secure Cloud Computing
inferred← citeshttps://doi.org/10.1145/2103621.2103677openalex-snapshot
Multiple facets for dynamic information flow
inferred← citeshttps://doi.org/10.1145/2103656.2103677openalex-snapshot
Multiple facets for dynamic information flow
inferred← citeshttps://doi.org/10.1145/2254064.2254078openalex-snapshot
Language-based control and mitigation of timing channels
inferred← citeshttps://doi.org/10.1145/2345156.2254078openalex-snapshot
Language-based control and mitigation of timing channels
inferred← citeshttps://doi.org/10.1145/2364527.2364557openalex-snapshot
Addressing covert termination and timing channels in concurrent information flow systems
inferred← citeshttps://doi.org/10.1145/2382196.2382289openalex-snapshot
Precise enforcement of progress-sensitive security
inferred← citeshttps://doi.org/10.1145/2398856.2364557openalex-snapshot
Addressing covert termination and timing channels in concurrent information flow systems
inferred← citeshttps://doi.org/10.1145/2465106.2465121openalex-snapshot
Faceted execution of policy-agnostic programs
inferred← citeshttps://doi.org/10.1145/2638548openalex-snapshot
Practical Fine-Grained Information Flow Control Using Laminar
inferred← citeshttps://doi.org/10.1145/2947626.2947645openalex-snapshot
Preventive information flow control through a mechanism of split addresses
inferred← citeshttps://doi.org/10.1145/3024086openalex-snapshot
Multiple Facets for Dynamic Information Flow with Exceptions
inferred← citeshttps://doi.org/10.1145/3037697.3037733openalex-snapshot
An Architecture Supporting Formal and Compositional Binary Analysis
inferred← citeshttps://doi.org/10.1145/3093315.3037733openalex-snapshot
An Architecture Supporting Formal and Compositional Binary Analysis
inferred← citeshttps://doi.org/10.1145/3093336.3037733openalex-snapshot
An Architecture Supporting Formal and Compositional Binary Analysis
inferred← citeshttps://doi.org/10.1145/3093337.3037733openalex-snapshot
An Architecture Supporting Formal and Compositional Binary Analysis
inferred← citeshttps://doi.org/10.1145/3139337.3139344openalex-snapshot
Annotated Multisemantics To Prove Non-Interference Analyses
inferred← citeshttps://doi.org/10.1145/3184558.3185979openalex-snapshot
A Better Facet of Dynamic Information Flow Control
inferred← citeshttps://doi.org/10.1145/3243734.3243806openalex-snapshot
Faceted Secure Multi Execution
inferred← citeshttps://doi.org/10.1145/3276488openalex-snapshot
Secure serverless computing using dynamic information flow control
inferred← citeshttps://doi.org/10.1145/3292006.3300040openalex-snapshot
Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution
inferred← citeshttps://doi.org/10.1145/3338466.3358914openalex-snapshot
Timing-Sensitive Synchronization for Efficient Secure Multi-Execution
inferred← citeshttps://doi.org/10.1145/3470534openalex-snapshot
Securing Interruptible Enclaved Execution on Small Microprocessors
inferred← citeshttps://doi.org/10.1145/3486003openalex-snapshot
On Time-sensitive Control Dependencies
inferred← citeshttps://doi.org/10.1145/3613424.3623796openalex-snapshot
Hardware Support for Constant-Time Programming
inferred← citeshttps://doi.org/10.11606/d.3.2016.tde-29082016-140839openalex-snapshot
Arquitetura de aplicativos móveis com fluxo seguro de informação.
inferred← citeshttps://doi.org/10.14569/ijacsa.2021.0120901openalex-snapshot
Information Flow Control for Serverless Systems
inferred← citeshttps://doi.org/10.3233/jcs-130495openalex-snapshot
Secure multi-execution of web scripts: Theory and practice
inferred← citeshttps://doi.org/10.3233/jcs-150541openalex-snapshot
Secure multi-execution: Fine-grained, declassification-aware, and transparent
inferred← citeshttps://doi.org/10.4204/eptcs.312.1openalex-snapshot
Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond
inferred← citeshttps://doi.org/10.48550/arxiv.1807.09377openalex-snapshot
Racets: Faceted Execution in Racket
inferred← citeshttps://doi.org/10.5204/thesis.eprints.226908openalex-snapshot
Static analysis of software components for information flow security
inferred← citeshttps://doi.org/10.5555/3026877.3026919openalex-snapshot
Ryoan: a distributed sandbox for untrusted computation on secret data
inferred← citeshttps://doi.org/10.70675/53482fd6z0395z4f3az8c49z30f9f63d83a9openalex-snapshot
Information Flow Control for the Web Browser through a Mechanism of Split Addresses
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
inferred← citeshttps://doi.org/10.70675/7d55c6acz932fz4628z96b0z9bb538e1b889openalex-snapshot
Certification d'analyse non locale grâce à une sémantique annotée
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.