research
∙
02/11/2021
CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse
Open-source software (OSS) is widely reused as it provides convenience a...
share
research
∙
08/29/2019
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
We present VeriSmart, a highly precise verifier for ensuring arithmetic ...
research
∙
07/23/2019
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
We present a technique to automatically generate search heuristics for d...
research
∙
03/07/2017
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks
Detecting buffer overruns from a source code is one of the most common a...
research
∙
02/21/2017