Project

Formal methods for blockchain and related technologies

Principal Investigator

HASLAB/INESCTEC, Universidade do Minho

Oracle Fellowship Recipient

Lisandra Silva

Oracle Principal Investigator

Mark Moir, Architect

Summary

Oracle Labs and the REVVIS (Reunião de Especialistas em Verificação e Validação de Software) at HASLAB/INESCTEC from the University of Minho are collaborating on the use of formal methods and tools for increasing confidence in the correctness (both safety and liveness) of distributed and cryptographic protocols and authenticated data structures relevant to addressing shortcomings in traditional blockchain platforms.  Topics include Byzantine Fault Tolerant consensus protocols and authenticated data structures.