research
∙
08/31/2021
Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
The Spectre family of speculative execution attacks have required a reth...
share
research
∙
08/16/2021
Systematic Generation of Conformance Tests for JavaScript
JavaScript implementations are tested for conformance to the ECMAScript ...
research
∙
07/28/2021
XFL: eXtreme Function Labeling
Reverse engineers would benefit from identifiers like function names, bu...
research
∙
10/10/2018
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
Existing support for regular expressions in automated test generation or...
research
∙
07/20/2018
TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time
Academic research on machine learning-based malware classification appea...
research
∙
09/17/2017