Non-Deterministic Execution Analysis is a formal method for identifying and assessing race condition vulnerabilities by examining program behaviors that arise from unpredictable interleavings of concurrent operations, distinguishing it from deterministic analysis techniques through its focus on non-repeatable, timing-dependent execution paths.
42
Publications
2K
Citations
128
Authors
54
Institutions
Publications per year
2017–2026
5
Publications
42
Noninterference through Secure Multi-execution
Dominique Devriese, Frank Piessens · 2010 · 245 citations · Full text
Tom Bergan, Owen T. Anderson, Joseph Devietti et al. · ACM SIGPLAN Notices · 2010 · 231 citations
Tom Bergan, Owen T. Anderson, Joseph Devietti et al. · 2010 · 150 citations
1–5 of 42
Authors
128
- TB
4
h-index
- JD
4
h-index
- DG
3
h-index
- LC
3
h-index
- OT
3
h-index
1–5 of 128
Institutions
54
University of Washington
Seattle, United States
7 h-index
21 publications
2.8K citations
Centre National de la Recherche Scientifique
Paris, France
2 h-index
5 publications
293 citations
University of California, Berkeley
Berkeley, United States
2 h-index
4 publications
176 citations
LIP6
Paris, France
2 h-index
5 publications
293 citations
Sorbonne Université
Paris, France
2 h-index
5 publications
293 citations
University of Illinois Urbana-Champaign
Urbana, United States
2 h-index
3 publications
44 citations
Commissariat à l'Énergie Atomique et aux Énergies Alternatives
Paris, France
2 h-index
4 publications
204 citations
KU Leuven
Leuven, Belgium
2 h-index
3 publications
524 citations
1–8 of 54
Venues
- Communications of the ACM
2 publications · 74 citations
2
h-index
- Science of Computer Programming
1 publications · 54 citations
1
h-index
- Bell Labs Technical Journal
1 publications · 16 citations
1
h-index
- DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Repository · 1 publications · 15 citations
1
h-index
- Journal of Computer Science and Technology
1 publications · 26 citations
1
h-index
1–5