Josselin Feist

Josselin Feist

Trail of Bits
在 trailofbits.com 的电子邮件经过验证
被引用次数：2084
Static analysis Concolic Execution Fuzzing Vulnerability discovery Exploit generation
Joonseon, Ahn

Joonseon, Ahn

Korea Aerospace University
在 kau.ac.kr 的电子邮件经过验证
被引用次数：105
Computer Science Software Security Static Analysis Concolic Execution Smart Contract Security
Jin Huang

Jin Huang

UESTC
在 std.uestc.edu.cn 的电子邮件经过验证
被引用次数：39
Concolic Execution Fuzzing Software Vulnerability Binary analysis
Ryan Vrecenar

Ryan Vrecenar

Sandia National Laboratories
在 sandia.gov 的电子邮件经过验证
被引用次数：23
Distance Reading Symbolic Execution Concolic Execution Formal Verification Graph Theory