Alessandro Bruni
Associate Professor
- Programming Logic and Semantics
Research Group
- Computer Science
Department
- Center for Information Security and Trust
Research center
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C03
Information Desk: 72185000
Research outputs (8)
- Published
Security Protocols as Choreographies
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Privacy-Preserving Dispute Resolution in the Improved Bingo Voting
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
Press (8)
Det er svært at sælge sikkerhed på bagkant
Press/Media: Press / Media
Elpæren er nu stærkere end rumcomputeren
Press/Media: Press / Media
Skal du med på cyberlandsholdet?
Press/Media: Press / Media
ID: 80678259