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
Design Patterns
Smart Contract Design Patterns.
Selected publications
- Sadaf Azimi, Ali Golzari, Naghmeh Ivaki, Nuno Laranjeiro, A Systematic Review on Smart Contracts Security Design Patterns. Empirical Software Engineering (accepted for publication) 2025. PDF
- Fernando 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)