Open AccessSecure System Composition and Type Checking using Cryptographic Proofs [Slides]
Author(s) -
Daniel Barrack
Publication year - 2021
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - English
Resource type - Reports
DOI - 10.2172/1808809
Subject(s) - mathematical proof , cryptography , composition (language) , computer science , cryptographic protocol , cryptographic primitive , type (biology) , theoretical computer science , programming language , mathematics , computer security , geology , philosophy , geometry , paleontology , linguistics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom