Aktiviteetit

Aktiviteetteja vuodessa 2018 2018 2023 2023

• 2 Kutsuttu akateeminen esitelmä
• 1 Konferenssiesitelmä

Aktiviteetteja vuodessa

Hakutulokset

• Design Across Layers: Achieving More by Joining Hardware, Software, and Cryptography

  Gunn, L. (Puhuja)

  11 syysk. 2023

  Aktiviteetti: Kutsuttu akateeminen esitelmä

  Tiedosto

• Formally verifying properties of the Blinded Memory architecture using F*

  Gunn, L. (Puhuja)

  22 elok. 2023

  Aktiviteetti: 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. 2018

  Aktiviteetti: Konferenssiesitelmä