Research outputs (46)

1. Published

   Choreographies, logically

   Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

2. Published

   How Could Snowden Attack an Election?

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

3. Published

   Party Endorsement Systems and Internet Voting.

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

View all (46) »

Press (91)

1. ITU starter særligt center for cybersikkerhed

   Press/Media: Press / Media

2. ITU-professor: »Der kan aldrig udvikles en digital prøvevagt, der ikke kan omgås«

   Press/Media: Press / Media

3. IT-Universitetet får nationalt center for it-sikkerhed

   Press/Media: Press / Media

View all (91) »

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