conf.researchr.org / Arthur Gervais
Not registered as user
Name:Arthur Gervais
Country:United Kingdom
Affiliation:Imperial College London
Contributions
2024
ICSE
- Author of Artifact: Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? within the Artifact Evaluation-track
- Author of Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? within the Research Track-track
- Author of Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification within the Posters-track