Research Area
Publication Year
How to Copy Files
Yang Zhan, Alex Conway, Yizheng Jiao, Nirjhar Mukherjee, Ian Groombridge, Michael A. Bender, Martin Farach-Colton, William Jannen, Rob Johnson, Donald E. Porter, Jun Yuan
FAST | February, 2020
Flushing Without Cascades
Michael A. Bender, Rathish Das, Martin Farach-Colton, Rob Johnson, William Kuszmaul
SODA | January, 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
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
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
The Impact of RDMA on Agreement
Marcos Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra Marathe, Igor Zablotchi
Symposium on Principles of Distributed Computing | July, 2019
JumpSwitches: Restoring the Performance of Indirect Branches In the Era of Spectre
Nadav Amit, Fred Jacobs, Michael Wei
2019 USENIX Annual Technical Conference (ATC) | July, 2019
Assessing Heuristic Machine Learning Explanations with Model Counting
Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques Silva
The 22nd International Conference on Theory and Applications of Satisfiability Testing | July, 2019
Assessing Heuristic Machine Learning Explanations with Model Counting*
Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques Silva
The 22nd International Conference on Theory and Applications of Satisfiability Testing | July, 2019
Communication Complexity of Byzantine Agreement, Revisited
Ittai Abraham, Kartik Nayak, T-H. Hubert Chan, Danny Dolev, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi
Principles of Distributed Computing, PODC | July, 2019