On the public citation graph
A Study of Security Isolation Techniques
0 signed · 132 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-44577-3_6openalex-snapshot
A Language-Based Approach to Security
inferredcites →https://doi.org/10.1007/978-3-642-05089-3_49openalex-snapshot
Verifying Information Flow Control over Unbounded Processes
inferredcites →https://doi.org/10.1007/978-3-642-33167-1_49openalex-snapshot
Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions
inferredcites →https://doi.org/10.1007/978-3-642-35170-9_21openalex-snapshot
Enhancing the OS against Security Threats in System Administration
inferredcites →https://doi.org/10.1109/csit.1975.6498831openalex-snapshot
Protection of information in computer systems
inferredcites →https://doi.org/10.1109/proc.1975.9939openalex-snapshot
The protection of information in computer systems
inferredcites →https://doi.org/10.1109/sp.2009.23openalex-snapshot
Noninterference for a Practical DIFC-Based Operating System
inferredcites →https://doi.org/10.1109/sp.2009.25openalex-snapshot
Native Client: A Sandbox for Portable, Untrusted x86 Native Code
inferredcites →https://doi.org/10.1109/sp.2010.17openalex-snapshot
TrustVisor: Efficient TCB Reduction and Attestation
inferredcites →https://doi.org/10.1109/sp.2011.31openalex-snapshot
HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis
inferredcites →https://doi.org/10.1109/sp.2011.33openalex-snapshot
TxBox: Building Secure, Efficient Sandboxes with System Transactions
inferredcites →https://doi.org/10.1109/sp.2013.24openalex-snapshot
PrivExec: Private Execution as an Operating System Service
inferredcites →https://doi.org/10.1109/sp.2014.24openalex-snapshot
Pivot: Fast, Synchronous Mashup Isolation Using Generator Chains
inferredcites →https://doi.org/10.1109/sp.2014.27openalex-snapshot
Dancing with Giants: Wimpy Kernels for On-Demand Isolated I/O
inferredcites →https://doi.org/10.1109/tdsc.2006.41openalex-snapshot
System Call Monitoring Using Authenticated System Calls
inferredcites →https://doi.org/10.1145/1134760.1134767openalex-snapshot
Live updating operating systems using virtualization
inferredcites →https://doi.org/10.1145/1165389.945447openalex-snapshot
Upgrading transport protocols using untrusted mobile code
inferredcites →https://doi.org/10.1145/1165389.945462openalex-snapshot
Xen and the art of virtualization
inferredcites →https://doi.org/10.1145/1217935.1217951openalex-snapshot
Reducing TCB complexity for security-sensitive applications
inferredcites →https://doi.org/10.1145/1218063.1217951openalex-snapshot
Reducing TCB complexity for security-sensitive applications
inferredcites →https://doi.org/10.1145/1272996.1273025openalex-snapshot
Container-based operating system virtualization
inferredcites →https://doi.org/10.1145/1272998.1273025openalex-snapshot
Container-based operating system virtualization
inferredcites →https://doi.org/10.1145/1272998.1273032openalex-snapshot
Sealing OS processes to improve dependability and safety
inferredcites →https://doi.org/10.1145/1294261.1294293openalex-snapshot
Information flow control for standard OS abstractions
inferredcites →https://doi.org/10.1145/1314299.1314302openalex-snapshot
Labels and event processes in the Asbestos operating system
inferredcites →https://doi.org/10.1145/1346256.1346267openalex-snapshot
Using hypervisor to provide data secrecy for user applications on a per-page basis
inferredcites →https://doi.org/10.1145/1463891.1463912openalex-snapshot
Introduction and overview of the multics system
inferredcites →https://doi.org/10.1145/1653662.1653687openalex-snapshot
Hey, you, get off of my cloud
inferredcites →https://doi.org/10.1145/168619.168635openalex-snapshot
Efficient software-based fault isolation
inferredcites →https://doi.org/10.1145/173668.168635openalex-snapshot
Efficient software-based fault isolation
inferredcites →https://doi.org/10.1145/1866307.1866340openalex-snapshot
DIFC programs by automatic instrumentation
inferredcites →https://doi.org/10.1145/1950365.1950399openalex-snapshot
Rethinking the library OS from the top down
inferredcites →https://doi.org/10.1145/1961296.1950399openalex-snapshot
Rethinking the library OS from the top down
inferredcites →https://doi.org/10.1145/2151024.2151036openalex-snapshot
Facilitating inter-application interactions for OS-level virtualization
inferredcites →https://doi.org/10.1145/224056.224077openalex-snapshot
Extensibility safety and performance in the SPIN operating system
inferredcites →https://doi.org/10.1145/224057.224077openalex-snapshot
Extensibility safety and performance in the SPIN operating system
inferredcites →https://doi.org/10.1145/2307720.2307721openalex-snapshot
A two-tier sandbox architecture for untrusted JavaScript
inferredcites →https://doi.org/10.1145/2364527.2364557openalex-snapshot
Addressing covert termination and timing channels in concurrent information flow systems
inferredcites →https://doi.org/10.1145/2365864.2151036openalex-snapshot
Facilitating inter-application interactions for OS-level virtualization
inferredcites →https://doi.org/10.1145/238721.238769openalex-snapshot
Microkernels meet recursive virtual machines
inferredcites →https://doi.org/10.1145/2398856.2364557openalex-snapshot
Addressing covert termination and timing channels in concurrent information flow systems
inferredcites →https://doi.org/10.1145/2465351.2465375openalex-snapshot
Composing OS extensions safely and efficiently with Bascule
inferredcites →https://doi.org/10.1145/2487726.2488368openalex-snapshot
Innovative instructions and software model for isolated execution
inferredcites →https://doi.org/10.1145/2508859.2516677openalex-snapshot
Preventing accidental data disclosure in modern operating systems
inferredcites →https://doi.org/10.1145/2592798.2592811openalex-snapshot
Practical techniques to obviate setuid-to-root binaries
inferredcites →https://doi.org/10.1145/2592798.2592812openalex-snapshot
Cooperation and security isolation of library OSes for multi-process applications
inferredcites →https://doi.org/10.1145/277650.277752openalex-snapshot
The design and implementation of a certifying compiler
inferredcites →https://doi.org/10.1145/2797022.2797040openalex-snapshot
Enforcing Privacy Policies with Meta-Code
inferredcites →https://doi.org/10.1145/360051.360056openalex-snapshot
A lattice model of secure information flow
inferredcites →https://doi.org/10.1145/844128.844147openalex-snapshot
Scale and performance in the Denali isolation kernel
inferredcites →https://doi.org/10.14722/ndss.2014.23164openalex-snapshot
AirBag: Boosting Smartphone Resistance to Malware Infection
inferredcites →https://doi.org/10.3233/jcs-15801openalex-snapshot
Hails: Protecting data privacy in untrusted web applications
inferredcites →https://doi.org/10.48550/arxiv.1504.07070openalex-snapshot
Deterministically Deterring Timing Attacks in Deterland
inferredcites →https://doi.org/10.48550/arxiv.1506.07813openalex-snapshot
ADsafety: Type-Based Verification of JavaScript Sandboxing
inferredcites →https://doi.org/10.5555/1298455.1298481openalex-snapshot
Making information flow explicit in HiStar
inferredcites →https://doi.org/10.5555/1298455.1298482openalex-snapshot
Splitting interfaces: making trust between applications and operating systems configurable
inferredcites →https://doi.org/10.5555/1924943.1924973openalex-snapshot
The turtles project: design and implementation of nested virtualization
inferredcites →https://doi.org/10.5555/2685048.2685056openalex-snapshot
Physical disentanglement in a container-based file system
inferredcites →https://doi.org/10.5555/2685048.2685062openalex-snapshot
Ironclad apps: end-to-end security via automated full-system verification
inferredcites →https://doi.org/10.5555/2685048.2685070openalex-snapshot
Shielding applications from an untrusted cloud with Haven
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-10597-6_6openalex-snapshot
Towards High-Resolution Multi-Stage Security Games
inferred← citeshttps://doi.org/10.1007/978-3-030-17184-1_18openalex-snapshot
Compiling Sandboxes: Formally Verified Software Fault Isolation
inferred← citeshttps://doi.org/10.1007/978-3-030-34339-2_5openalex-snapshot
KMO: Kernel Memory Observer to Identify Memory Corruption by Secret Inspection Mechanism
inferred← citeshttps://doi.org/10.1007/978-3-031-36840-0_16openalex-snapshot
Trusted Implementation and Enforcement of Application Security Policies
inferred← citeshttps://doi.org/10.1007/978-3-031-76371-7_7openalex-snapshot
Flexible and Secure Process Confinement with eBPF
inferred← citeshttps://doi.org/10.1007/978-981-97-4045-1_43openalex-snapshot
Enhancing Task Matching in Online Labor Markets Using Multi-field Features Interaction and Meta-learning
inferred← citeshttps://doi.org/10.1007/s11042-022-12491-1openalex-snapshot
The recommendation of satisfactory product for new users in social commerce website
inferred← citeshttps://doi.org/10.1007/s41635-019-00078-6openalex-snapshot
An In-depth Study of MPU-Based Isolation Techniques
inferred← citeshttps://doi.org/10.1016/j.comnet.2020.107135openalex-snapshot
5G networks: Types of isolation and their parameters in RAN and CN slices
inferred← citeshttps://doi.org/10.1016/j.ins.2025.122487openalex-snapshot
Adapting ordered fuzzy numbers to the evaluation of the isolation level of slices
inferred← citeshttps://doi.org/10.1109/access.2024.3450496openalex-snapshot
ESX: A Self-Generated Control Policy for Remote Access With SSH Based on eBPF
inferred← citeshttps://doi.org/10.1109/dft56152.2022.9962352openalex-snapshot
Is RISC-V ready for Space? A Security Perspective
inferred← citeshttps://doi.org/10.1109/estream.2017.7950315openalex-snapshot
A cloud software isolation and cross-platform portability methods
inferred← citeshttps://doi.org/10.1109/isqed69900.2026.11534784openalex-snapshot
Verifying Hardware Resource Isolation Using Mandatory Access Control
inferred← citeshttps://doi.org/10.1109/itcindia70344.2026.11646533openalex-snapshot
State-Isolated Scan - a Secure Low-Power Scan Architecture
inferred← citeshttps://doi.org/10.1109/jproc.2025.3555131openalex-snapshot
Is Trust Misplaced? A Zero-Trust Survey
inferred← citeshttps://doi.org/10.1109/ram.2018.8463090openalex-snapshot
Ensuring Android Execution Containers with Formal Methods
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00075openalex-snapshot
SoK: Software Compartmentalization
inferred← citeshttps://doi.org/10.1109/tnsm.2024.3442688openalex-snapshot
TARA: Tenant-Aware Resource Allocation in Multi-Tenant Data Centers
inferred← citeshttps://doi.org/10.1109/trustcom66490.2025.00362openalex-snapshot
Validation of a Governance Framework Supporting Security Controls across Emerging Systems
inferred← citeshttps://doi.org/10.1142/s0219749926500036openalex-snapshot
User-driven cross cloud-domain authentication and key agreement scheme with quantum entanglement swapping
inferred← citeshttps://doi.org/10.1145/3134302.3134312openalex-snapshot
A Survey on Application Sandboxing Techniques
inferred← citeshttps://doi.org/10.1145/3546591.3547530openalex-snapshot
Towards isolated execution at the machine level
inferred← citeshttps://doi.org/10.1145/3764860.3768325openalex-snapshot
Comparing Isolation Mechanisms with OSmosis
inferred← citeshttps://doi.org/10.1145/3831586.3838145openalex-snapshot
Exploring the Design Space of Isolation Mechanisms
inferred← citeshttps://doi.org/10.1587/transinf.2019icp0011openalex-snapshot
Identification of Kernel Memory Corruption Using Kernel Memory Secret Observation Mechanism
inferred← citeshttps://doi.org/10.22215/etd/2021-14675openalex-snapshot
A Practical, Lightweight, and Flexible Confinement Framework in eBPF
inferred← citeshttps://doi.org/10.23919/fruct61870.2024.10516417openalex-snapshot
Survey of Real-World Process Sandboxing
inferred← citeshttps://doi.org/10.3390/electronics11101606openalex-snapshot
A Fine-Grained Secure Service Provisioning Platform for Hypervisor Systems
inferred← citeshttps://doi.org/10.3390/s23042081openalex-snapshot
Covert Channel Communication as an Emerging Security Threat in 2.5D/3D Integrated Systems
inferred← citeshttps://doi.org/10.4018/979-8-3373-2597-2.ch001openalex-snapshot
Navigating Ethical Dilemmas in AI
inferred← citeshttps://doi.org/10.48550/arxiv.1910.04957openalex-snapshot
SoK: Hardware Security Support for Trustworthy Execution
inferred← citeshttps://doi.org/10.5220/0010579700002998openalex-snapshot
Trusted Enforcement of Application-specific Security Policies
inferred← citeshttps://doi.org/10.70675/016d77dezc74fz44a7z9a73z954d6ecfd363openalex-snapshot
Secure compilation for memory protection
inferred← citeshttps://doi.org/10.70675/06eb52b8zd2a3z4017za81azbc67f4712b93openalex-snapshot
Securing network slices in 5th generation mobile networks
inferred← citeshttps://doi.org/10.70675/368679edzc429z4365z9ed8z98bd52899a61openalex-snapshot
Formal Security of Zero Trust Architectures
inferred← citeshttps://doi.org/10.70675/cd95ffd5z3f11z4a45z8462zf7f31bbaba43openalex-snapshot
An In-Depth Study and Implementation of Protection Mechanisms For Embedded Devices Running Multiple Applications
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.