1. NeoBFT: Accelerating Byzantine Fault Tolerance Using Authenticated In-Network Ordering;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09
2. Dynamic System Diversification for Securing Cloud-based IoT Subnetworks;ACM Transactions on Autonomous and Adaptive Systems;2022-06-30
3. Hampa: Solver-Aided Recency-Aware Replication;Computer Aided Verification;2020
4. Ignis: scaling distribution-oblivious systems with light-touch distribution;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08
5. Derecho;ACM Transactions on Computer Systems;2019-04-16