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ä