Research Projects

MEV Attacks

Performing MEV attacks on Blockchains and BFT protocols

Read more »
Iliya Mirzaei
Zichun Cai
Haoxian Chen
Chenyuan Wu
Mohammad Javad Amiri

ML for Systems

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

Read more »
Eric Zhou
Chenyuan Wu
Haoyun Qin
Bhavana Mehta
Ryan Marcus
Boon Thau Loo
Mohammad Javad Amiri

Bedrock of BFT

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

Read more »
Eswar Kethireddy
Haoyun Qin
Chenyuan Wu
Amr El Abbadi
Divyakant Agrawal
Boon Thau Loo
Mohammad Javad Amiri

Consensus Protocols Tuning

Tunning consneuss protocols configurations at runtime

Read more »
Kevin Dharmawan
Hamza Khajawa
Prajwal Annigeri
Gautam Sardana
Chenyuan Wu
Mohammad Javad Amiri

Future of Work

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

Read more »
Tristan Allard
Divyakant Agrawal
Amr El Abbadi
Boon Thau Loo
Mohammad Javad Amiri

Ocelot

Writing and optimizng declarative smart contracts

Read more »
Lan Lu
Haoxian Chen
Boon Thau Loo
Mohammad Javad Amiri

Order-fairness

Achieving order-fairness in BFT consensus protocols

Read more »
Heena Nagda
Sakshi Sinha
Keon Attarha
Boon Thau Loo
Mohammad Javad Amiri

Permissioned Blockchains

Addressing different requirements of permissioned blockchain systems

Read more »
Divyakant Agrawal
Amr El Abbadi
Boon Thau Loo
Mohammad Javad Amiri

Scalable Distributed Systems

Designing scalable systems in untrustworthy environments

Read more »
Divyakant Agrawal
Amr El Abbadi
Boon Thau Loo
Mohammad Javad Amiri

SeeMoRe Research Group in the Department of Computer Science at Stony Brook University