Most cited papers in Security and Verification in Computing
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).
Showing 50 of 98 papers. Every paper with more than 700 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | fastp: an ultra-fast all-in-one FASTQ preprocessor Shifu Chen, Yanqing Zhou, Yaru Chen et al. · Bioinformatics | 7 Jul 2018 | 31,650 |
| 2 | Z3: An Efficient SMT Solver Leonardo de Moura, Nikolaj Bjørner · Lecture notes in computer science | 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. | 18 Apr 2018 | 3,561 |
| 6 | Safeguarding cryptographic keys G. R. Blakley · 1979 International Workshop on Managing Requirements Knowledge (MARK) | Jun 1979 | 3,445 |
| 7 | Program Slicing Mark Weiser · IEEE Transactions on Software Engineering | Jul 1984 | 3,217 |
| 8 | The part-time parliament Leslie Lamport · ACM Transactions on Computer Systems | May 1998 | 2,747 |
| 9 | Proposed NIST standard for role-based access control David F. Ferraiolo, Ravi S. Sandhu, Serban I. Gavrila et al. · ACM Transactions on Information and System Security | Aug 2001 | 2,548 |
| 10 | TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones William Enck, Peter J. Gilbert, Byung-Gon Chun et al. | 4 Oct 2010 | 2,272 |
| 11 | Valgrind Nicholas Nethercote, Julian Seward | 10 Jun 2007 | 2,261 |
| 12 | Hey, you, get off of my cloud Thomas Ristenpart, Eran Tromer, Hovav Shacham et al. | 9 Nov 2009 | 2,055 |
| 13 | Language-based information-flow security Andrei Sabelfeld, Andrew C. Myers · IEEE Journal on Selected Areas in Communications | 2003 | 1,909 |
| 14 | A lattice model of secure information flow Dorothy E. Denning · Communications of the ACM | May 1976 | 1,909 |
| 15 | Proof-carrying code George C. Necula | 1997 | 1,838 |
| 16 | seL4 Gerwin Klein, Kevin J. Elphinstone, Gernot Heiser et al. | 11 Oct 2009 | 1,613 |
| 17 | Enabling Public Auditability and Data Dynamics for Storage Security in Cloud Computing Qian Wang, Cong Wang, Kui Ren et al. · IEEE Transactions on Parallel and Distributed Systems | 9 Nov 2010 | 1,513 |
| 18 | A Survey of Attacks on Ethereum Smart Contracts (SoK) Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli · Lecture notes in computer science | 2017 | 1,511 |
| 19 | Privacy-Preserving Public Auditing for Data Storage Security in Cloud Computing Cong Wang, Qian Wang, Kui Ren et al. | Mar 2010 | 1,422 |
| 20 | FlowDroid Steven Arzt, Siegfried Rasthofer, Christian Fritz et al. | 13 May 2014 | 1,402 |
| 21 | Cache Attacks and Countermeasures: The Case of AES Dag Arne Osvik, Adi Shamir, Eran Tromer · Lecture notes in computer science | 22 Dec 2005 | 1,371 |
| 22 | Security and Privacy Challenges in Cloud Computing Environments Hassan Takabi, James B D Joshi, Gail‐Joon Ahn · IEEE Security & Privacy | Nov 2010 | 1,323 |
| 23 | Access control: principle and practice Ravi S. Sandhu, Pierangela Samarati · IEEE Communications Magazine | Sep 1994 | 1,298 |
| 24 | The geometry of innocent flesh on the bone Hovav Shacham | 28 Oct 2007 | 1,291 |
| 25 | Enforceable security policies Fred B. Schneider · ACM Transactions on Information and System Security | Feb 2000 | 1,289 |
| 26 | Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software James Newsome, Dawn Xiaodong Song · Figshare | 29 Jun 2018 | 1,287 |
| 27 | StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks Crispin Cowan, Calton Pu, Dave Maier et al. · PDXScholar (Portland State University) | 1998 | 1,258 |
| 28 | The Ponder Policy Specification Language Nicodemos Damianou, Naranker Dulay, Emil Lupu et al. · Lecture notes in computer science | 2001 | 1,211 |
| 29 | TaintDroid William Enck, Peter J. Gilbert, Seungyeop Han et al. · ACM Transactions on Computer Systems | Jun 2014 | 1,199 |
| 30 | A secure control framework for resource-limited adversaries Andre M. H. Teixeira, Iman Shames, Henrik Sandberg et al. · Automatica | 19 Nov 2014 | 1,197 |
| 31 | Formal verification of a realistic compiler Xavier Leroy · Communications of the ACM | 30 Jun 2009 | 1,170 |
| 32 | CryptDB Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich et al. | 23 Oct 2011 | 1,163 |
| 33 | A survey of trust in internet applications Tyrone W. A. Grandison, Morris S. Sloman · IEEE Communications Surveys & Tutorials | 2000 | 1,156 |
| 34 | Towards Sound Approaches to Counteract Power-Analysis Attacks Suresh T. Chari, Charanjit S. Jutla, Josyula R. Rao et al. · Lecture notes in computer science | 1999 | 1,124 |
| 35 | Cyber–Physical Security of a Smart Grid Infrastructure Yilin Mo, Tiffany Hyun‐Jin Kim, Kenneth Brancik et al. · Proceedings of the IEEE | 21 Sep 2011 | 1,121 |
| 36 | Securify Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. | 15 Oct 2018 | 1,049 |
| 37 | Control-flow integrity Martı́n Abadi, Mihai Budiu, Úlfar Erlingsson et al. | 7 Nov 2005 | 1,041 |
| 38 | JFlow Andrew C. Myers | 1999 | 1,037 |
| 39 | Zero-knowledge proofs of identity Uriel Feige, Amos Fiat, Adi Shamir · Journal of Cryptology | Jun 1988 | 1,037 |
| 40 | Defining liveness Bowen Alpern, Fred B. Schneider · Information Processing Letters | Oct 1985 | 1,033 |
| 41 | Certification of programs for secure information flow Dorothy E. Denning, Peter J. Denning · Communications of the ACM | Jul 1977 | 1,033 |
| 42 | Kerberos: An Authentication Service for Open Network Systems Jennifer G. Steiner, Athena, Clifford Neuman et al. | 1988 | 1,024 |
| 43 | Last-Level Cache Side-Channel Attacks are Practical Fangfei Liu, Yuval Yarom, Qian Ge et al. | May 2015 | 1,024 |
| 44 | Design and implementation of a TCG-based integrity measurement architecture Reiner Sailer, Xiaolan Zhang, Trent Jaeger et al. · USENIX Security Symposium | 13 Aug 2004 | 1,019 |
| 45 | FLUSH+RELOAD: a high resolution, low noise, L3 cache side-channel attack Yuval Yarom, Katrina E. Falkner | 2013 | 1,008 |
| 46 | CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul et al. · Lecture notes in computer science | 2002 | 988 |
| 47 | A sound type system for secure flow analysis Dennis Volpano, Cynthia Irvine, Geoffrey Smith · Journal of Computer Security | Apr 1996 | 969 |
| 48 | Extensibility safety and performance in the SPIN operating system Brian N. Bershad, Stefan Savage, Przemysław Pardyak et al. | 1995 | 957 |
| 49 | The UCON ABC usage control model Jae-Hong Park, Ravi S. Sandhu · ACM Transactions on Information and System Security | Feb 2004 | 955 |
| 50 | SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls et al. | May 2016 | 952 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for a field when OpenAlex files it under one of the field's topics; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.