Intet billede af Alessandro Bruni

Alessandro Bruni

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

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

  • Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation

    Affeldt, R., Bruni, A., Cohen, C., Saikawa, T. & Roux, P., sep. 2025, 16th International Conference on Interactive Theorem Proving (ITP 2025). Bind 16. s. 1-20 20 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

    Åben adgang

  • Quantifiers for Differentiable Logics in Rocq (Extended Abstract)

    Bruni, A., 2025, 8th International Symposium on AI Verification (SAIV 2025), Zagreb, Croatia, July 21--22, 2025. s. 1-12 12 s.

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

    Åben adgang

  • Skolemisation for Intuitionistic Linear Logic

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

    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
Se alle 17 publikationer
Se alle 10 projekter
Se alle 15 presse/medier