Research Projects

Tunable DB Guarantees

Providing Tunable consistency and isolation for distributed databases

Read more »

DAG-based BFT Protocols

Analyzing DAG-based BFT Consensus Protocols

Read more »

MEV Attacks

Analyzing MEV attacks on Blockchains and BFT protocols

Read more »

ML for Systems

This project aims to develop an adaptive distributed transaction processing system.

Read more »

Bedrock of BFT

A unified platform for BFT protocols analysis, implementation, and evaluation.

Read more »

Consensus Protocols Tuning

Tunning consneuss protocols configurations at runtime

Read more »

Future of Work

Enforcing regulations on multi-enterprise systems in a privacy-preserving manner

Read more »

Declarative Smart Contracts

Writing and optimizng declarative smart contracts

Read more »

Order-Fairness Protocols

Achieving order-fairness in BFT consensus protocols

Read more »

Permissioned Blockchains

Addressing different requirements of permissioned blockchain systems

Read more »

Scalable Distributed Systems

Designing scalable systems in untrustworthy environments

Read more »