Aktiviteetteja vuodessa
- 3 tulosta
Hakutulokset
-
Design Across Layers: Achieving More by Joining Hardware, Software, and Cryptography
Gunn, L. (Puhuja)
11 syysk. 2023Aktiviteetti: Kutsuttu akateeminen esitelmä
Tiedosto -
Formally verifying properties of the Blinded Memory architecture using F*
Gunn, L. (Puhuja)
22 elok. 2023Aktiviteetti: Kutsuttu akateeminen esitelmä
-
The Undeniable Truth: How Remote Attestation Circumvents Deniability Guarantees in Secure Messaging Protocols
Gunn, L. (Puhuja), Vieitez Parra, R. (Puhuja) & Asokan, N. (Puhuja)
5 jouluk. 2018Aktiviteetti: Konferenssiesitelmä