research
∙
03/21/2023
Leveraging Self-Sovereign Identity in Decentralized Data Aggregation
Data aggregation has been widely implemented as an infrastructure of dat...
share
research
∙
05/17/2022
Self-Sovereign Identity as a Service: Architecture in Practice
Self-sovereign identity (SSI) has gained a large amount of interest. It ...
research
∙
11/06/2021
Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains
Blockchain technologies have been boosting the development of data-drive...
research
∙
12/08/2020
Formalism-Driven Development of Decentralized Systems
Decentralized systems have been widely developed and applied to address ...
research
∙
09/13/2020
Transition-Oriented Programming: Developing Verifiable Systems
It is extremely challenging to develop verifiable systems that are regul...
research
∙
08/19/2020
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
Decentralized techniques are becoming crucial and ubiquitous with the ra...
research
∙
07/27/2020