On the public citation graph
Building Verifiable Trusted Path on Commodity x86 Computers
0 signed · 149 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-68979-9_6openalex-snapshot
The Zurich Trusted Information Channel – An Efficient Defence Against Man-in-the-Middle and Malicious Software Attacks
inferredcites →https://doi.org/10.1007/978-3-642-23822-2_13openalex-snapshot
DriverGuard: A Fine-Grained Protection on I/O Flows
inferredcites →https://doi.org/10.1007/978-3-642-28641-4_4openalex-snapshot
Parametric Verification of Address Space Separation
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/s11390-005-0654-4openalex-snapshot
User-Level Device Drivers: Achieved Performance
inferredcites →https://doi.org/10.1109/csac.2005.7openalex-snapshot
A Nitpicker’s guide to a minimal-complexity secure GUI
inferredcites →https://doi.org/10.1109/dsn.2011.5958202openalex-snapshot
Uni-directional trusted path: Transaction confirmation on just one device
inferredcites →https://doi.org/10.1109/malware.2010.5665798openalex-snapshot
Exploiting an I/OMMU vulnerability
inferredcites →https://doi.org/10.1109/secpri.2004.1301329openalex-snapshot
SWATT: software-based attestation for embedded devices
inferredcites →https://doi.org/10.1109/sp.2010.17openalex-snapshot
TrustVisor: Efficient TCB Reduction and Attestation
inferredcites →https://doi.org/10.1109/sp.2010.29openalex-snapshot
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
inferredcites →https://doi.org/10.1109/tse.1987.232893openalex-snapshot
Design and Implementation of Secure Xenix
inferredcites →https://doi.org/10.1145/1165389.945462openalex-snapshot
Xen and the art of virtualization
inferredcites →https://doi.org/10.1145/1165389.945466openalex-snapshot
Improving the reliability of commodity operating systems
inferredcites →https://doi.org/10.1145/1346281.1346303openalex-snapshot
The design and implementation of microdrivers
inferredcites →https://doi.org/10.1145/1592761.1592773openalex-snapshot
Privacy and securityUsable security
inferredcites →https://doi.org/10.1145/1595676.1595695openalex-snapshot
Choose the red pill and the blue pill
inferredcites →https://doi.org/10.1145/1734583.1734592openalex-snapshot
Toward trustworthy mobile sensing
inferredcites →https://doi.org/10.1145/1734583.1734593openalex-snapshot
I am a sensor, and I approve this message
inferredcites →https://doi.org/10.1145/2103799.2103813openalex-snapshot
Hardware-supported virtualization on ARM
inferredcites →https://doi.org/10.1145/945445.945462openalex-snapshot
Xen and the art of virtualization
inferredcites →https://doi.org/10.1145/945445.945466openalex-snapshot
Improving the reliability of commodity operating systems
inferredcites →https://doi.org/10.1145/945461.945462openalex-snapshot
Xen and the art of virtualization
inferredcites →https://doi.org/10.1147/sj.151.0102openalex-snapshot
Penetrating an operating system: a study of VM/370 integrity
inferredcites →https://doi.org/10.3233/jcs-1993-22-306openalex-snapshot
A High Assurance Window System Prototype1
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-12612-4_13openalex-snapshot
Post-quantum EPID Signatures from Symmetric Primitives
inferred← citeshttps://doi.org/10.1007/978-3-030-25049-2_4openalex-snapshot
Micro-Hypervisor Applications
inferred← citeshttps://doi.org/10.1007/978-3-031-64954-7_10openalex-snapshot
Securing Web Inputs Using Parallel Session Attachments
inferred← citeshttps://doi.org/10.1007/978-3-032-07891-9_25openalex-snapshot
SafePath: Encryption-Less On-Demand Input Path Protection for Mobile Devices
inferred← citeshttps://doi.org/10.1007/978-3-319-11379-1_8openalex-snapshot
You Can’t Be Me: Enabling Trusted Paths and User Sub-origins in Web Browsers
inferred← citeshttps://doi.org/10.1007/978-3-319-12400-1_11openalex-snapshot
Dancing with the Adversary: A Tale of Wimps and Giants
inferred← citeshttps://doi.org/10.1007/978-3-319-22846-4_18openalex-snapshot
Efficient Provisioning of a Trustworthy Environment for Security-Sensitive Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-28865-9_15openalex-snapshot
Practicality of Using Side-Channel Analysis for Software Integrity Checking of Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-47238-6_14openalex-snapshot
Secure Virtual Machine for Real Time Forensic Tools on Commodity Workstations
inferred← citeshttps://doi.org/10.1007/978-3-319-58469-0_4openalex-snapshot
A Malware-Tolerant, Self-Healing Industrial Control System Framework
inferred← citeshttps://doi.org/10.1007/978-3-319-59608-2_2openalex-snapshot
H-Binder: A Hardened Binder Framework on Android Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-59608-2_30openalex-snapshot
TZ-SSAP: Security-Sensitive Application Protection on Hardware-Assisted Isolated Environment
inferred← citeshttps://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?
inferred← citeshttps://doi.org/10.1007/978-3-642-38908-5_1openalex-snapshot
KISS: “Key It Simple and Secure” Corporate Key Management
inferred← citeshttps://doi.org/10.1007/978-3-642-38908-5_2openalex-snapshot
Guardian: Hypervisor as Security Foothold for Personal Computers
inferred← citeshttps://doi.org/10.1016/j.comcom.2018.07.004openalex-snapshot
Initializing trust in smart devices via presence attestation
inferred← citeshttps://doi.org/10.1016/j.cose.2015.03.008openalex-snapshot
Dytaint: The implementation of a novel lightweight 3-state dynamic taint analysis framework for x86 binary programs
inferred← citeshttps://doi.org/10.1016/j.cose.2017.09.006openalex-snapshot
TinyVisor: An extensible secure framework on android platforms
inferred← citeshttps://doi.org/10.1016/j.cose.2019.01.012openalex-snapshot
Securing a communication channel for the trusted execution environment
inferred← citeshttps://doi.org/10.1016/j.jss.2016.09.026openalex-snapshot
A tiny hypervisor-based trusted geolocation framework with minimized TPM operations
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.2025.3525807openalex-snapshot
TM-Chain: TCB Measurement Management Using Cloud Blockchain for IoT Devices
inferred← citeshttps://doi.org/10.1109/cloud.2016.0014openalex-snapshot
TAaaS: Trustworthy Authentication as a Service Based on Trusted Path
inferred← citeshttps://doi.org/10.1109/cloudcom-asia.2013.105openalex-snapshot
Towards Thwarting Unauthorized Network Accesses with a Feather-Weight Hypervisor
inferred← citeshttps://doi.org/10.1109/csf.2015.21openalex-snapshot
A Complete Characterization of Secure Human-Server Communication
inferred← citeshttps://doi.org/10.1109/dsn.2017.12openalex-snapshot
IM-Visor: A Pre-IME Guard to Prevent IME Apps from Stealing Sensitive Keystrokes Using TrustZone
inferred← citeshttps://doi.org/10.1109/dsn58367.2023.00048openalex-snapshot
vWitness: Certifying Web Page Interactions with Computer Vision
inferred← citeshttps://doi.org/10.1109/edcc.2015.9openalex-snapshot
Dynamic VM Dependability Monitoring Using Hypervisor Probes
inferred← citeshttps://doi.org/10.1109/eurosp.2017.25openalex-snapshot
On the Effectiveness of Virtualization Based Memory Isolation on Multicore Platforms
inferred← citeshttps://doi.org/10.1109/iceccs.2014.13openalex-snapshot
DroidVault: A Trusted Data Vault for Android Devices
inferred← citeshttps://doi.org/10.1109/iconac.2014.6935504openalex-snapshot
Enhanced micro-TCB approach for smartphone security
inferred← citeshttps://doi.org/10.1109/micro.2014.25openalex-snapshot
Iso-X: A Flexible Architecture for Hardware-Managed Isolated Execution
inferred← citeshttps://doi.org/10.1109/micro56248.2022.00019openalex-snapshot
CRONUS: Fault-isolated, Secure and High-performance Heterogeneous Computing for Trusted Execution Environment
inferred← citeshttps://doi.org/10.1109/milcom.2012.6415698openalex-snapshot
MUSHI: Toward Multiple Level Security cloud with strong Hardware level Isolation
inferred← citeshttps://doi.org/10.1109/mobilecloud.2015.17openalex-snapshot
TGVisor: A Tiny Hypervisor-Based Trusted Geolocation Framework for Mobile Cloud Clients
inferred← citeshttps://doi.org/10.1109/mprv.2014.72openalex-snapshot
Securing Smartphones: A µTCB Approach
inferred← citeshttps://doi.org/10.1109/msp.2015.26openalex-snapshot
Dancing with Giants: Wimpy Kernels for On-Demand I/O Isolation
inferred← citeshttps://doi.org/10.1109/percomw.2017.7917640openalex-snapshot
TM-Coin: Trustworthy management of TCB measurements in IoT
inferred← citeshttps://doi.org/10.1109/reconfig.2017.8279826openalex-snapshot
Trusted display and input using screen overlays
inferred← citeshttps://doi.org/10.1109/siot48044.2019.9637105openalex-snapshot
TIO - Secure Input/Output for Intel SGX Enclaves
inferred← citeshttps://doi.org/10.1109/sp.2013.36openalex-snapshot
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
inferred← citeshttps://doi.org/10.1109/sp.2014.27openalex-snapshot
Dancing with Giants: Wimpy Kernels for On-Demand Isolated I/O
inferred← citeshttps://doi.org/10.1109/sp.2019.00036openalex-snapshot
Fidelius: Protecting User Secrets from Compromised Browsers
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00101openalex-snapshot
An I/O Separation Model for Formal Verification of Kernel Implementations
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.9833745openalex-snapshot
HARDLOG: Practical Tamper-Proof System Auditing Using a Novel Audit Device
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00013openalex-snapshot
Fine-Grained Kernel Auditing Using Augmented Syscall Reference Behavior Analysis and Virtualized Selective Tracing
inferred← citeshttps://doi.org/10.1109/spw.2019.00029openalex-snapshot
SwitchMan: An Easy-to-Use Approach to Secure User Input and Output
inferred← citeshttps://doi.org/10.1109/tcc.2019.2892449openalex-snapshot
Architectural Protection of Trusted System Services for SGX Enclaves in Cloud Computing
inferred← citeshttps://doi.org/10.1109/tifs.2017.2695983openalex-snapshot
Securing ARP/NDP From the Ground Up
inferred← citeshttps://doi.org/10.1109/tifs.2019.2945621openalex-snapshot
Establishing Trusted I/O Paths for SGX Client Systems With Aurora
inferred← citeshttps://doi.org/10.1109/tmc.2020.3025119openalex-snapshot
SchrodinText: Strong Protection of Sensitive Textual Content of Mobile Applications
inferred← citeshttps://doi.org/10.1109/tmc.2021.3086143openalex-snapshot
Ambassy: A Runtime Framework to Delegate Trusted Applications in an ARM/FPGA Hybrid System
inferred← citeshttps://doi.org/10.1109/trustcom60117.2023.00106openalex-snapshot
TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses
inferred← citeshttps://doi.org/10.1109/uic-atc-scalcom-cbdcom-iop-smartworld.2016.0089openalex-snapshot
Smart-Guard: Defending User Input from Malware
inferred← citeshttps://doi.org/10.1145/2382196.2382198openalex-snapshot
On the foundations of trust in networks of humans and computers
inferred← citeshttps://doi.org/10.1145/2382536.2382544openalex-snapshot
Using trustworthy host-based information in the network
inferred← citeshttps://doi.org/10.1145/2508859.2516743openalex-snapshot
Protecting sensitive web content from client-side vulnerabilities with CRYPTONS
inferred← citeshttps://doi.org/10.1145/2590296.2590299openalex-snapshot
On the feasibility of software attacks on commodity virtual machine monitors via direct device assignment
inferred← citeshttps://doi.org/10.1145/2637166.2637225openalex-snapshot
Building trusted path on untrusted device drivers for mobile devices
inferred← citeshttps://doi.org/10.1145/2699026.2699123openalex-snapshot
Securing ARP From the Ground Up
inferred← citeshttps://doi.org/10.1145/2714576.2714618openalex-snapshot
Efficient Virtualization-Based Application Protection Against Untrusted Operating System
inferred← citeshttps://doi.org/10.1145/2810103.2813719openalex-snapshot
Trusted Display on Untrusted Commodity Platforms
inferred← citeshttps://doi.org/10.1145/2872362.2872379openalex-snapshot
True IOMMU Protection from DMA Attacks
inferred← citeshttps://doi.org/10.1145/2954679.2872379openalex-snapshot
True IOMMU Protection from DMA Attacks
inferred← citeshttps://doi.org/10.1145/2954680.2872379openalex-snapshot
True IOMMU Protection from DMA Attacks
inferred← citeshttps://doi.org/10.1145/2980024.2872379openalex-snapshot
True IOMMU Protection from DMA Attacks
inferred← citeshttps://doi.org/10.1145/3011883.3011892openalex-snapshot
Trusted execution environment-based authentication gauge (TEEBAG)
inferred← citeshttps://doi.org/10.1145/3098954.3098971openalex-snapshot
Establishing Mutually Trusted Channels for Remote Sensing Devices with Trusted Execution Environments
inferred← citeshttps://doi.org/10.1145/3152701.3152713openalex-snapshot
Architectures for Enhancing Authentication Privacy and Security using Trusted Computing
inferred← citeshttps://doi.org/10.1145/3297858.3304021openalex-snapshot
Heterogeneous Isolated Execution for Commodity GPUs
inferred← citeshttps://doi.org/10.1145/3545948.3545961openalex-snapshot
TrustedGateway: TEE-Assisted Routing and Firewall Enforcement Using ARM TrustZone
inferred← citeshttps://doi.org/10.1145/3592607openalex-snapshot
End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs
inferred← citeshttps://doi.org/10.1145/3620678.3624659openalex-snapshot
Building GPU TEEs using CPU Secure Enclaves with GEVisor
inferred← citeshttps://doi.org/10.1145/3708821.3736205openalex-snapshot
PRISM: To Fortify Widget Based User-App Data Exchanges Using Android Virtualization Framework
inferred← citeshttps://doi.org/10.1184/r1/6720932openalex-snapshot
On-demand Isolated I/O for Security-sensitive Applications on Commodity Platforms
inferred← citeshttps://doi.org/10.1186/s42400-018-0007-6openalex-snapshot
Using IM-Visor to stop untrusted IME apps from stealing sensitive keystrokes
inferred← citeshttps://doi.org/10.14722/ndss.2020.24112openalex-snapshot
ProtectIOn: Root-of-Trust for IO in Compromised Platforms
inferred← citeshttps://doi.org/10.14722/ndss.2022.24053openalex-snapshot
D-Box: DMA-enabled Compartmentalization for Embedded Applications
inferred← citeshttps://doi.org/10.17760/d20467199openalex-snapshot
Holistic methods for protecting and testing embedded devices
inferred← citeshttps://doi.org/10.21015/vtse.v10i4.1197openalex-snapshot
Efficient Application Protection against Untrusted Operating Systems
inferred← citeshttps://doi.org/10.4018/978-1-5225-2845-6.ch010openalex-snapshot
Cyber-Physical System and Internet of Things Security
inferred← citeshttps://doi.org/10.4018/978-1-7998-5348-0.ch018openalex-snapshot
Cyber-Physical System and Internet of Things Security
inferred← citeshttps://doi.org/10.48550/arxiv.1401.7444openalex-snapshot
Securing Smartphones: A Micro-TCB Approach
inferred← citeshttps://doi.org/10.48550/arxiv.1808.05579openalex-snapshot
Regulating Access to System Sensors in Cooperating Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1809.09038openalex-snapshot
SPX: Preserving End-to-End Security for Edge Computing
inferred← citeshttps://doi.org/10.48550/arxiv.2001.08840openalex-snapshot
SeCloak: ARM Trustzone-based Mobile Peripheral Control
inferred← citeshttps://doi.org/10.5555/2387880.2387912openalex-snapshot
Pasture: secure offline data access using commodity trusted hardware
inferred← citeshttps://doi.org/10.70675/1d79f521zac2fz4c89zae36z5157e79eec3fopenalex-snapshot
Approaches for analyzing security properties of smart objects
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.