Tamarin Prover

Search everything

Mentions · 7d0
Mentions · 30d0
All mentions1
First seenOct 5, 2026
Last mentionedOct 5, 2026

Timeline

1 articles · newest first

PRA-TLS: Attestation of a Client Application for TEE

PRA-TLS attests client applications that call TEE enclaves, prototyped on Intel SGX.

arXiv cs.CROct 5, 09:53 UTC · Oct 5, 2026Research1 · 1 read

Appears with

Intelvendor · 1
Intel SGXproduct · 1

Entities are extracted by the model from each article. First seen Oct 5, 2026, last mentioned Oct 5, 2026. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.