IoT platform fuzzing: lessons learned

FCGAT: Interpretable Malware Classification Method using Function Call Graph...

Minami Someya (Institute of Information Security), Yuhei Otsubo (National Police Academy), Akira Otsuka (Institute of Information Security)

Enhancing Symbolic Execution by Machine Learning Based Solver Selection

Sheng-Han Wen (National Taiwan University), Wei-Loon Mow (National Taiwan University), Wei-Ning Chen (National Taiwan University), Chien-Yuan Wang (National Taiwan University), Hsu-Chun Hsiao (National Taiwan University)

Creating Human Readable Path Constraints from Symbolic Execution

Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)

The hard things about analyzing 1’s and 0’s...

Dr. David Brumley, Carnegie Mellon University - ForAllSecure

IoT platform fuzzing: lessons learned

View More Papers

FCGAT: Interpretable Malware Classification Method using Function Call Graph...

Enhancing Symbolic Execution by Machine Learning Based Solver Selection

Creating Human Readable Path Constraints from Symbolic Execution

The hard things about analyzing 1’s and 0’s...