Formal Verification of Transparency Systems
slides-interim-2024-keytrans-01-sessa-formal-verification-of-transparency-systems-01
| Meeting Slides | Key Transparency (keytrans) WG | |
|---|---|---|
| Date and time | 2024-10-22 17:00 | |
| Title | Formal Verification of Transparency Systems | |
| State | Active | |
| Other versions | ||
| Last updated | 2024-10-22 |
slides-interim-2024-keytrans-01-sessa-formal-verification-of-transparency-systems-01
Not available as plain text.
Download as PDF.