Publications

Research Area
Publication Year
Flushing Without Cascades
Michael A. Bender, Rathish Das, Martin Farach-Colton, Rob Johnson, William Kuszmaul
SODA | January, 2020
Brief Announcement: Byzantine Agreement, Broadcast and State Machine Replication with Optimal Good-Case Latency
Ittai Abraham, Kartik Nayak, Ling Ren, Zhuolun Xiang
34th International Symposium on Distributed Computing (DISC 2020) | 2020
Peaches, lemons, and cookies: Designing auction markets with dispersed information
Ittai Abraham, Susan Athey, Moshe Babaioff, Michael Grubb
Games Econ. Behav. | 2020
Ramsey Spanning Trees and Their Applications
Ittai Abraham, Shiri Chechik, Michael Elkin, Arnold Filtser, Ofer Neiman
{ACM} Trans. Algorithms | 2020
On the Optimality of Optimistic Responsiveness
Ittai Abraham, Ling Ren, Kartik Nayak, Nibesh Shrestha
CCS | 2020
Blinder - Scalable, Robust Anonymous Committed Broadcast
Ittai Abraham, Benny Pinkas, Avishay Yanai
CCS | 2020
Information Theoretic HotStuff
Ittai Abraham, Gilad Stern
OPODIS | 2020
Revisiting Asynchronous Fault Tolerant Computation with Optimal Resilience
Ittai Abraham, Danny Dolev, Gilad Stern
PODC | 2020
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
Nina Narodytska, Joao Marques-Silva (University of Toulouse), Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev
Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual | 2020
Flexible Byzantine Fault Tolerance
Dahlia Malkhi, Kartik Nayak, Kartik Nayak, Ling Ren
Computer and Communication Security (CCS) | ACM | November, 2019
Efficient Verifiable Secret Sharing with Share Recovery in BFT Protocols
Soumya Basu, Alin Tomescu, Ittai Abraham, Dahlia Malkhi, Mike Reiter, Emin Gun Sirer
Computer and Communication Security (CCS) | ACM | November, 2019
Transparency Logs via Append-Only Authenticated Dictionaries
Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas
ACM CCS'19 | November, 2019
BDD-Based Algorithms for Packet Classification
Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc
FMCAD'19 | Formal Methods in Computer-Aided Design | October, 2019
Scalable and Practical Locking With Shuffling
Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, Taesoo Kim
SOSP | October, 2019
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
arXiv | October, 2019
Automating Cluster Management with Weave
Lalith Suresh, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Joao Loff, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira
arXiv preprint arXiv:1909.03130 | September, 2019
The Risks of WebGL: Analysis, Evaluation and Detection
Alex Belkin, Nethanel Gelernter, Israel Cidon
Computer Security - {ESORICS} 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part {II} | September, 2019
Identifying Research Challenges in Post Quantum Cryptography Migration and Cryptographic Agility
David Ott, Christopher Peikert, Additional Workshop Attendees
Computing Community Consortium (CCC) Workshop Report | September, 2019
Elmo: Source Routed Multicast for Public Clouds
Muhammad Shahbaz, Lalith Suresh, Nick Feamster, Jennifer Rexford, Ori Rottenstreich, Mukesh Hira
ACM SIGCOMM 2019 | August, 2019
PIDForest: Anomaly Detection and Certification via Partial Identification
Parikshit Gopalan, Vatsal Sharan, Udi Wieder
NeurIPS 2019 | August, 2019