Intet billede af Alessandro Bruni

Alessandro Bruni

 https://orcid.org/0000-0003-2946-9462
20162024

Publikationer pr. år

Søgeresultater

  • 2024

    Taming Differentiable Logics with Coq Formalisation

    Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 mar. 2024.

    Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning

    Åben adgang
  • 2023

    Extended Formal Analysis of the EDHOC Protocol in Tamarin

    Bruni, A., Normann, K. & Sundararajan, V., 2023, Extended Formal Analysis of the EDHOC Protocol in Tamarin.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil
  • 2021

    Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices

    Normann, K., Sundararajan, V. & Bruni, A., 2021, Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning

    Åben adgang

  • 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, s. 98 111 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation

    Daukantas, I., Bruni, A. & Schürmann, C., 2021, Proceedings of PPDP (Principles of Declarative Programing Languages). Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil
  • 2020

    Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices

    Bruni, A., Normann, K. & Sundararajan, V., 22 jul. 2020, 20 s.

    Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

  • 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, s. 67-83 16 s. (Lecture Notes in Computer Science, Bind 12455).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2019

    Technical and Socio-Technical Attacks on the Danish Party Endorsement System

    Schürmann, C. & Bruni, A., 24 sep. 2019, Electronic Voting. Springer, Bind LLNCS11759. s. 200-215 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 2018

    Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)

    Bruni, A., Jørgensen, T. S., Petersen, T. G. & Schürmann, C., 2018, Security Standardisation Research : 4th International Conference. Cremers, C. & Lehmann, A. (red.). Darmstadt, Germany: Springer, s. 21-36 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • 2017

    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, s. 417-434 (Lecture Notes in Computer Science, Bind 10599).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • 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, s. 110-126 (Lecture Notes in Computer Science, Bind 10615).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2016

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

    Mödersheim, S. A. & Bruni, A., 2 apr. 2016, I: Lecture Notes in Computer Science. 9635, s. 233-253 20 s., 12.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

    Fil

  • Representing Session Types

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

    Publikation: Andet › Andet bidrag › Forskning

    Åben adgang
    Fil

  • 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, s. 502-509 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review