3
Publications
520
Citations
3
H-Index
2020
Active since
Affiliations
Pedro E. D. Cruz is an author at University of Lisbon specializing in engineering, hardware security, and software maintenance.
Top concepts
EngineeringSoftware DesignStatic AnalysisComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisSoftware SecurityFormal Verification
Publications per year
2020–2020
3
3
Empirical review of automated analysis tools on 47,587 Ethereum smart contracts
Thomas Durieux, João F. Ferreira, Rui Abreu et al. · 2020 · 359 citations · Full text
João F. Ferreira, Pedro E. D. Cruz, Thomas Durieux et al. · 2020 · 132 citations
SmartBugs: A Framework to Analyze Solidity Smart Contracts
João F. Ferreira, Pedro E. D. Cruz, Thomas Durieux et al. · arXiv (Cornell University) · 2020 · 29 citations · Full text
Rows per page
1–3 of 3