Publications

  • HOME
  • Publications
  • By Topic

  • Hardware

    Research results related to TEE primitives, including memory protection, authenticated memory encryption, and secure I/O channels.

  • System Software

    Research results related to software-defined TEEs, QEMU extensions, compatibility with existing TEEs, and protected-domain architectures.

  • Theory

    Research results related to formal verification, specification interfaces, and the formalization of security properties.

  • Attestation

    Research results related to Remote Attestation, RATS, and authenticity verification of TEE applications.

  • Middleware

    Research results related to Portable Confidential Computing Environment, WebAssembly execution environments, APIs for TEEs, and cryptographic performance evaluation.

  • Proof of Concept

    Research results on application demonstrations that integrate project outcomes, such as Mobile Trunk.