Science Explorer Back to mapMap
Discussion
Topic · Artificial Intelligence

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. 9.8% 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%
2k
per year above
Top-10% rate
9.8%
share of its works in the world top 10%
Growth, 2018-21 → 2022-25
+13%
the tick is no change
Largest producer
United States
32% of the 10 largest, 2022-now
Security and Verification in Computing

Which countries lead Security and Verification in Computing research?

By volume, the United States and China publish the most (1.2k and 976 works in 2022-now).

By volume, 2022-now

  1. 1 United States 1.2k works
  2. 2 China 976 works
  3. 3 India 459 works
  4. 4 Germany 303 works
  5. 5 United Kingdom 197 works
  6. 6 France 195 works
  7. 7 Italy 139 works
  8. 8 South Korea 124 works
  9. 9 Japan 114 works
  10. 10 Canada 103 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.

United States: 32.1%China: 25.4%India: 11.9%Germany: 7.9%6 others listed: 22.7%32%largest
United States1,232 · 32.1%China976 · 25.4%India459 · 11.9%Germany303 · 7.9%6 others listed873 · 22.7%

Shares of the rows listed above, not of the whole node.

Which institutions lead Security and Verification in Computing research?

By volume in 2022-now, Chinese Academy of Sciences publishes the most Security and Verification in Computing research, followed by Centre National de la Recherche Scientifique and University of Florida.

By volume, 2022-now

  1. 1 Chinese Academy of SciencesChina 79 works
  2. 2 Centre National de la Recherche ScientifiqueFrance 51 works
  3. 3 University of FloridaUnited States 47 works
  4. 4 Helmholtz Association of German Research CentresGermany 45 works
  5. 5 Film IndependentUnited States 31 works
  6. 6 Shanghai Jiao Tong UniversityChina 30 works
  7. 7 Tsinghua UniversityChina 28 works
  8. 8 National University of Defense TechnologyChina 28 works
  9. 9 Zhejiang UniversityChina 27 works
  10. 10 ETH ZurichSwitzerland 26 works

Who are the leading researchers in Security and Verification in Computing?

The most-cited researchers publishing on Security and Verification in Computing include Xiangyu Zhang, John P. A. Ioannidis and Li Fei-Fei.

  1. 1 Xiangyu Zhang 327k citations
  2. 2 John P. A. Ioannidis United States 317k citations
  3. 3 Li Fei-Fei United States 225k citations
  4. 4 Peter W.F. Wilson United States 161k citations
  5. 5 Huan Liu Australia 148k citations

Ranked by citations received across their whole record, among researchers with at least three works on this topic.

What are the most cited papers in Security and Verification in Computing?

The most cited paper in Security and Verification in Computing is "fastp: an ultra-fast all-in-one FASTQ preprocessor" (Shifu Chen, Yanqing Zhou, Yaru Chen et al., 2018), with 31,650 citations. Next come "Z3: An Efficient SMT Solver" (6,516) and "Xen and the art of virtualization" (5,944).

Most cited papers
#PaperReleasedCitations
1 fastp: an ultra-fast all-in-one FASTQ preprocessor Shifu Chen, Yanqing Zhou, Yaru Chen et al. · Bioinformatics Open access 7 Jul 2018 31,650
2 Z3: An Efficient SMT Solver Leonardo de Moura, Nikolaj Bjørner · Lecture notes in computer science Conference paper 2008 6,516
3 Xen and the art of virtualization Paul Barham, Boris Dragovic, Keir Fraser et al. · ACM SIGOPS Operating Systems Review 19 Oct 2003 5,944
4 Role-based access control models Ravi S. Sandhu, Edward J. Coyne, H.L. Feinstein et al. · Computer 1996 5,893
5 Hyperledger fabric Elli Androulaki et al. Conference paper 18 Apr 2018 3,561
All 98 most cited papers, with filters and sorting

Where is Security and Verification in Computing research done?

