research
∙
12/29/2021
Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
In recent years we have witnessed a dramatic increase in the adoption an...
share
research
∙
07/01/2020
Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection
The malware analysis and detection research community relies on the onli...
research
∙
11/01/2019
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
Smart contracts are executable programs that enable the building of a pr...
research
∙
09/25/2019
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming
Self-checksumming (SC) is a tamper-proofing technique that ensures certa...
research
∙
09/25/2019
SIP Shaker: Software Integrity Protection Composition
Man-At-The-End (MATE) attackers are almighty adversaries against whom th...
research
∙
03/25/2019
Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods
In evaluating detection methods, the malware research community relies o...
research
∙
03/20/2018