Search Results for author:
Found 4 papers, 2 papers with code
Learning Type Inference for Enhanced Dataflow Analysis
Comparing our approach against recent neural type inference systems, our model outperforms the current state-of-the-art by 7. 85% on the ManyTypes4TypeScript benchmark, achieving 71. 27% accuracy overall.
Ranked #1 on
Type prediction
on ManyTypes4TypeScript
Static Exploration of Taint-Style Vulnerabilities Found by Fuzzing
In this paper, we use static template matching to find recurrences of fuzzer-discovered vulnerabilities.
Cryptography and Security Programming Languages Software Engineering
From Malware Signatures to Anti-Virus Assisted Attacks
Although anti-virus software has significantly evolved over the last decade, classic signature matching based on byte patterns is still a prevalent concept for identifying security threats.
Cryptography and Security
When Coding Style Survives Compilation: De-anonymizing Programmers from Executable Binaries
Many distinguishing features present in source code, e. g. variable names, are removed in the compilation process, and compiler optimization may alter the structure of a program, further obscuring features that are known to be useful in determining authorship.
Cryptography and Security
