On the public citation graph
Sharing Mobile Code Securely with Information Flow Control
0 signed · 82 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/978-3-540-88313-5_22openalex-snapshot
Termination-Insensitive Noninterference Leaks More Than Just a Bit
inferredcites →https://doi.org/10.1109/csfw.2000.856937openalex-snapshot
Probabilistic noninterference for multi-threaded programs
inferredcites →https://doi.org/10.1109/jsac.2002.806121openalex-snapshot
Language-based information-flow security
inferredcites →https://doi.org/10.1109/secpri.2003.1199340openalex-snapshot
Using replication and partitioning to build secure distributed systems
inferredcites →https://doi.org/10.1109/sp.2010.36openalex-snapshot
ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser
inferredcites →https://doi.org/10.1145/121132.121160openalex-snapshot
Authentication in distributed systems
inferredcites →https://doi.org/10.1145/121133.121160openalex-snapshot
Authentication in distributed systems
inferredcites →https://doi.org/10.1145/1294261.1294293openalex-snapshot
Information flow control for standard OS abstractions
inferredcites →https://doi.org/10.1145/1315245.1315282openalex-snapshot
An information-theoretic model for adaptive side-channel attacks
inferredcites →https://doi.org/10.1145/1542476.1542483openalex-snapshot
Staged information flow for javascript
inferredcites →https://doi.org/10.1145/168619.168635openalex-snapshot
Efficient software-based fault isolation
inferredcites →https://doi.org/10.1145/2046707.2046772openalex-snapshot
Predictive mitigation of timing channels in interactive systems
inferredcites →https://doi.org/10.1145/2166956.2166961openalex-snapshot
Capabilities for information flow
inferredcites →https://doi.org/10.1145/224056.224077openalex-snapshot
Extensibility safety and performance in the SPIN operating system
inferredcites →https://doi.org/10.1145/268998.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/362375.362389openalex-snapshot
A note on the confinement problem
inferredcites →https://doi.org/10.1145/363516.363526openalex-snapshot
Protecting privacy using the decentralized label model
inferredcites →https://doi.org/10.17487/rfc3280openalex-snapshot
Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile
inferredcites →https://doi.org/10.2168/lmcs-7(3:17)2011openalex-snapshot
Attacker Control and Impact for Confidentiality and Integrity
inferredcites →https://doi.org/10.5555/1251229.1251253openalex-snapshot
Knit: component composition for systems software
inferredcites →https://doi.org/10.5555/1298455.1298481openalex-snapshot
Making information flow explicit in HiStar
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-61470-6_17openalex-snapshot
Adaptive Security Policies
inferred← citeshttps://doi.org/10.1007/978-3-030-91631-2_17openalex-snapshot
Benign Interaction of Security Domains
inferred← citeshttps://doi.org/10.1007/978-3-031-35921-7_2openalex-snapshot
A Model-Based Approach for Expansion of Androids Status-Bar-Notification
inferred← citeshttps://doi.org/10.1007/978-3-642-40203-6_43openalex-snapshot
Run-Time Enforcement of Information-Flow Properties on Android
inferred← citeshttps://doi.org/10.1007/978-981-10-8944-2_94openalex-snapshot
CapFlow: A Capability-Based DIFC System
inferred← citeshttps://doi.org/10.1016/j.pmcj.2016.06.018openalex-snapshot
DroidChain: A novel Android malware detection method based on behavior chains
inferred← citeshttps://doi.org/10.1109/csf.2016.17openalex-snapshot
A Calculus for Flow-Limited Authorization
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00029openalex-snapshot
Nonmalleable Progress Leakage
inferred← citeshttps://doi.org/10.1109/icccn.2016.7568487openalex-snapshot
ActivityHijacker: Hijacking the Android Activity Component for Sensitive Data
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00121openalex-snapshot
Containing Malicious Package Updates in npm with a Lightweight Permission System
inferred← citeshttps://doi.org/10.1109/icws.2015.95openalex-snapshot
Nomads - Enabling Distributed Analytical Service Environments for the Smart City Domain
inferred← citeshttps://doi.org/10.1109/sere-c.2014.27openalex-snapshot
MicroApp: Architecting Web Application for Non-uniform Trustworthiness in Cloud Computing Environment
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00084openalex-snapshot
Compositional Security for Reentrant Applications
inferred← citeshttps://doi.org/10.1109/tifs.2013.2267798openalex-snapshot
Hybrid Static-Runtime Information Flow and Declassification Enforcement
inferred← citeshttps://doi.org/10.1109/trustcom/bigdatase.2018.00113openalex-snapshot
An Experimental Flow Secure File System
inferred← citeshttps://doi.org/10.1109/wicsa-ecsa.212.15openalex-snapshot
COAST: An Architectural Style for Decentralized On-Demand Tailored Services
inferred← citeshttps://doi.org/10.1109/wowmom.2019.8793026openalex-snapshot
Web-Based Framework for Accessing Native Opportunistic Networking Applications
inferred← citeshttps://doi.org/10.1134/s0361768822040053openalex-snapshot
Information Flow Control in Software DB Units Based on Formal Verification
inferred← citeshttps://doi.org/10.1145/2429069.2429107openalex-snapshot
How languages can save distributed computing
inferred← citeshttps://doi.org/10.1145/2480359.2429107openalex-snapshot
How languages can save distributed computing
inferred← citeshttps://doi.org/10.1145/2508859.2516677openalex-snapshot
Preventing accidental data disclosure in modern operating systems
inferred← citeshttps://doi.org/10.1145/2535838.2535870openalex-snapshot
Toward general diagnosis of static errors
inferred← citeshttps://doi.org/10.1145/2578855.2535870openalex-snapshot
Toward general diagnosis of static errors
inferred← citeshttps://doi.org/10.1145/2638548openalex-snapshot
Practical Fine-Grained Information Flow Control Using Laminar
inferred← citeshttps://doi.org/10.1145/2660267.2660343openalex-snapshot
Collaborative Verification of Information Flow for a High-Assurance App Store
inferred← citeshttps://doi.org/10.1145/2676726.2676994openalex-snapshot
Dependent Information Flow Types
inferred← citeshttps://doi.org/10.1145/2775051.2676994openalex-snapshot
Dependent Information Flow Types
inferred← citeshttps://doi.org/10.1145/2908080.2908098openalex-snapshot
Precise, dynamic information flow for database-backed applications
inferred← citeshttps://doi.org/10.1145/2980983.2908098openalex-snapshot
Precise, dynamic information flow for database-backed applications
inferred← citeshttps://doi.org/10.1145/2983990.2984002openalex-snapshot
Automatic enforcement of expressive security policies using enclaves
inferred← citeshttps://doi.org/10.1145/3022671.2984002openalex-snapshot
Automatic enforcement of expressive security policies using enclaves
inferred← citeshttps://doi.org/10.1145/3133956.3134036openalex-snapshot
Cryptographically Secure Information Flow Control on Key-Value Stores
inferred← citeshttps://doi.org/10.1145/3276485openalex-snapshot
A derivation framework for dependent security label inference
inferred← citeshttps://doi.org/10.1145/3519939.3523725openalex-snapshot
ANOSY: approximated knowledge synthesis with refinement types for declassification
inferred← citeshttps://doi.org/10.14722/ndss.2015.23295openalex-snapshot
Run-time Monitoring and Formal Analysis of Information Flows in Chromium
inferred← citeshttps://doi.org/10.18255/1818-1015-2015-6-735-749openalex-snapshot
End-to-end Information Flow Security Model for Software-Defined Networks
inferred← citeshttps://doi.org/10.21833/ijaas.2024.02.024openalex-snapshot
Extent of spending behavior, problems encountered, and financial knowledge across generational cohorts among state universities and colleges employees
inferred← citeshttps://doi.org/10.26583/bit.2023.2.03openalex-snapshot
Features of the software architecture of the PLIF language platform for the analysis of the security of information flows in automated systems
inferred← citeshttps://doi.org/10.3233/jcs-15805openalex-snapshot
Fabric: Building open distributed systems securely by construction
inferred← citeshttps://doi.org/10.32657/10356/136764openalex-snapshot
Securing software systems via fuzz testing and verification
inferred← citeshttps://doi.org/10.4018/978-1-6684-8666-5.ch008openalex-snapshot
Impact of Information Leakage and Conserving Digital Privacy
inferred← citeshttps://doi.org/10.48550/arxiv.1506.03108openalex-snapshot
Bringing Modern Web Applications to Disconnected Networks
inferred← citeshttps://doi.org/10.5555/2616448.2616495openalex-snapshot
Warranties for faster strong consistency
inferred← citeshttps://doi.org/10.5555/3026877.3026919openalex-snapshot
Ryoan: a distributed sandbox for untrusted computation on secret data
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.