Open AccessSecure System Composition and Type Checking using Cryptographic Proofs [Slides]
Author(s) -
Daniel Barrack
Publication year - 2022
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - English
Resource type - Reports
DOI - 10.2172/1876757
Subject(s) - mathematical proof , cryptography , computer science , cryptographic primitive , composition (language) , cryptographic protocol , type (biology) , theoretical computer science , programming language , computer security , mathematics , biology , art , ecology , literature , geometry
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