Gilles Barthe
Gilles Barthe publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Security and Verification in Computing, Cryptographic Implementations and Security and Logic, programming, and type systems.
- World rank
- #176,288 of 1,633,909 ranked researchers
- Rank in Spain
- #3,164 of 45,870
- Works
- 100
- Citations
- 482
- Citations per work
- 4.8
What does Gilles Barthe research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence58% of their works
- 2Computational Theory and Mathematics12% of their works
- 3Computer Networks and Communications5% of their works
- 4Signal Processing5% of their works
- 5Hardware and Architecture2% of their works
- 6Atomic and Molecular Physics, and Optics2% of their works
Research topics
Which keywords describe Gilles Barthe's research?
The keywords of their largest research topics: Model Checking, Side-Channel Attacks, Security Analysis, Temporal Logic, Control-Flow Integrity, Security Policies, Block Ciphers and Cryptanalysis.
- Quantum Information
- Detection
- Symbolic Model Checker
- Modal Logic
- Identity-Based Encryption
- Static Analysis
- Cryptanalysis
- Security Policies
- Temporal Logic
- Side-Channel Attacks
- Model Checking
- Security Analysis
- Control-Flow Integrity
- Block Ciphers
- Formal Verification
- Homomorphic Encryption
- Answer Set Programming
- Satisfiability Modulo Theories
- Android Malware
- Quantum Computation
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 20 words, with their numbers
- Model Checking273 topics
- Side-Channel Attacks272 topics
- Security Analysis182 topics
- Temporal Logic162 topics
- Control-Flow Integrity151 topic
- Security Policies151 topic
- Block Ciphers121 topic
- Cryptanalysis121 topic
- Formal Verification111 topic
- Static Analysis111 topic
- Homomorphic Encryption91 topic
- Identity-Based Encryption91 topic
- Answer Set Programming81 topic
- Modal Logic81 topic
- Satisfiability Modulo Theories81 topic
- Symbolic Model Checker81 topic
- Android Malware61 topic
- Detection61 topic
- Quantum Computation31 topic
- Quantum Information31 topic
Where does Gilles Barthe work?
Gilles Barthe's main affiliation in the publication record is IMDEA Software Institute, Spain.
How many publications and citations does Gilles Barthe have?
Science Explorer counts 100 works and 482 citations for Gilles Barthe, ranking #176,288 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.