Security and Verification in Computing
Security and Verification in Computing is a research topic within Artificial Intelligence. Science Explorer counts 20k research works in it since 1958. 27.2% of them reached the world's top 10% most cited for their field and year.
This cluster of papers focuses on language-based information flow security, addressing topics such as enforceable security policies, control-flow integrity, side-channel attacks, dynamic taint analysis, and trusted execution environments. It also explores techniques for memory protection, virtualization, software diversity, and hardware security.
- Security Policies
- Side-Channel Attacks
- Control-Flow Integrity
- Memory Protection
- Virtualization
- Cache Attacks
- Dynamic Taint Analysis
- Trusted Execution Environment
- Software Diversity
- Hardware Security
- Research works
- 20k fractional, since 1958
- In the world top 10%
- 5.5k per year above
- Top-10% rate
- 27.2% share of its works in the world top 10%
- Growth, 2013–17 → 2018–22
- +6% the tick is no change
Which countries lead Security and Verification in Computing research?
By volume, the United States and China publish the most (898 and 754 works in 2022–2025).
By volume, 2022–2025
- 1 United States 898 works
- 2 China 754 works
- 3 India 331 works
- 4 Germany 253 works
- 5 France 160 works
- 6 United Kingdom 150 works
- 7 Italy 116 works
- 8 South Korea 97 works
- 9 Japan 95 works
- 10 Canada 83 works
How concentrated that is
The same countries as shares of everything the list above accounts for. A node where two countries do two thirds of the work and one spread evenly across twelve read alike as a ranking and not at all alike here.
Shares of the rows listed above, not of the whole node.
Which institutions lead Security and Verification in Computing research?
By volume in 2022–2025, University of Florida publishes the most Security and Verification in Computing research, followed by National University of Defense Technology and Helmholtz Center for Information Security.
By volume, 2022–2025
- 1 University of Florida United States 40 works
- 2 National University of Defense Technology China 24 works
- 3 Helmholtz Center for Information Security Germany 24 works
- 4 Tsinghua University China 24 works
- 5 Shanghai Jiao Tong University China 23 works
- 6 ETH Zurich Switzerland 23 works
- 7 Institute of Information Engineering China 23 works
- 8 Chinese Academy of Sciences China 23 works
- 9 Zhejiang University China 22 works
- 10 University of Chinese Academy of Sciences China 22 works
Who are the leading researchers in Security and Verification in Computing?
The most-cited researchers publishing on Security and Verification in Computing include Dan Boneh, M. Frans Kaashoek and Kim‐Kwang Raymond Choo.
- 1 Dan Boneh 7.5k citations
- 2 M. Frans Kaashoek 4k citations
- 3 Kim‐Kwang Raymond Choo 3.8k citations
- 4 Dawn Song 3.8k citations
- 5 Vern Paxson 3.5k citations
- 6 Yang Liu 3.4k citations
Ranked by citations received across their whole record, among researchers with at least three works on this topic.
Where is Security and Verification in Computing research done?
The largest centres of Security and Verification in Computing research in 2022–2025 are Beijing (China), Shanghai (China), Nanjing (China) and Singapore (Singapore). Among places with at least 20 works in it, it is an unusually large share of all research in Saarbrücken, Darmstadt and Gainesville.
Largest cities, 2022–2025
Where it is the local speciality
- SaarbrückenDE · 33.1 works26×
- DarmstadtDE · 20.9 works11×
- GainesvilleUS · 40.4 works9.6×
Location quotient: how much more of its research is in Security and Verification in Computing than the world average.
Where is the best place to study Security and Verification in Computing?
Among universities, judged by research, University of Florida, ETH Zurich and Nanyang Technological University score highest, combining excellence, specialisation, size, growth and international reach. Research strength is one signal when choosing where to study; it does not measure teaching.
One dot per university in the table below. The upper left is the interesting corner: small places doing unusually strong work.
| # | University | Score | Top 10% | Specialisation | Works | Growth |
|---|---|---|---|---|---|---|
| 1 | University of Florida United States | 82.4 | 25.7% | 10.5× | 40 | +1896.7% |
| 2 | ETH Zurich Switzerland | 73.2 | 36.8% | 9.0× | 23 | -26.4% |
| 3 | Nanyang Technological University Singapore | 69.9 | 29.3% | 6.7× | 20 | +142.1% |
| 4 | Georgia Institute of Technology United States | 61.9 | 21.6% | 9.0× | 21 | +99.5% |
| 5 | Carnegie Mellon University United States | 59.9 | 27.3% | 10.0× | 15 | -7.2% |
| 6 | Graz University of Technology Austria | 58.9 | 20.3% | 20.5× | 15 | +45.0% |
| 7 | University of Central Florida United States | 50.4 | 23.1% | 6.5× | 9 | +187.4% |
| 8 | Northeastern University United States | 49.9 | 23.9% | 8.2× | 10 | +45.2% |
| 9 | KTH Royal Institute of Technology Sweden | 49.6 | 17.6% | 8.2× | 11 | +41.9% |
| 10 | Ruhr University Bochum Germany | 48.5 | 26.7% | 7.6× | 11 | -6.5% |
Universities only. Score blends excellence (30%), specialisation (25%), size (20%), growth (15%) and international reach (10%), 2015–2022; growth compares 2010–14 with 2015–19.
Is Security and Verification in Computing research growing?
Output in 2018–2022 was 6% higher than in 2013–2017, peaking in 2025. The fastest-growing topics are Security and Verification in Computing.
The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.
Which topics inside it are moving
Growth and decline on one axis around a shared zero. Two lists side by side hide the thing that matters: whether the growth dwarfs the decline, or the other way round.