Device-agnostic Firmware Execution is Possible: A Concolic Execution Approach for Peripheral Emulation

Annual Computer Security Applications Conference ◽

10.1145/3427228.3427280 ◽

2020 ◽

Author(s):

Chen Cao ◽

Le Guan ◽

Jiang Ming ◽

Peng Liu

Keyword(s):

Concolic Execution

Download Full-text

FUZZOLIC: mixing fuzzing and concolic execution

Computers & Security ◽

10.1016/j.cose.2021.102368 ◽

2021 ◽

pp. 102368

Author(s):

Luca Borzacchiello ◽

Emilio Coppa ◽

Camil Demetrescu

Keyword(s):

Concolic Execution

Download Full-text

A Partial-Lifting-Based Compiling Concolic Execution Approach

2021 IEEE 5th International Conference on Cryptography, Security and Privacy (CSP) ◽

10.1109/csp51677.2021.9357495 ◽

2021 ◽

Author(s):

Haotian Zhang ◽

Weiyu Dong ◽

Jian Lin

Keyword(s):

Concolic Execution

Download Full-text

APT Detection with Concolic Execution

International Journal of Hybrid Information Technology ◽

10.14257/ijhit.2017.10.7.01 ◽

2017 ◽

Vol 10 (7) ◽

pp. 1-10

Author(s):

Yunfei Su ◽

Mengjun Li ◽

Chaojing Tang ◽

Rongjun Shen

Keyword(s):

Concolic Execution

Download Full-text

Conpy: Concolic Execution Engine for Python Applications

Algorithms and Architectures for Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11194-0_12 ◽

2014 ◽

pp. 150-163

Author(s):

Ting Chen ◽

Xiao-song Zhang ◽

Rui-dong Chen ◽

Bo Yang ◽

Yang Bai

Keyword(s):

Concolic Execution ◽

Execution Engine

Download Full-text

Research on Fuzz Testing Framework based on Concolic Execution

DEStech Transactions on Computer Science and Engineering ◽

10.12783/dtcse/csae2017/17478 ◽

2018 ◽

Author(s):

Xiong Xie ◽

Yuhang Chen

Keyword(s):

Testing Framework ◽

Fuzz Testing ◽

Concolic Execution

Download Full-text

Icefex: Protocol Format Extraction from IL-based Concolic Execution

KSII Transactions on Internet and Information Systems ◽

10.3837/tiis.2013.03.010 ◽

2013 ◽

Vol 7 (3) ◽

pp. 576-599 ◽

Keyword(s):

Concolic Execution

Download Full-text

About the Concolic Execution and Symbolic ASM Function Promotion in CASM

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77543-8_9 ◽

2021 ◽

pp. 112-117

Author(s):

Philipp Paulweber ◽

Jakob Moosbrugger ◽

Uwe Zdun

Keyword(s):

Concolic Execution

Download Full-text

Effective Test Case Generation via Concolic Execution

Lecture Notes in Electrical Engineering - Proceedings of the 2012 International Conference on Information Technology and Software Engineering ◽

10.1007/978-3-642-34531-9_17 ◽

2012 ◽

pp. 157-164 ◽

Author(s):

Yan Hu ◽

He Jiang

Keyword(s):

Test Case Generation ◽

Test Case ◽

Concolic Execution

Download Full-text

RTL functional test generation using factored concolic execution

2017 IEEE International Test Conference (ITC) ◽

10.1109/test.2017.8242038 ◽

2017 ◽

Author(s):

Sonal Pinto ◽

Michael S. Hsiao

Keyword(s):

Test Generation ◽

Functional Test ◽

Concolic Execution

Download Full-text

RELEASE: Generating Exploits Using Loop-Aware Concolic Execution

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement ◽

10.1109/ssiri.2011.31 ◽

2011 ◽

Author(s):

Bing-Han Li ◽

Shiuhpyng Shieh

Keyword(s):

Concolic Execution

Download Full-text