research
∙
01/31/2023
HoRStify: Sound Security Analysis of Smart Contracts
The cryptocurrency Ethereum is the most widely used execution platform f...
share
research
∙
01/14/2021
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts
Ethereum smart contracts are distributed programs running on top of the ...
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
∙
06/24/2018
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
We present WPSE, a browser-side security monitor for web protocols desig...
research
∙
02/23/2018