Luca Compagna

46 papers receiving 2.0k citations

Luca Compagna's Hit Papers

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 2005 · 1.0k citations
1.0k0+7+14Years since publication2505007501000

Peers

Luca Compagna
Comparison fields: 5 of 47
  • Computer Networks and Communications 1.6k
  • Information Systems 1.5k
  • Artificial Intelligence 952
  • Software 99
  • Signal Processing 252
Replace Jorge Cuéllar with:
Jorge Cuéllar Germany
Olga Kouchnarenko France
Catherine Meadows United States
Joshua D. Guttman United States
M. Abadi United States
David von Oheimb Germany
Pierre‐Cyrille Héam France
Mathieu Turuani France
Tuomas Aura Finland
Bill Roscoe United Kingdom
Luca Compagna relative to Jorge Cuéllar Germany Jorge Cuéllar's profile →
Citations per field
00.5×1.5×
Jorge Cuéllar · 1×
Citations per year

Countries citing papers authored by Luca Compagna

Since Specialization
Citations

This map shows the geographic impact of Luca Compagna's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Luca Compagna with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luca Compagna more than expected).

Fields of papers citing papers by Luca Compagna

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luca Compagna. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Luca Compagna. The network helps show where Luca Compagna may publish in the future.

Co-authors

The 25 scholars most cited alongside Luca Compagna, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Luca Compagna Line = papers co-authored together Luca Compagna links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 49 papers — load more, or switch the sort, to bring in the rest.

#Work
1
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Hit paper breakdown →
20051044
2 2008165
3
A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
2004115
4 200497
5 200773
6 200246
7 201244
8 200839
9 200734
10 200934
11 200531
12 201631
13 200330
14 201728
15 200227
16 201422
17 201122
18 201021
19 201521
20 201120

About Luca Compagna

Luca Compagna is a scholar working on Information Systems, Computer Networks and Communications, Artificial Intelligence, Computational Theory and Mathematics and Sociology and Political Science, having authored 49 papers that have together received 2.1k indexed citations. Recurring topics across this work include Advanced Authentication Protocols Security (24 papers), Formal Methods in Verification (15 papers), Security and Verification in Computing (14 papers), User Authentication and Security Systems (14 papers), Access Control and Trust (13 papers), Web Application Security Vulnerabilities (13 papers), Advanced Malware Detection Techniques (10 papers) and Business Process Modeling and Analysis (7 papers). The work is most often cited by research in Computer Networks and Communications (1.6k citations), Information Systems (1.5k citations), Artificial Intelligence (952 citations), Software (99 citations) and Signal Processing (252 citations). Luca Compagna has collaborated with scholars based in Italy, France and Germany. Frequent co-authors include Alessandro Armando, Jorge Cuéllar, Roberto Carbone, Yannick Chevalier, Laurent Vigneron, Paul Drielsma, Jacopo Mantovani, David Basin, Sebastian Mödersheim and Luca Viganò. Their work appears in journals such as Lecture notes in computer science, Artificial Intelligence and Law, International Journal of Information Security, Journal of Applied Non-Classical Logics and International Journal on Software Tools for Technology Transfer.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact