Leaderboards/Security and Verification in Computing

Security and Verification in Computing

Last updated July 7, 2026

Rising Stars

New and hot

Rising Stars Researchers

1
Hammond Pearce
UNSW Sydney
2
Naeem Syed
Deakin University
3
Haftu Tasew Reda
Ethiopian Public Health Institute
4
Jaeseung Choi
Sogang University
5
Sicong Cao
Yangzhou University
6
Wael Alsabbagh
Brandenburg University of Technology Cottbus-Senftenberg
7
Antoon Purnal
Google (United States)
8
Nami Ashizawa
Shizuoka University
9
Chenkai Weng
Arizona State University
10
Mengyuan Li
The Ohio State University

Rising Stars Papers

1
On Hardware Security Bug Code Fixes by Prompting Large Language Models
IEEE Transactions on Information Forensics and Security|2024
66 cit.
2
Asleep at the Keyboard? Assessing the Security of GitHub Copilot’s Code Contributions
Communications of the ACM|2025
65 cit.
3
dcc --help: Transforming the Role of the Compiler by Generating Context-Aware Error Explanations with Large Language Models
Unknown Journal|2024
27 cit.
4
Coca: Improving and Explaining Graph Neural Network-Based Vulnerability Detection Systems
Unknown Journal|2024
27 cit.
5
Enabling Efficient Data Transmission in Wireless Sensor Networks-Based IoT Applications
Computers, materials & continua/Computers, materials & continua (Print)|2024
25 cit.
6
Large Language Models for Hardware Security (Invited, Short Paper)
Unknown Journal|2024
22 cit.
7
Evaluating LLMs for Hardware Design and Test
Unknown Journal|2024
17 cit.
8
LLM-aided explanations of EDA synthesis errors
Unknown Journal|2024
16 cit.
9
Investigating the Security of OpenPLC: Vulnerabilities, Attacks, and Mitigation Solutions
IEEE Access|2024
9 cit.
10
Robust and lightweighted mutual authentication scheme for drone swarm networks
Journal of Network and Computer Applications|2025
8 cit.

Emerging Leaders

Gaining momentum

Emerging Leaders Researchers

1
Raoul Strackx
Imec the Netherlands
2
Daniel Gruss
Graz University of Technology
3
Christopher W. Fletcher
IIT@MIT
4
JF Bastien
Apple (United States)
5
Yaroslav Alexandrov
State Research Institute of Organic Chemistry and Technology
6
Mike Hamburg
Rambus (United Kingdom)
7
Hassan El Ghazi
Institut National des Postes et Télécommunications
8
Byoungyoung Lee
Seoul National University
9
Xiao Wang
National University of Defense Technology
10
Tom Caira
University of the West of Scotland

Emerging Leaders Papers

1
CSI:Rowhammer – Cryptographic Security and Integrity against Rowhammer
Unknown Journal|2023
36 cit.
2
AntMan
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security|2022
30 cit.
3
SQUIP: Exploiting the Scheduler Queue Contention Side Channel
Unknown Journal|2023
22 cit.
4
SpecDoctor
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security|2022
21 cit.
5
Accelerating Sparse Data Orchestration via Dynamic Reflexive Tiling
Unknown Journal|2023
18 cit.
6
Proving UNSAT in Zero Knowledge
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security|2022
15 cit.
7
Scatter and Split Securely: Defeating Cache Contention and Occupancy Attacks
Unknown Journal|2023
15 cit.
8
A Novel Approach Based on Machine Learning, Blockchain, and Decision Process for Securing Smart Grid
IEEE Access|2024
15 cit.
9
Sok: vector OLE-based zero-knowledge protocols
Designs Codes and Cryptography|2023
14 cit.
10
R2Z2
Proceedings of the 44th International Conference on Software Engineering|2022
12 cit.

Current Senior Leaders

Established & currently active

Current Senior Leaders Researchers

1
Andrew Warfield
University of Cambridge
2
Dawn Song
University of California, Berkeley
3
Patrick McDaniel
Pennsylvania State University
4
Giovanni Vigna
University of California, Santa Barbara
5
Srinivas Devadas
Massachusetts Institute of Technology
6
Andrew C. Myers
Cornell University
7
Wenke Lee
Georgia Institute of Technology
8
Ruby B. Lee
Princeton University
9
Dan Boneh
Laboratoire d'Informatique de Paris-Nord
10
Steve Zdancewic
Philadelphia University

Current Senior Leaders Papers

1
Xen and the art of virtualization
ACM SIGOPS Operating Systems Review|2003
5.9k cit.
2
Identity-Based Encryption from the Weil Pairing
SIAM Journal on Computing|2003
3.6k cit.
3
Provable data possession at untrusted stores
Unknown Journal|2007
2.7k cit.
4
Live migration of virtual machines
Unknown Journal|2005
2.6k cit.
5
Proceedings of the 11th USENIX Security Symposium
Unknown Journal|2002
2.5k cit.
6
A fully homomorphic encryption scheme
Unknown Journal|2009
2.4k cit.
7
Robust Physical-World Attacks on Deep Learning Visual Classification
Unknown Journal|2018
2.1k cit.
8
Xen and the art of virtualization
Unknown Journal|2003
2.1k cit.
9
Physical unclonable functions for device authentication and secret key generation
Proceedings - ACM IEEE Design Automation Conference|2007
2.1k cit.
10
Language-based information-flow security
IEEE Journal on Selected Areas in Communications|2003
1.9k cit.

Reagents for Security and Verification in Computing

Citation-validated products used in this field

🔥 Trending

Gaining adoption fast

⭐ Top Rated

Best all-around

🌟 All-Time

Most validated

Cell Signaling TechnologyEvidence 66

Caspase-1 (D7F10) Rabbit Monoclonal Antibody (BSA and Azide Free)

#85315$865
View Evidence →
Cell Signaling TechnologyEvidence 64

PathScan® Total Axl Sandwich ELISA Kit

#7040$66,129,740
View Evidence →
Cell Signaling TechnologyEvidence 64

NMNAT1 (D7O4N) Rabbit Monoclonal Antibody

#98354$157,348
View Evidence →