Skip to main navigation Skip to search Skip to main content
No photo of Alessandro Bruni

Alessandro Bruni

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

Research activity per year

Personal profile

Keywords

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

Fingerprint

Dive into the research topics where Alessandro Bruni is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation

    Affeldt, R., Bruni, A., Cohen, C., Saikawa, T. & Roux, P., Sept 2025, Leibniz International Proceedings in Informatics, LIPIcs. Vol. 16. p. 1-20 20 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

    Open Access

  • 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. p. 1-12 12 p.

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

    Open Access

  • Skolemisation for Intuitionistic Linear Logic

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

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

    Open Access

  • Taming Differentiable Logics with Coq Formalisation

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

    Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research

    Open Access

  • Extended Formal Analysis of the EDHOC Protocol in Tamarin

    Bruni, A., Normann, K. & Sundararajan, V., 2023, In: Communications in Computer and Information Science. 1795

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

    File
View all 17 research outputs
View all 12 projects
View all 15 press/media