David Sands

4.0k citations
54 papers · 1.3k indexed · h-index 19

Impact in

Papers in

    • Advanced Malware Detection Techniques 15
    • Security and Verification in Computing 22
    • Logic, programming, and type systems 19
    • Cryptography and Data Security 6
    • Logic, Reasoning, and Knowledge 5

David Sands

50 papers receiving 1.2k citations

Peers

David Sands
Comparison fields: 5 of 56
  • Signal Processing 604
  • Artificial Intelligence 1.2k
  • Hardware and Architecture 207
  • Software 76
  • Computational Theory and Mathematics 291
Replace Jay Ligatti with:
Jay Ligatti United States
Riccardo Focardi Italy
Chris Hawblitzel United States
Joshua D. Guttman United States
Michael Norrish Australia
Greg Kroah-Hartman United States
Pau-Chen Cheng United States
Adam Chlipala United States
Bruno Blanchet France
June Andronick Australia
David Sands relative to Jay Ligatti United States Jay Ligatti's profile →
Citations per field
00.5×1.5×1.9×
Jay Ligatti · 1×
Citations per year

Countries citing papers authored by David Sands

Since Specialization
Citations

This map shows the geographic impact of David Sands's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by David Sands with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David Sands more than expected).

Fields of papers citing papers by David Sands

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by David Sands. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by David Sands. The network helps show where David Sands may publish in the future.

Co-authors

The 25 scholars most cited alongside David Sands, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with David Sands Line = papers co-authored together David Sands links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown
#Work
1 20240
2 20192
3 20184
4 20174
5 20161
6 20165
7 200913
8 200981
9 200614
10 200210
11 20022
12
On Confidentiality and Algorithms
200111
13 200182
14
Improvement theory and its applications
199916
15 199930
16 19984
17 199627
18 199649
19 199133
20 19917

About David Sands

David Sands is a scholar working on Signal Processing, Artificial Intelligence, Hardware and Architecture, Computational Theory and Mathematics and Software, having authored 54 papers that have together received 1.3k indexed citations. Recurring topics across this work include Security and Verification in Computing (22 papers), Logic, programming, and type systems (19 papers), Advanced Malware Detection Techniques (15 papers), Formal Methods in Verification (14 papers), Distributed systems and fault tolerance (9 papers), Cryptography and Data Security (6 papers), Parallel Computing and Optimization Techniques (6 papers) and Logic, Reasoning, and Knowledge (5 papers). The work is most often cited by research in Signal Processing (604 citations), Artificial Intelligence (1.2k citations), Hardware and Architecture (207 citations), Software (76 citations) and Computational Theory and Mathematics (291 citations). David Sands has collaborated with scholars based in Sweden, United Kingdom and Denmark. Frequent co-authors include Andrei Sabelfeld, Sebastian Hunt, Niklas Broberg, Phu H. Phung, Daniel Hedin, Hamid Ebadi, Gerardo Schneider, Heiko Mantel, Stefan Axelsson and Magnus Carlsson. Their work appears in journals such as ACM SIGPLAN Notices, Journal of Computer Security, Theoretical Computer Science, Proceedings of the ACM on Programming Languages and Science of Computer Programming.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026