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 - 8 out of 8Page size: 10
Sort by: Title
  1. 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 Journal › Conference article › Research › peer-review

  2. 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 chapter › Article in proceedings › Research › peer-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. thesis › Report › Research

  4. 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 chapter › Article in proceedings › Research › peer-review

  5. Published

    Representing Session Types

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

    Research output: Other contribution › Research

  6. Published

    Security Protocols as Choreographies

    Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, p. 98 111 p.

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

  7. 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 chapter › Article in proceedings › Research › peer-review

  8. 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 chapter › Article in proceedings › Research › peer-review

ID: 80678259