News
People
Publications
Projects
Opportunities
Contact
Rui Abreu
Latest
Extending EcoAndroid with Automated Detection of Resource Leaks
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Cite
×