Cover Image

The Artifact of TEE Formal Specification and Analysis

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Yu, Geunyeol
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

COoL-TEE: Client-TEE Collaboration for Resilient Distributed Search
by: Bettinger, Matthieu, et al.
Published: (2025)

TensorTEE: Unifying Heterogeneous TEE Granularity for Efficient Secure Collaborative Tensor Computing
by: Han, Husheng, et al.
Published: (2024)

BlindexTEE: A Blind Index Approach towards TEE-supported End-to-end Encrypted DBMS
by: Vialar, Louis, et al.
Published: (2024)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

VaulTor: Putting the TEE in Tor
by: Ikram, Humza, et al.
Published: (2024)

An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
by: Bettinger, Matthieu, et al.
Published: (2025)

FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
by: Shih, Yu-An, et al.
Published: (2025)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)

RaceTEE: Enabling Interoperability of Confidential Smart Contracts
by: Zhang, Keyu, et al.
Published: (2025)

GuaranTEE: Towards Attestable and Private ML with CCA
by: Siby, Sandra, et al.
Published: (2024)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
by: Sarkar, Abhiroop, et al.
Published: (2024)

TEE-based Key-Value Stores: a Survey
by: Messaoud, Aghiles Ait, et al.
Published: (2025)

Aster: Fixing the Android TEE Ecosystem with Arm CCA
by: Kuhne, Mark, et al.
Published: (2024)

Speculate: Generating REST API Specifications Using LLMs — Artifact
by: Singh, Krishanu
Published: (2026)

CCxTrust: Confidential Computing Platform Based on TEE and TPM Collaborative Trust
by: Shang, Ketong, et al.
Published: (2024)

Validating the Formal Specification of the THUNDERS Process
by: Vanessa Agredo-Delgado
Published: (2023)

Trusted-Execution Environment (TEE) for Solving the Replication Crisis in Academia
by: Li, Jiasun, et al.
Published: (2026)

Vulnerabilities in Partial TEE-Shielded LLM Inference with Precomputed Noise
by: Saini, Abhishek, et al.
Published: (2026)

AgenTEE: Confidential LLM Agent Execution on Edge Devices
by: Abdollahi, Sina, et al.
Published: (2026)

TriHaRd: Higher Resilience for TEE Trusted Time
by: Bettinger, Matthieu, et al.
Published: (2025)

THERMOELASTIC ANALYSIS OF SANDWICH CONSTRUCTION TEE-JOINTS LOADED IN COMPRESSION
by: J M Dulieu-Barton, et al.
Published: (1999)

TEE | CtCXTTEXCV20250410C6C1
by: Thomas
Published: (2025)

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
by: Caulfield, Adam, et al.
Published: (2024)

TEE-BFT: Pricing the Security of Data Center Execution Assurance
by: Shamis, Alex, et al.
Published: (2025)

Characterizing Trust Boundary Vulnerabilities in TEE Containers: An Empirical Study
by: Liu, Weijie, et al.
Published: (2025)

Amulet: Fast TEE-Shielded Inference for On-Device Model Protection
by: Mao, Zikai, et al.
Published: (2025)

TeeRollup: Efficient Rollup Design Using Heterogeneous TEE
by: Wen, Xiaoqing, et al.
Published: (2024)

Temporal Score Analysis for Understanding and Correcting Diffusion Artifacts
by: Cao, Yu, et al.
Published: (2025)

Artifact for TOSEM paper: Exploring Development Methods for Reactive Synthesis Specifications
by: Ma'ayan, Dor, et al.
Published: (2025)

From Specificity to Generality: Revisiting Generalizable Artifacts in Detecting Face Deepfakes
by: Ma, Long, et al.
Published: (2025)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

WEX: Formal Specifications for Windows in Stream Processing
by: Hitarth, S, et al.
Published: (2022)

On The Expressivity of Objective-Specification Formalisms in Reinforcement Learning
by: Subramani, Rohan, et al.
Published: (2023)

Interactive Formal Specification for Mathematical Problems of Engineers
by: Neuper, Walther
Published: (2024)

Styx: Collaborative and Private Data Processing With TEE-Enforced Sticky Policy
by: Zhao, Shixuan, et al.
Published: (2026)

Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing
by: Rowstron, Antony
Published: (2026)

TEE is not a Healer: Rollback-Resistant Reliable Storage (Extended Version)
by: Keshavarzi, Sadegh, et al.
Published: (2025)

Verification of Lightning Network Channel Balances with Trusted Execution Environments (TEE)
by: Singh, Vikash, et al.
Published: (2025)

Characterization of GPU TEE Overheads in Distributed Data Parallel ML Training
by: Lee, Jonghyun, et al.
Published: (2025)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
by: Godbole, Adwait, et al.
Published: (2025)