Research outputs (53)

1. Published

   A Declaration of Software Independence

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

2. Published

   How to weaponize RLAs to discredit an election

   Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review

3. Published

   Security Protocols as Choreographies

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

View all (53) »

Press (174)

1. Hybrid Defense by PhD student Shizra Sultan Tuesday 17 May 2022, at 09:00 in Building 322, Room 205

   Press/Media: Press / Media

2. Netcompany opgiver at finde ofre for datalæk

   Press/Media: Press / Media

3. Åbning af Mit.dk var en katastrofe - det taler vi for lidt om

   Press/Media: Press / Media

View all (174) »

Research Activities (2)

1. Verifying Security Protocols in Tamarin

   Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

2. Code Scanning

   Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course