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
-
Skolemisation for Intuitionistic Linear Logic
Bruni, A., Ritter, E. & Schürmann, C., 2024, International Joint Conference on Automated Reasoning. Springer NatureResearch 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 -
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.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research
Open Access -
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, p. 98 111 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access
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
-
Lyssky gruppe angreb Danmark i brev til FIFA. Her er, hvad vi fandt ud af i jagten på bagmændene
22/11/2022
1 Media contribution
Press/Media: Press / Media
-
Morten Bødskov: Det danske cyberlandshold er en afgørende brik for Danmarks cyberkrigsførelse
07/09/2022
1 Media contribution
Press/Media: Press / Media
-
-
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: Youth Community in Cybersecurity
Bruni, A. (PI), Barkhuus, L. (CoI), Schürmann, C. (CoI) & Balle, M. L. (CoI)
01/08/2020 → 31/12/2023
Project: Research
-
Robust AI Algorithms for Network Traffic Analysis
Bruni, A. (PI)
01/11/2024 → 28/02/2027
Project: Research
-
Cyberskills Career
Bruni, A. (CoI) & Kronberg Nedergaard, M. (Admin)
01/11/2023 → 31/12/2026
Project: Education
-