A Symbolic Model for Systematically Analyzing TEE-Based Protocols (Q6485814)
From MaRDI portal
scientific article; zbMATH DE number 7635337
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Symbolic Model for Systematically Analyzing TEE-Based Protocols |
scientific article; zbMATH DE number 7635337 |
Statements
A Symbolic Model for Systematically Analyzing TEE-Based Protocols (English)
0 references
21 December 2022
0 references
