research
∙
02/17/2023
Columbus: Android App Testing Through Systematic Callback Exploration
With the continuous rise in the popularity of Android mobile devices, au...
share
research
∙
05/13/2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
Ethereum has emerged as the most popular smart contract development plat...
research
∙
02/23/2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts
Smart contracts are programs running on cryptocurrency (e.g., Ethereum) ...
research
∙
05/30/2017