11 citations · 41 across the 11 of their papers we have counts for
4 papers · 1 filter
Smart Greybox Fuzzing
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa +2
Coverage-based greybox fuzzing (CGF) is one of the most successful methods for automated vulnerability detection. Given a seed file (as a sequence of bits), CGF randomly flips, del…
Symbolic Verification of Cache Side-channel Freedom
Sudipta Chattopadhyay, Abhik Roychoudhury
Cache timing attacks allow third-party observers to retrieve sensitive information from program executions. But, is it possible to automatically check the vulnerability of a progra…
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Shiqi Shen, Soundarya Ramesh, Shweta Shinde +2
Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the…
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
Shweta Shinde, Shengyi Wang, Pinghai Yuan +3
New trusted computing primitives such as Intel SGX have shown the feasibility of running user-level applications in enclaves on a commodity trusted processor without trusting a lar…