Concepedia

Symbolic Execution Of Kernel Code

Symbolic Execution of Kernel Code is a program analysis technique that systematically explores kernel-level code paths by executing programs with symbolic inputs instead of concrete values, enabling the formal verification and discovery of vulnerabilities in operating system kernels.

26

Publications

2.1K

Citations

80

Authors

36

Institutions

Publications per year

2017–2026

10

Variants

Kernel Symbolic Execution

Parents

Publications

26

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · 2011 · 516 citations

, , +16

The S2E Platform

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · ACM Transactions on Computer Systems · 2012 · 198 citations · Full text

, , +17

Under-Constrained Symbolic Execution: Correctness Checking for Real Code

David A. Ramos, Dawson Engler · USENIX Security Symposium · 2015 · 147 citations

, , +17

Scalable SMT-based verification of GPU kernel functions

Guodong Li, Ganesh Gopalakrishnan · 2010 · 128 citations

, , +17

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · ACM SIGPLAN Notices · 2011 · 117 citations · Full text

, , +16

1–5 of 26

Authors

80

  1. VC
    Vitaly Chipounov

    École Polytechnique Fédérale de Lausanne, Switzerland

    5 publications · 968 citations

    5

    h-index

  2. VK
    Volodymyr Kuznetsov

    École Polytechnique Fédérale de Lausanne, Switzerland

    5 publications · 968 citations

    5

    h-index

  3. GC
    George Candea

    École Polytechnique Fédérale de Lausanne, Switzerland

    5 publications · 968 citations

    5

    h-index

  4. BL
    Byoungyoung Lee

    Seoul National University, South Korea

    3 publications · 152 citations

    3

    h-index

  5. GG
    Ganesh Gopalakrishnan

    University of Utah, United States

    3 publications · 182 citations

    3

    h-index

1–5 of 80

Institutions

36

  1. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    5 h-index

    15 publications

    2.9K citations

  2. Stanford University

    Stanford, United States

    3 h-index

    8 publications

    853 citations

  3. University of Utah

    Salt Lake City, United States

    3 h-index

    5 publications

    347 citations

  4. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    8 publications

    420 citations

  5. Fujitsu (United States)

    Sunnyvale, United States

    2 h-index

    2 publications

    54 citations

  6. University of Wisconsin–Madison

    Madison, United States

    2 h-index

    6 publications

    390 citations

  7. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    7 publications

    299 citations

  8. The University of Texas at Austin

    Austin, United States

    2 h-index

    2 publications

    100 citations

1–8 of 36

Venues

  1. USENIX Security Symposium

    Conference · 2 publications · 211 citations

    2

    h-index

  2. ACM Transactions on Computer Systems

    TOCS · 1 publications · 198 citations

    1

    h-index

  3. ACM SIGARCH Computer Architecture News

    1 publications · 54 citations

    1

    h-index

  4. Infoscience (Ecole Polytechnique Fédérale de Lausanne)

    Repository · 1 publications · 83 citations

    1

    h-index

  5. 2022 IEEE Symposium on Security and Privacy (SP)

    Conference · 1 publications · 22 citations

    1

    h-index

1–5