On the public citation graph
Shielding Applications from an Untrusted Cloud with Haven
0 signed · 510 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-48184-2_32openalex-snapshot
A Digital Signature Based on a Conventional Encryption Function
inferredcites →https://doi.org/10.1007/978-3-642-30921-2_10openalex-snapshot
Trustworthy Execution on Mobile Devices: What Security Properties Can My Mobile Platform Give Me?
inferredcites →https://doi.org/10.1007/978-3-642-32009-5_49openalex-snapshot
Homomorphic Evaluation of the AES Circuit
inferredcites →https://doi.org/10.1016/s1389-1286(98)00019-xopenalex-snapshot
Building a high-performance, programmable secure coprocessor
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/hpca.2010.5416657openalex-snapshot
Scalable architectural support for trusted software
inferredcites →https://doi.org/10.1109/isca.2005.14openalex-snapshot
Architecture for Protecting Critical Secrets in Microprocessors
inferredcites →https://doi.org/10.1109/nas.2009.15openalex-snapshot
Performance and Consistency Improvements of Hash Tree Based Disk Storage Protection
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.38openalex-snapshot
Memoir: Practical State Continuity for Protected Modules
inferredcites →https://doi.org/10.1109/sp.2015.45openalex-snapshot
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
inferredcites →https://doi.org/10.1145/1067629.806531openalex-snapshot
Policy/mechanism separation in Hydra
inferredcites →https://doi.org/10.1145/1080695.1069971openalex-snapshot
Architecture for Protecting Critical Secrets in Microprocessors
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/1519065.1519076openalex-snapshot
Towards practical page coloring-based multicore cache management
inferredcites →https://doi.org/10.1145/1536414.1536440openalex-snapshot
Fully homomorphic encryption using ideal lattices
inferredcites →https://doi.org/10.1145/1655008.1655017openalex-snapshot
On protecting integrity and confidentiality of cryptographic file system for outsourced storage
inferredcites →https://doi.org/10.1145/1950365.1950399openalex-snapshot
Rethinking the library OS from the top down
inferredcites →https://doi.org/10.1145/2465351.2465375openalex-snapshot
Composing OS extensions safely and efficiently with Bascule
inferredcites →https://doi.org/10.1145/2487726openalex-snapshot
Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy
inferredcites →https://doi.org/10.1145/2487726.2488368openalex-snapshot
Innovative instructions and software model for isolated execution
inferredcites →https://doi.org/10.1145/2487726.2488370openalex-snapshot
Using innovative instructions to create trustworthy software solutions
inferredcites →https://doi.org/10.1145/2541940.2541949openalex-snapshot
Using ARM trustzone to build a trusted language runtime for mobile applications
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/361011.361073openalex-snapshot
Formal requirements for virtualizable third generation architectures
inferredcites →https://doi.org/10.1145/378993.379237openalex-snapshot
Architectural support for copy and tamper resistant software
inferredcites →https://doi.org/10.1145/378995.379237openalex-snapshot
Architectural support for copy and tamper resistant software
inferredcites →https://doi.org/10.1145/800213.806531openalex-snapshot
Policy/mechanism separation in Hydra
inferredcites →https://doi.org/10.1145/945445.945463openalex-snapshot
Implementing an untrusted operating system on trusted hardware
inferredcites →https://doi.org/10.5555/1251229.1251239openalex-snapshot
How to build a trusted database system on untrusted storage
inferredcites →https://doi.org/10.5555/1251229.1251242openalex-snapshot
Fast and secure distributed read-only file system
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/1855741.1855765openalex-snapshot
[Health and hygiene education in the light of decisions of the 25th Congress of the CPSU].
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
inferredcites →https://doi.org/10.5555/296806.296812openalex-snapshot
Self-paging in the Nemesis operating system
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.4130openalex-snapshot
A framework for application partitioning using trusted execution environments
inferred← citeshttps://doi.org/10.1002/spe.3357openalex-snapshot
enCloud: Aspect‐oriented trusted service migration on SGX‐enabled cloud VM
inferred← citeshttps://doi.org/10.1007/978-3-030-00470-5_17openalex-snapshot
MicroStache: A Lightweight Execution Context for In-Process Safe Region Isolation
inferred← citeshttps://doi.org/10.1007/978-3-030-01701-9_1openalex-snapshot
A Secure Remote Monitoring Framework Supporting Efficient Fine-Grained Access Control and Data Processing in IoT
inferred← citeshttps://doi.org/10.1007/978-3-030-04771-9_43openalex-snapshot
Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework
inferred← citeshttps://doi.org/10.1007/978-3-030-05051-1_28openalex-snapshot
Controlled Channel Attack Detection Based on Hardware Virtualization
inferred← citeshttps://doi.org/10.1007/978-3-030-05063-4_9openalex-snapshot
Harden Tamper-Proofing to Combat MATE Attack
inferred← citeshttps://doi.org/10.1007/978-3-030-12786-2_9openalex-snapshot
Sealed Computation: Abstract Requirements for Mechanisms to Support Trustworthy Cloud Computing
inferred← citeshttps://doi.org/10.1007/978-3-030-29959-0_38openalex-snapshot
Towards a Marketplace for Secure Outsourced Computations
inferred← citeshttps://doi.org/10.1007/978-3-030-29962-0_20openalex-snapshot
OCRAM-Assisted Sensitive Data Protection on ARM-Based Platform
inferred← citeshttps://doi.org/10.1007/978-3-030-33432-1_1openalex-snapshot
Reference Architecture of an Autonomous Agent for Cyber Defense of Complex Military Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-34992-9_15openalex-snapshot
iperfTZ: Understanding Network Bottlenecks for TrustZone-Based Trusted Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-58986-8_4openalex-snapshot
Employment of Secure Enclaves in Cheat Detection Hardening
inferred← citeshttps://doi.org/10.1007/978-3-030-78372-3_13openalex-snapshot
SnakeGX: A Sneaky Attack Against SGX Enclaves
inferred← citeshttps://doi.org/10.1007/978-3-030-88418-5_21openalex-snapshot
Succinct Scriptable NIZK via Trusted Hardware
inferred← citeshttps://doi.org/10.1007/978-3-030-91356-4_11openalex-snapshot
Andromeda: Enabling Secure Enclaves for the Android Ecosystem
inferred← citeshttps://doi.org/10.1007/978-3-030-96154-1_9openalex-snapshot
Designing an Efficient Consensus Protocol for Supply Chain
inferred← citeshttps://doi.org/10.1007/978-3-031-17146-8_34openalex-snapshot
AppBastion: Protection from Untrusted Apps and OSes on ARM
inferred← citeshttps://doi.org/10.1007/978-3-031-21377-9_6openalex-snapshot
Toward Fully Functional Encrypted Databases
inferred← citeshttps://doi.org/10.1007/978-3-031-45395-3_2openalex-snapshot
Domain Isolation and Access Control in Multi-tenant Cloud FPGAs
inferred← citeshttps://doi.org/10.1007/978-3-031-80408-3_7openalex-snapshot
CoPrIME: Complete Process Isolation Using Memory Encryption
inferred← citeshttps://doi.org/10.1007/978-3-032-23311-0_1openalex-snapshot
Can We Construct an Identity List Resistant to Malware Compromise?
inferred← citeshttps://doi.org/10.1007/978-3-319-26961-0_4openalex-snapshot
Reflections on the Self-service Cloud Computing Project
inferred← citeshttps://doi.org/10.1007/978-3-319-56620-7_10openalex-snapshot
Formal Abstractions for Attested Execution Secure Processors
inferred← citeshttps://doi.org/10.1007/978-3-319-60876-1_2openalex-snapshot
On the Trade-Offs in Oblivious Execution Techniques
inferred← citeshttps://doi.org/10.1007/978-3-319-66332-6_17openalex-snapshot
Secure In-Cache Execution
inferred← citeshttps://doi.org/10.1007/978-3-319-66332-6_18openalex-snapshot
Scotch: Combining Software Guard Extensions and System Management Mode to Monitor Cloud Resource Usage
inferred← citeshttps://doi.org/10.1007/978-3-319-66399-9_20openalex-snapshot
No Sugar but All the Taste! Memory Encryption Without Architectural Support
inferred← citeshttps://doi.org/10.1007/978-3-319-66402-6_21openalex-snapshot
Securing Data Analytics on SGX with Randomization
inferred← citeshttps://doi.org/10.1007/978-3-319-66787-4_4openalex-snapshot
CacheZoom: How SGX Amplifies the Power of Cache Attacks
inferred← citeshttps://doi.org/10.1007/978-3-319-69471-9_4openalex-snapshot
Protecting In-memory Data Cache with Secure Enclaves in Untrusted Cloud
inferred← citeshttps://doi.org/10.1007/978-3-319-93387-0_34openalex-snapshot
VeriCount: Verifiable Resource Accounting Using Hardware and Software Isolation
inferred← citeshttps://doi.org/10.1007/978-3-658-45180-6_14openalex-snapshot
Sicherheitsmechanismen des Cloud-Computings zur Verwendung in Korrekturverfahren
inferred← citeshttps://doi.org/10.1007/978-981-92-3012-9_17openalex-snapshot
Shielding MCP Tool: A Secure Execution Framework Using TEE and Automated Trimming
inferred← citeshttps://doi.org/10.1007/s00778-024-00877-6openalex-snapshot
Tee-based key-value stores: a survey
inferred← citeshttps://doi.org/10.1007/s10586-017-0833-4openalex-snapshot
MIPE: a practical memory integrity protection method in a trusted execution environment
inferred← citeshttps://doi.org/10.1007/s10586-020-03174-3openalex-snapshot
A collective attestation scheme towards cloud system
inferred← citeshttps://doi.org/10.1007/s10586-025-05880-2openalex-snapshot
Encloak: protecting sensitive data in remote computing using trusted execution environments
inferred← citeshttps://doi.org/10.1007/s10586-026-06300-9openalex-snapshot
Machine unlearning through model forgetting techniques: application area and emerging methods
inferred← citeshttps://doi.org/10.1007/s11227-018-2686-xopenalex-snapshot
Secure data processing for IoT middleware systems
inferred← citeshttps://doi.org/10.1007/s11390-021-1083-8openalex-snapshot
Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security Architectures
inferred← citeshttps://doi.org/10.1007/s11390-025-3762-3openalex-snapshot
Harmonizing Security and Performance in Microkernel File Servers
inferred← citeshttps://doi.org/10.1007/s11416-021-00391-1openalex-snapshot
RV-TEE: secure cryptographic protocol execution based on runtime verification
inferred← citeshttps://doi.org/10.1007/s11432-019-2707-6openalex-snapshot
TZ-Container: protecting container from untrusted OS with ARM TrustZone
inferred← citeshttps://doi.org/10.1007/s11704-019-9096-yopenalex-snapshot
A survey of Intel SGX and its applications
inferred← citeshttps://doi.org/10.1007/s12083-024-01668-0openalex-snapshot
A blockchain-based platform for decentralized trusted computing
inferred← citeshttps://doi.org/10.1016/bs.adcom.2017.12.007openalex-snapshot
A Taxonomy of Software Integrity Protection Techniques
inferred← citeshttps://doi.org/10.1016/j.comnet.2019.01.013openalex-snapshot
Security in hardware assisted virtualization for cloud computing—State of the art issues and challenges
inferred← citeshttps://doi.org/10.1016/j.comnet.2021.108744openalex-snapshot
NemesisGuard: Mitigating interrupt latency side channel attacks with static binary rewriting
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2016.03.004openalex-snapshot
Cloud security: Emerging threats and current solutions
inferred← citeshttps://doi.org/10.1016/j.cose.2016.07.009openalex-snapshot
Exploring infrastructure support for app-based services on cloud platforms
inferred← citeshttps://doi.org/10.1016/j.cose.2017.06.006openalex-snapshot
S-OpenSGX: A system-level platform for exploring SGX enclave-based computing
inferred← citeshttps://doi.org/10.1016/j.cose.2018.09.008openalex-snapshot
eMotion: An SGX extension for migrating enclaves
inferred← citeshttps://doi.org/10.1016/j.cose.2018.12.001openalex-snapshot
SGX-LEGO: Fine-grained SGX controlled-channel attack and its countermeasure
inferred← citeshttps://doi.org/10.1016/j.cose.2020.101905openalex-snapshot
From virtualization security issues to cloud protection opportunities: An in-depth analysis of system virtualization models
inferred← citeshttps://doi.org/10.1016/j.cose.2021.102327openalex-snapshot
Hardening cryptographic operations through the use of secure enclaves
inferred← citeshttps://doi.org/10.1016/j.cose.2022.102776openalex-snapshot
An internet of secure and private things: A service-oriented architecture
inferred← citeshttps://doi.org/10.1016/j.cose.2022.103003openalex-snapshot
FaultMorse: An automated controlled-channel attack via longest recurring sequence
inferred← citeshttps://doi.org/10.1016/j.cose.2023.103180openalex-snapshot
A survey on the (in)security of trusted execution environments
inferred← citeshttps://doi.org/10.1016/j.future.2020.04.012openalex-snapshot
Federated and secure cloud services for building medical image classifiers on an intercontinental infrastructure
inferred← citeshttps://doi.org/10.1016/j.future.2025.108031openalex-snapshot
A comprehensive performance evaluation of TEEs for confidential DNA alignment
inferred← citeshttps://doi.org/10.1016/j.inffus.2021.12.006openalex-snapshot
EPMDroid: Efficient and privacy-preserving malware detection based on SGX through data fusion
inferred← citeshttps://doi.org/10.1016/j.ins.2019.07.036openalex-snapshot
Privacy-preserving computation in cyber-physical-social systems: A survey of the state-of-the-art and perspectives
inferred← citeshttps://doi.org/10.1016/j.jiixd.2026.05.008openalex-snapshot
TEE-assisted computation over ciphertext: A review
inferred← citeshttps://doi.org/10.1016/j.jisa.2020.102579openalex-snapshot
Nearest neighbour search over encrypted data using intel SGX
inferred← citeshttps://doi.org/10.1016/j.jpdc.2018.07.014openalex-snapshot
Distributed shielded execution for transmissible cyber threats analysis
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111253openalex-snapshot
Only pay for what you need: Detecting and removing unnecessary TEE-based code
inferred← citeshttps://doi.org/10.1016/j.pmcj.2022.101614openalex-snapshot
Consent-driven Data Reuse in Multi-tasking Crowdsensing Systems: A Privacy-by-Design Solution
inferred← citeshttps://doi.org/10.1038/s41534-022-00612-5openalex-snapshot
QEnclave - A practical solution for secure quantum cloud computing
inferred← citeshttps://doi.org/10.1038/s41746-025-01935-1openalex-snapshot
Medical data sharing and synthetic clinical data generation – maximizing biomedical resource utilization and minimizing participant re-identification risks
inferred← citeshttps://doi.org/10.1049/cmu2.12759openalex-snapshot
Survey of research on confidential computing
inferred← citeshttps://doi.org/10.1109/access.2020.3006703openalex-snapshot
SofTEE: Software-Based Trusted Execution Environment for User Applications
inferred← citeshttps://doi.org/10.1109/access.2021.3136889openalex-snapshot
Confidential Machine Learning Computation in Untrusted Environments: A Systems Security Perspective
inferred← citeshttps://doi.org/10.1109/access.2022.3162489openalex-snapshot
SRX–Secure Data Backup and Recovery for SGX Applications
inferred← citeshttps://doi.org/10.1109/access.2022.3169767openalex-snapshot
Trusted Execution Environment Hardware by Isolated Heterogeneous Architecture for Key Scheduling
inferred← citeshttps://doi.org/10.1109/access.2025.3541295openalex-snapshot
Trans-Border Trusted Data Spaces: A General Framework Supporting Trustworthy International Data Circulation
inferred← citeshttps://doi.org/10.1109/acsac67867.2025.00032openalex-snapshot
It's a Non-Stop PARTEE! Practical Multi-Enclave Availability Through Partitioning and Asynchrony
inferred← citeshttps://doi.org/10.1109/acsac67867.2025.00046openalex-snapshot
A Cloudy View on Trust Relationships of CVMs: How Confidential Virtual Machines are Falling Short in Public Cloud
inferred← citeshttps://doi.org/10.1109/ats59501.2023.10317965openalex-snapshot
A Comparison Study of the Compatibility Approaches for SGX Enclaves
inferred← citeshttps://doi.org/10.1109/bigcom.2018.00025openalex-snapshot
A Formal Framework for State Continuity of Protected Modules
inferred← citeshttps://doi.org/10.1109/bigcom.2018.00038openalex-snapshot
Formally Verifying Memory Isolation Based on ARM Processors
inferred← citeshttps://doi.org/10.1109/candar60563.2023.00021openalex-snapshot
eSilo: Making Silo Secure with SGX
inferred← citeshttps://doi.org/10.1109/cases.2018.8516874openalex-snapshot
Special Session: Advances and Throwbacks in Hardware-Assisted Security
inferred← citeshttps://doi.org/10.1109/ccgrid.2017.125openalex-snapshot
Hybrid Mobile Edge Computing: Unleashing the Full Potential of Edge Computing in Mobile Device Use Cases
inferred← citeshttps://doi.org/10.1109/ccnc.2017.7983244openalex-snapshot
Paillier-encrypted databases with fast aggregated queries
inferred← citeshttps://doi.org/10.1109/ccoms.2019.8821690openalex-snapshot
Privacy in Multi-party Computation in MapReduce
inferred← citeshttps://doi.org/10.1109/cloud.2017.46openalex-snapshot
Man in the Cloud (MITC) Defender: SGX-Based User Credential Protection for Synchronization Applications in Cloud Computing Platform
inferred← citeshttps://doi.org/10.1109/cloud.2019.00076openalex-snapshot
A Framework for Collaborative Learning in Secure High-Dimensional Space
inferred← citeshttps://doi.org/10.1109/cloud55607.2022.00035openalex-snapshot
Secure Offloading of User-level IDS with VM-compatible OS Emulation Layers for Intel SGX
inferred← citeshttps://doi.org/10.1109/cloud62652.2024.00026openalex-snapshot
CRISP: Confidentiality, Rollback, and Integrity Storage Protection for Confidential Cloud-Native Computing
inferred← citeshttps://doi.org/10.1109/cloudcom.2019.00026openalex-snapshot
Vallum: Privacy, Confidentiality and Access Controlfor Sensitive Data in Cloud Environments
inferred← citeshttps://doi.org/10.1109/cloudcom2018.2018.00027openalex-snapshot
SGX-FS: Hardening a File System in User-Space with Intel SGX
inferred← citeshttps://doi.org/10.1109/cloudcom59040.2023.00037openalex-snapshot
Triad: Trusted Timestamps in Untrusted Environments
inferred← citeshttps://doi.org/10.1109/cns.2016.7860543openalex-snapshot
TLS with trustworthy certificate authorities
inferred← citeshttps://doi.org/10.1109/compsac51774.2021.00216openalex-snapshot
Advancing Design and Runtime Management of AI Applications with AI-SPRINT (Position Paper)
inferred← citeshttps://doi.org/10.1109/compsac65507.2025.00144openalex-snapshot
yak: WebAssembly-based Data Analysis Platform with Data Providers Driven Analysis Control
inferred← citeshttps://doi.org/10.1109/csf.2016.10openalex-snapshot
Secure Software Licensing: Models, Constructions, and Proofs
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00037openalex-snapshot
Language Support for Secure Software Development with Enclaves
inferred← citeshttps://doi.org/10.1109/csr61664.2024.10679349openalex-snapshot
SecureExecutor: An Automated Way to Leverage SCONE to Enhance Application Security
inferred← citeshttps://doi.org/10.1109/csr61664.2024.10679459openalex-snapshot
ROT: Retention and Operation Limitation Using TEE
inferred← citeshttps://doi.org/10.1109/dsc47296.2019.8937682openalex-snapshot
Defeating Speculative-Execution Attacks on SGX with HyperRace
inferred← citeshttps://doi.org/10.1109/dsc47296.2019.8937694openalex-snapshot
Securing Relational Database Storage with Attribute Association Aware Shuffling
inferred← citeshttps://doi.org/10.1109/dsn.2015.11openalex-snapshot
TrustICE: Hardware-Assisted Isolated Computing Environments on Mobile Devices
inferred← citeshttps://doi.org/10.1109/dsn.2015.15openalex-snapshot
Decomposable Trust for Android Applications
inferred← citeshttps://doi.org/10.1109/dsn.2016.45openalex-snapshot
Secure Identification of Actively Executed Code on a Generic Trusted Component
inferred← citeshttps://doi.org/10.1109/dsn.2017.37openalex-snapshot
Secure Live Migration of SGX Enclaves on Untrusted Cloud
inferred← citeshttps://doi.org/10.1109/dsn.2017.45openalex-snapshot
Rollback and Forking Detection for Trusted Execution Environments Using Lightweight Collective Memory
inferred← citeshttps://doi.org/10.1109/dsn.2017.53openalex-snapshot
Secure Tera-scale Data Crunching with a Small TCB
inferred← citeshttps://doi.org/10.1109/dsn.2019.00040openalex-snapshot
SATIN: A Secure and Trustworthy Asynchronous Introspection on Multi-Core ARM Processors
inferred← citeshttps://doi.org/10.1109/dsn.2019.00050openalex-snapshot
TEE-Perf: A Profiler for Trusted Execution Environments
inferred← citeshttps://doi.org/10.1109/dsn48987.2021.00053openalex-snapshot
ADAM-CS: Advanced Asynchronous Monotonic Counter Service
inferred← citeshttps://doi.org/10.1109/dsn53405.2022.00015openalex-snapshot
Treaty: Secure Distributed Transactions
inferred← citeshttps://doi.org/10.1109/dsn58291.2024.00039openalex-snapshot
Towards Shielding 5G Control Plane Functions
inferred← citeshttps://doi.org/10.1109/dsn69566.2026.00081openalex-snapshot
AnBridge: Protecting On-Device AI with Android Virtualization Framework
inferred← citeshttps://doi.org/10.1109/edcc61798.2024.00029openalex-snapshot
Combining Asynchronous Task Parallelism and Intel SGX for Secure Deep Learning : (Practical Experience Report)
inferred← citeshttps://doi.org/10.1109/eurosp.2016.28openalex-snapshot
Foundations of Hardware-Based Attested Computation and Application to SGX
inferred← citeshttps://doi.org/10.1109/eurosp.2016.34openalex-snapshot
CacheKit: Evading Memory Introspection Using Cache Incoherence
inferred← citeshttps://doi.org/10.1109/eurosp.2017.28openalex-snapshot
Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00020openalex-snapshot
SgxPectre: Stealing Intel Secrets from SGX Enclaves Via Speculative Execution
inferred← citeshttps://doi.org/10.1109/globecom38437.2019.9013473openalex-snapshot
cSFC: Building Credible Service Function Chain on the Cloud
inferred← citeshttps://doi.org/10.1109/host54066.2022.9839995openalex-snapshot
SecSoC: A Secure System on Chip Architecture for IoT Devices
inferred← citeshttps://doi.org/10.1109/hpca.2016.7446080openalex-snapshot
Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller
inferred← citeshttps://doi.org/10.1109/hpca.2018.00045openalex-snapshot
Comprehensive VM Protection Against Untrusted Hypervisor Through Retrofitted AMD Memory Encryption
inferred← citeshttps://doi.org/10.1109/hpca57654.2024.00026openalex-snapshot
Data Enclave: A Data-Centric Trusted Execution Environment
inferred← citeshttps://doi.org/10.1109/ic2e.2015.71openalex-snapshot
Expressing and Enforcing Location Requirements in the Cloud Using Information Flow Control
inferred← citeshttps://doi.org/10.1109/ic2e.2018.00032openalex-snapshot
UniGuard: Protecting Unikernels Using Intel SGX
inferred← citeshttps://doi.org/10.1109/ic2e48712.2020.00013openalex-snapshot
Facilitating plausible deniability for cloud providers regarding tenants’ activities using trusted execution
inferred← citeshttps://doi.org/10.1109/icaica52286.2021.9498147openalex-snapshot
RSGX: Defeating SGX Side Channel Attack with Return Oriented Programming
inferred← citeshttps://doi.org/10.1109/icca66035.2025.11431065openalex-snapshot
End-to-End Contextual Isolation for Large-Scale Multi-Tenant AI Platforms
inferred← citeshttps://doi.org/10.1109/icccn.2017.8038374openalex-snapshot
The Financialization of Cloud Computing: Opportunities and Challenges
inferred← citeshttps://doi.org/10.1109/icccn49398.2020.9209747openalex-snapshot
PDSProxy++: Proactive Proxy Deployment for Confidential Ad-hoc Personalization of AI Services
inferred← citeshttps://doi.org/10.1109/iccomm.2018.8429982openalex-snapshot
SGX-Based Cloud Security Module with User's Sole Control
inferred← citeshttps://doi.org/10.1109/icdcs.2017.29openalex-snapshot
Lateral Thinking for Trustworthy Apps
inferred← citeshttps://doi.org/10.1109/icdcs.2017.35openalex-snapshot
EnGarde: Mutually-Trusted Inspection of SGX Enclaves
inferred← citeshttps://doi.org/10.1109/icdcs.2019.00110openalex-snapshot
SPEED: Accelerating Enclave Applications Via Secure Deduplication
inferred← citeshttps://doi.org/10.1109/icdcs.2019.00118openalex-snapshot
Practical Verifiable In-network Filtering for DDoS Defense
inferred← citeshttps://doi.org/10.1109/icde.2015.7113304openalex-snapshot
Transaction processing on confidential data using cipherbase
inferred← citeshttps://doi.org/10.1109/icde51399.2021.00093openalex-snapshot
Aria: Tolerating Skewed Workloads in Secure In-memory Key-value Stores
inferred← citeshttps://doi.org/10.1109/icicds70526.2026.11604670openalex-snapshot
Performance Optimization of a TEE-Based Cryptographic Vault via Batched SGX Enclave Calls
inferred← citeshttps://doi.org/10.1109/icpads.2016.0123openalex-snapshot
Speeding Up Virtualized Transaction Logging with vTrans
inferred← citeshttps://doi.org/10.1109/icpads51040.2020.00076openalex-snapshot
TEEp: Supporting Secure Parallel Processing in ARM TrustZone
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00142openalex-snapshot
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX
inferred← citeshttps://doi.org/10.1109/iiswc50251.2020.00021openalex-snapshot
Port or Shim? Stress Testing Application Performance on Intel SGX
inferred← citeshttps://doi.org/10.1109/infocom.2019.8737444openalex-snapshot
CFHider: Control Flow Obfuscation with Intel SGX
inferred← citeshttps://doi.org/10.1109/iotdi.2018.00023openalex-snapshot
LogSafe: Secure and Scalable Data Logger for IoT Devices
inferred← citeshttps://doi.org/10.1109/iotsms48152.2019.8939224openalex-snapshot
Remote Attestation as a Service for IoT
inferred← citeshttps://doi.org/10.1109/ipdps49936.2021.00115openalex-snapshot
Performance Analysis of Scientific Computing Workloads on General Purpose TEEs
inferred← citeshttps://doi.org/10.1109/ipec51340.2021.9421084openalex-snapshot
F-SGX: Next Generation SGX for Trusted Computing
inferred← citeshttps://doi.org/10.1109/iri.2018.00083openalex-snapshot
Trusted Environments for Volunteer Computing
inferred← citeshttps://doi.org/10.1109/isca45697.2020.00067openalex-snapshot
A Bus Authentication and Anti-Probing Architecture Extending Hardware Trusted Computing Base Off CPU Chips and Beyond
inferred← citeshttps://doi.org/10.1109/isca45697.2020.00069openalex-snapshot
Nested Enclave: Supporting Fine-grained Hierarchical Isolation with SGX
inferred← citeshttps://doi.org/10.1109/iscc.2017.8024657openalex-snapshot
Realizing software vault on Android through information-flow control
inferred← citeshttps://doi.org/10.1109/iske47853.2019.9170307openalex-snapshot
A Secure Multi-Party Computing System Based on SGX Technology for Trusted Data Circulation
inferred← citeshttps://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom59178.2023.00070openalex-snapshot
The Instruction Separation Framework against Man-At-The-End Attacks: Protect What is Mattered On-the-Fly
inferred← citeshttps://doi.org/10.1109/ispcem57418.2022.00068openalex-snapshot
DyMAP: Defeating SGX Controlled Channel Attacks with Dynamic Memory Access Patterns
inferred← citeshttps://doi.org/10.1109/issre.2016.18openalex-snapshot
Bear: A Framework for Understanding Application Sensitivity to OS (Mis) Behavior
inferred← citeshttps://doi.org/10.1109/issre59848.2023.00016openalex-snapshot
SAPPX: Securing COTS Binaries with Automatic Program Partitioning for Intel SGX
inferred← citeshttps://doi.org/10.1109/ithings-greencom-cpscom-smartdata.2017.57openalex-snapshot
KONFIDO Project: A Secure Infrastructure Increasing Interoperability on a Systemic Level Among eHealth Services Across Europe
inferred← citeshttps://doi.org/10.1109/itoec49072.2020.9141835openalex-snapshot
Survey of Attacks and Defenses against SGX
inferred← citeshttps://doi.org/10.1109/jiot.2015.2460333openalex-snapshot
Twenty Security Considerations for Cloud-Supported Internet of Things
inferred← citeshttps://doi.org/10.1109/jiot.2018.2872461openalex-snapshot
Treasure Collection on Foggy Islands: Building Secure Network Archives for Internet of Things
inferred← citeshttps://doi.org/10.1109/jiot.2019.2909768openalex-snapshot
DER-TEE: Secure Distributed Energy Resource Operations Through Trusted Execution Environments
inferred← citeshttps://doi.org/10.1109/jiot.2020.3031550openalex-snapshot
Compiler-Assisted Semantic-Aware Encryption for Efficient and Secure Serverless Computing
inferred← citeshttps://doi.org/10.1109/jiot.2021.3084449openalex-snapshot
Enhancing Trustworthiness of Internet of Vehicles in Space–Air–Ground-Integrated Networks: Attestation Approach
inferred← citeshttps://doi.org/10.1109/mascots64422.2024.10786566openalex-snapshot
Homomorphic Encryption Enabled Delta Encoding
inferred← citeshttps://doi.org/10.1109/mobilecloud.2015.22openalex-snapshot
Avatar: Mobile Distributed Computing in the Cloud
inferred← citeshttps://doi.org/10.1109/mobilecloud.2016.21openalex-snapshot
Moitree: A Middleware for Cloud-Assisted Mobile Distributed Apps
inferred← citeshttps://doi.org/10.1109/netsoft51509.2021.9492579openalex-snapshot
SafeLib: a practical library for outsourcing stateful network functions securely
inferred← citeshttps://doi.org/10.1109/nof.2015.7333292openalex-snapshot
Protection scheme for IoT devices using introspection
inferred← citeshttps://doi.org/10.1109/pdp.2017.50openalex-snapshot
Cloudifying Critical Applications: A Use Case from the Power Grid Domain
inferred← citeshttps://doi.org/10.1109/pdp2018.2018.00076openalex-snapshot
An Approach for Securing Critical Applications in Untrusted Clouds
inferred← citeshttps://doi.org/10.1109/prdc.2017.13openalex-snapshot
Accelerating Integrity Verification on Secure Processors by Promissory Hash
inferred← citeshttps://doi.org/10.1109/qrs.2018.00050openalex-snapshot
Hardening Application Security Using Intel SGX
inferred← citeshttps://doi.org/10.1109/rtss46320.2019.00018openalex-snapshot
Securing Time in Untrusted Operating Systems with TimeSeal
inferred← citeshttps://doi.org/10.1109/sec.2016.15openalex-snapshot
Fast, Scalable and Secure Onloading of Edge Functions Using AirBox
inferred← citeshttps://doi.org/10.1109/sec.2018.00015openalex-snapshot
Harpocrates: Giving Out Your Secrets and Keeping Them Too
inferred← citeshttps://doi.org/10.1109/seed55351.2022.00018openalex-snapshot
SoK: Limitations of Confidential Computing via TEEs for High-Performance Compute Systems
inferred← citeshttps://doi.org/10.1109/seed55351.2022.00019openalex-snapshot
Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory
inferred← citeshttps://doi.org/10.1109/seed61283.2024.00020openalex-snapshot
Trusted Execution Environments in Embedded and IoT Systems: A CactiLab Perspective
inferred← citeshttps://doi.org/10.1109/smartcloud.2018.00020openalex-snapshot
Secure and Scalable Key Value Storage for Managing Big Data in Smart Cities Using Intel SGX
inferred← citeshttps://doi.org/10.1109/smartworld.2018.00224openalex-snapshot
The Performance Evaluation Model of Intel SGX-Based Data Protection
inferred← citeshttps://doi.org/10.1109/sose.2019.00036openalex-snapshot
SDVisor: Secure Debug Enclave with Hypervisor
inferred← citeshttps://doi.org/10.1109/sp.2015.10openalex-snapshot
VC3: Trustworthy Data Analytics in the Cloud Using SGX
inferred← citeshttps://doi.org/10.1109/sp.2015.45openalex-snapshot
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
inferred← citeshttps://doi.org/10.1109/sp.2016.13openalex-snapshot
CaSE: Cache-Assisted Secure Execution on ARM Processors
inferred← citeshttps://doi.org/10.1109/sp.2016.58openalex-snapshot
Verena: End-to-End Integrity Protection for Web Applications
inferred← citeshttps://doi.org/10.1109/sp.2018.00025openalex-snapshot
EnclaveDB: A Secure Database Using SGX
inferred← citeshttps://doi.org/10.1109/sp.2019.00036openalex-snapshot
Fidelius: Protecting User Secrets from Compromised Browsers
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833604openalex-snapshot
RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833694openalex-snapshot
vSGX: Virtualizing SGX Enclaves on AMD SEV
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833745openalex-snapshot
HARDLOG: Practical Tamper-Proof System Auditing Using a Novel Audit Device
inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179357openalex-snapshot
WaVe: a verifiably secure WebAssembly sandboxing runtime
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00090openalex-snapshot
Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00259openalex-snapshot
On (the Lack of) Code Confidentiality in Trusted Execution Environments
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00262openalex-snapshot
WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00008openalex-snapshot
Leafblower: a Leakage Attack Against Tee-Based Encrypted Databases
inferred← citeshttps://doi.org/10.1109/spw.2016.34openalex-snapshot
PRI: Privacy Preserving Inspection of Encrypted Network Traffic
inferred← citeshttps://doi.org/10.1109/srds55811.2022.00030openalex-snapshot
SigGuard: Hardening Vulnerable Signal Handling in Commodity Operating Systems
inferred← citeshttps://doi.org/10.1109/srdsw.2016.17openalex-snapshot
ARM TrustZone for Secure Image Processing on the Cloud
inferred← citeshttps://doi.org/10.1109/tc.2017.2647955openalex-snapshot
Hardware-Based Trusted Computing Architectures for Isolation and Attestation
showing the first 200 of 459 · page through all 459
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.