Cornell PLDG Talk

Abstract

Presented the paper ‘Velisarios: Byzantine Fault-Tolerant Protocols Powered by CoqA’ in the proceedings of ESOP’18

Date
Links