research
∙
08/19/2021
F-PKI: Enabling Innovation and Trust Flexibility in the HTTPS Public-Key Infrastructure
We present F-PKI, an enhancement to the HTTPS public-key infrastructure ...
share
research
∙
09/22/2020
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance
Byzantine fault tolerant protocols enable state replication in the prese...
research
∙
07/29/2019
Zero-Knowledge User Authentication: An Old Idea Whose Time Has Come
User authentication can rely on various factors (e.g., a password, a cry...
research
∙
09/25/2018