Mathieu Turuani

33 papers receiving 1.9k citations

Mathieu Turuani'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

Mathieu Turuani
Comparison fields: 5 of 36
  • Computer Networks and Communications 1.7k
  • Information Systems 1.4k
  • Artificial Intelligence 1.1k
  • Signal Processing 150
  • Media Technology 106
Replace Yannick Chevalier with:
Yannick Chevalier France
Laurent Vigneron France
M. Rusinowitch France
Pierre‐Cyrille Héam France
Yohan Boichut France
David von Oheimb Germany
Olga Kouchnarenko France
R. Needham United Kingdom
Jacopo Mantovani Italy
Ralf Sasse Switzerland
Mathieu Turuani relative to Yannick Chevalier France Yannick Chevalier's profile →
Citations per field
00.5×1.5×
Yannick Chevalier · 1×
Citations per year

Countries citing papers authored by Mathieu Turuani

Since Specialization
Citations

This map shows the geographic impact of Mathieu Turuani'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 Mathieu Turuani with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mathieu Turuani more than expected).

Fields of papers citing papers by Mathieu Turuani

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Mathieu Turuani. 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 Mathieu Turuani. The network helps show where Mathieu Turuani may publish in the future.

Co-authors

The 25 scholars most cited alongside Mathieu Turuani, 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 Mathieu Turuani Line = papers co-authored together Mathieu Turuani links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 34 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 2006197
3 2005122
4 2003113
5 2003111
6 200388
7 200569
8 200246
9 200530
10 200621
11 200514
12 200312
13 200311
14 201610
15 20089
16 20099
17 20098
18 20057
19 20225
20
Constraints-based Verification of Parameterized Cryptographic Protocols.
20084

About Mathieu Turuani

Mathieu Turuani is a scholar working on Computer Networks and Communications, Information Systems, Artificial Intelligence, Computational Theory and Mathematics and Sociology and Political Science, having authored 34 papers that have together received 2.0k indexed citations. Recurring topics across this work include Advanced Authentication Protocols Security (28 papers), User Authentication and Security Systems (25 papers), Cryptography and Data Security (21 papers), Formal Methods in Verification (7 papers), Cryptographic Implementations and Security (3 papers), Logic, programming, and type systems (3 papers), Access Control and Trust (2 papers) and Model-Driven Software Engineering Techniques (2 papers). The work is most often cited by research in Computer Networks and Communications (1.7k citations), Information Systems (1.4k citations), Artificial Intelligence (1.1k citations), Signal Processing (150 citations) and Media Technology (106 citations). Mathieu Turuani has collaborated with scholars based in France, United States and Germany. Frequent co-authors include M. Rusinowitch, Yannick Chevalier, Michaël Rusinowitch, Laurent Vigneron, Sebastian Mödersheim, Luca Viganò, Ralf Küsters, David Basin, Alessandro Armando and Luca Compagna. Their work appears in journals such as Theoretical Computer Science, Lecture notes in computer science, ACM Transactions on Computational Logic, Journal of Symbolic Computation and Electronic Notes in Theoretical Computer Science.

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