The largest centres of Security and Verification in Computing research in 2022-now are Beijing (China), Shanghai (China), Singapore (Singapore) and Nanjing (China). Among places with at least 20 works in it, it is an unusually large share of all research in Saarbrücken, Alexandria and Darmstadt.

Largest cities, 2022-now

  1. 1 BeijingChina 272 works
  2. 2 ShanghaiChina 75 works
  3. 3 SingaporeSingapore 68 works
  4. 4 NanjingChina 66 works
  5. 5 SeoulSouth Korea 63 works
  6. 6 ParisFrance 53 works
  7. 7 HangzhouChina 53 works
  8. 8 TokyoJapan 48 works
  9. 9 GainesvilleUnited States 47 works
  10. 10 WuhanChina 45 works

Where it is the local speciality

  1. SaarbrückenDE · 41.7 works25×
  2. AlexandriaUS · 20.3 works17×
  3. DarmstadtDE · 25.0 works10×
← less than its size predicts1×more →

Location quotient: how much more of its research is in Security and Verification in Computing than the world average.

See Security and Verification in Computing on the map

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.

0%10%20%30%mean 17.96%fractional works in this field (log) →share of work in the world top 10% →ETH ZurichNanyang Technologica…Georgia Institute of…University of Florida
above the meannear itbelow it

One dot per university in the first ten of the table below, at the default weights. The upper left is the interesting corner: small places doing unusually strong work.

Excellenceshare of its work in the world top 10%, 2022-now and all time averaged
40%
Specialisationhow much of its work is in this field, counted up to 10× the world share
10%
Sizeits output in this field, on a log scale
30%
Growthoutput growth, counted from -20% to +20%
10%
Internationalshare of its work with a co-author abroad
10%
Each slider sets a weight; the share it gets of the score is beside it.
#UniversityScoreTop 10%SpecialisationWorksGrowth
1University of FloridaUnited States 78.316.6%10.1×47 +61.2%
2ETH ZurichSwitzerland 77.020.7%8.8×26 +37.1%
3Nanyang Technological UniversitySingapore 67.718.9%6.7×23 +2.2%
4Georgia Institute of TechnologyUnited States 65.618.5%8.5×23 -10.7%
5National University of SingaporeSingapore 64.514.8%4.0×21 +48.9%
6Hong Kong University of Science and TechnologyChina 58.615.8%5.9×11 +169.8%
7Tsinghua UniversityChina 57.414.0%2.8×28 +31.2%
8Hong Kong Polytechnic UniversityChina 57.121.8%2.2×8 +121.8%
9University of British ColumbiaCanada 56.625.0%1.9×10 +85.8%
10Graz University of TechnologyAustria 56.113.5%20.0×17 -4.0%

Universities only. The score blends excellence (40%), size (30%), specialisation (10%), growth (10%), international reach (10%), 2022-now; growth compares 2018-21 with 2022-25 and counts up to +20%, since a jump from a small base is mostly noise.

Every institution in Security and Verification in Computing, country by country

Is Security and Verification in Computing research growing?

Output in 2022-2025 was 13% higher than in 2018-2021, peaking in 2025. The fastest-growing topics are Security and Verification in Computing.

still counting19801990200020102020
grewheldshrank

The same series as a ribbon: one cell per year, darker for more. The line above answers how much; this answers when.

Its share of all research

Growing output can still be a shrinking share: all of science grows. This is Security and Verification in Computing as a percentage of every work published that year, 0.016% in 2024.

still counting0.010%0.020%0.030%Security and Verification in Computing0.023% in 202519801990200020102020

Fractional works of Security and Verification in Computing over all fractional works that year. How the balance of science has shifted.

How much of it reaches the world top 10%

Year by year.

still counting5%10%15%Security and Verification in Computing9.8% in 2025200020102020

Of each year's works in it, the share that reached the world's 10% most cited for their field and year. A field is the world for its own topics, so there is no other line to hold it against.

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.

Discussion

Ask a question or share a note about Security and Verification in Computing. Posts are plain text and can be reported.