ITU
Alessandro Bruni

Alessandro Bruni

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C16

Phone: +45 7218 5163

Information Desk: 72185000

View graph of relations

Research outputs (5)

  1. Published

    Automated Analysis of Accountability

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

  2. Published

    Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

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

  3. Published

    Smart-Guard: Defending User Input from Malware

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

View all (5) »

Recent activities and conferences

ID: 80678259