OpenSCV
An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities.
Blockchain Research Hub
This website compiles research resources on blockchain conducted by the SSE group at CISUC. We are physically hosted at DEI.
Resources
bBench
A Comprehensive Performance Benchmark for Blockchain Applications.
Design Patterns
Smart Contract Design Patterns.
Selected publications
- Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro, "bBench: A Comprehensive Performance Benchmark for Blockchain Applications" The 36th IEEE International Symposium on Software Reliability Engineering (ISSRE 2025), (accepted for publication), São Paulo, Brazil, 21-24 October 2025.
- Sadaf Azimi, Ali Golzari, Naghmeh Ivaki, Nuno Laranjeiro, A Systematic Review on Smart Contracts Security Design Patterns. Empirical Software Engineering Vol. 30, no. 95, DOI: 10.1007/s10664-025-10646-w, April 2025. PDF
- Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro, OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities. Empirical Software Engineering Vol. 29, no. 101, DOI: 10.1007/s10664-024-10446-8, June 2024. PDF
- Bruno Dias, Naghmeh Ivaki and Nuno Laranjeiro, "An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools," IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC) (on-line), pp. 17-26, doi: 10.1109/PRDC53464.2021.00013, 2021. PDF
- Ákos Hajdu, Naghmeh Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza, "Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts," in IEEE Access, Vol. 8, pp. 190760-190783, DOI: 10.1109/ACCESS.2020.3032239, 2020. PDF
About us
Faculty Members
Naghmeh Ivaki - naghmeh@dei.uc.pt
Nuno Laranjeiro - cnl@dei.uc.pt
PhD Students
Fernando Vidal
Sadaf Azimi
Ali Golzari
MSc Students
Michelangelo Formato
Alessandro Cavaliere
Former Students
Bruno Dias (MSc)
Maria Viegas (MSc)