Research output per year
Research output 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
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
-
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. SpringerResearch 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, Extended Formal Analysis of the EDHOC Protocol in Tamarin.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File
-
Robust AI Algorithms for Network Traffic Analysis
Bruni, A. (PI)
Nationalt Forsvarsteknologisk Center
01/11/2024 → 31/10/2026
Project: Research
-
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
02/01/2023 → 31/05/2024
Project: Other
-
-
GAMESS: GAMification and Education for Secure Software
Bruni, A. (PI), Kulyk, O. (PI) & Rafnsson, W. (PI)
Danish Agency for Higher Education and Science
01/04/2023 → 31/10/2024
Project: Research
-
Cyberskills Career
Bruni, A. (CoI) & Kronberg Nedergaard, M. (Admin)
01/11/2023 → 31/12/2026
Project: Education
Press/Media
-
Dusørjægeren Albert hackede sig til drømmejob - og vil have beredskabsministeren til at vågne op
25/10/2025
1 Media contribution
Press/Media: Press / Media
-
Debat: Danmark skal have et akademi for cybersikkerhed
30/09/2025
1 Media contribution
Press/Media: Press / Media
-
Nyt EU-direktiv er godt nyt for vores cyberforsvar og for etiske hackere
05/05/2025
1 Media contribution
Press/Media: Press / Media
-
Børnehave-hackeren endte i retten: Nu kræver eksperter klare rammer for ''venlige hackere”
12/11/2024
1 Media contribution
Press/Media: Press / Media
-
ITU-forskere vil højne sikkerheden i Whatsapp
02/12/2022
1 Media contribution
Press/Media: Press / Media