Concepedia

Symbolic Execution For Obfuscated Code

Symbolic Execution for Obfuscated Code is a program analysis technique that systematically explores executable paths by treating inputs as symbolic values rather than concrete data, specifically adapted to handle the complexities introduced by code obfuscation such as inflated control flow, encoded arithmetic, and anti-analysis constructs.

15

Publications

1.2K

Citations

51

Authors

15

Institutions

Publications per year

2017–2026

6

Parents

Publications

15

Unleashing Mayhem on Binary Code

Sang Kil, Thanassis Avgerinos, Alexandre Rebert et al. · 2012 · 521 citations

, , +15

Code obfuscation against symbolic execution attacks

Sebastian Bănescu, Christian Collberg, Vijay Ganesh et al. · 2016 · 138 citations

, , +14

Automatically generating malicious disks using symbolic execution

Junfeng Yang, Can Sar, Paul Twohey et al. · 2006 · 106 citations

, , +17

Symbolic Execution of Obfuscated Code

Babak Yadegari, Saumya Debray · 2015 · 85 citations

, , +13

Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping

Dongpeng Xu, Jiang Ming, Dinghao Wu · 2017 · 73 citations

, , +14

1–5 of 15

Authors

51

  1. SB
    Sebastian Bănescu

    Technical University of Munich, Germany

    3 publications · 197 citations

    3

    h-index

  2. DW
    Dinghao Wu

    Pennsylvania State University, United States

    3 publications · 162 citations

    3

    h-index

  3. AP
    Alexander Pretschner

    Technical University of Munich, Germany

    3 publications · 197 citations

    3

    h-index

  4. AP
    Atul Prakash

    University of Michigan, United States

    2 publications · 66 citations

    2

    h-index

  5. CC
    Christian Collberg

    University of Arizona, United States

    2 publications · 173 citations

    2

    h-index

1–5 of 51

Institutions

15

  1. Pennsylvania State University

    State College, United States

    4 h-index

    11 publications

    572 citations

  2. Technical University of Munich

    Munich, Germany

    3 h-index

    7 publications

    418 citations

  3. University of Arizona

    Tucson, United States

    3 h-index

    4 publications

    343 citations

  4. University of Michigan

    Ann Arbor, United States

    2 h-index

    4 publications

    132 citations

  5. University of Waterloo

    Waterloo, Canada

    1 h-index

    2 publications

    276 citations

  6. Kitware (United States)

    New York, United States

    1 h-index

    1 publications

    18 citations

  7. Stanford University

    Stanford, United States

    1 h-index

    5 publications

    530 citations

  8. University of Electronic Science and Technology of China

    Chengdu, China

    1 h-index

    7 publications

    231 citations

1–8 of 15

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 1 publications · 33 citations

    1

    h-index

  2. USENIX Security Symposium

    Conference · 1 publications · 35 citations

    1

    h-index

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

    Conference · 1 publications · 18 citations

    1

    h-index

1–3