Intet billede af Alessandro Bruni

Alessandro Bruni

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

Publikationer pr. år

Personlig profil

Emneord

  • Security
  • Protocols
  • Protocol analysis
  • Formal verification
  • Ethical hacking
  • Electronic voting
  • IoT

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Alessandro Bruni er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere

  • Skolemisation for Intuitionistic Linear Logic

    Bruni, A., Ritter, E. & Schürmann, C., 2024, International Joint Conference on Automated Reasoning. Springer Nature

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

    Åben adgang

  • 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

  • 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

  • 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
Se alle 15 publikationer
Se alle 12 presse/medier
Se alle 9 projekter