Formal methods for blockchain and related technologies
HASLAB/INESCTEC, Universidade do Minho
Oracle Fellowship Recipient
Oracle Principal Investigator
Mark Moir, Architect
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.