Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
Autor: | Daniel Barrack |
---|---|
Rok vydání: | 2021 |
Předmět: | |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Daniel Barrack |
---|---|
Rok vydání: | 2021 |
Předmět: | |
Databáze: | OpenAIRE |
Externí odkaz: |