Computer Science - Security and Privacy (securityprivacy) - Research area

Websitehttps://www.aalto.fi/en/department-of-computer-science/security-and-privacy-0

Postal addressShow on map
Konemiehentie 2, Computer Science building
Finland

2 Non-academic public talk (public outreach)
2 Invited academic talk
1 Participant of a conference, workshop, session, tutorial or event
1 Conference presentation

2 results
- Title
- Start date(ascending)

Filter

Design Across Layers: Achieving More by Joining Hardware, Software, and Cryptography
Gunn, L. (Speaker)
11 Sept 2023
Activity: Talk or presentation types › Invited academic talk

File
Formally verifying properties of the Blinded Memory architecture using F*
Gunn, L. (Speaker)
22 Aug 2023
Activity: Talk or presentation types › Invited academic talk