ITU
Alessandro Bruni

Alessandro Bruni

Associate Professor

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

Building: 4C03

Phone: +45 72185163

Information Desk: 72185000

View graph of relations

  1. 2020
  2. Published

    Privacy-Preserving Dispute Resolution in the Improved Bingo Voting

    Giustolisi, R. & Bruni, A., 25 Sep 2020, E-Vote-ID: International Joint Conference on Electronic Voting. Springer, p. 67-83 16 p. (Lecture Notes in Computer Science, Vol. 12455).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices

    Bruni, A., Normann, K. & Sundararajan, V., 22 Jul 2020, 20 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  4. 2017
  5. Published

    Automated Analysis of Accountability

    Bruni, A., Giustolisi, R. & Schürmann, C., 2017, Information Security - 20th International Conference, {ISC} 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. Springer, p. 417-434 (Lecture Notes in Computer Science, Vol. 10599).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. Published

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

    Bruni, A., Drewsen, E. & Schürmann, C., 2017, Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Springer, p. 110-126 (Lecture Notes in Computer Science, Vol. 10615).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  7. 2016
  8. Published

    Smart-Guard: Defending User Input from Malware

    Denzel, M., Bruni, A. & Ryan, M., 8 Aug 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). IEEE, p. 502-509 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  9. Published

    AIF-ω: Set-Based Protocol Abstraction with Countable Families

    Mödersheim, S. A. & Bruni, A., 2 Apr 2016, In: Lecture Notes in Computer Science. 9635, p. 233-253 20 p., 12.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  10. Published

    Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 p.

    Research output: Other contributionResearch

ID: 80678259