S. Devadas

Most-cited papers

Intel SGX Explained
Victor Costan, S. Devadas
2016IACR Cryptology ePrint Archive2,262 citations
Semantic Scholar
Sanctum: Minimal Hardware Extensions for Strong Software Isolation
Victor Costan, Ilia A. Lebedev, S. Devadas
2016USENIX Security Symposium663 citations
Semantic Scholar
F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption
Axel S. Feldmann, Nikola Samardžić, Aleksandar Krastev, S. Devadas +5 more
2021Micro412 citations Open access
Semantic Scholar
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors
Vladimir Kiriansky, Ilia A. Lebedev, Saman P. Amarasinghe, S. Devadas +1 more
2018Micro328 citations Open access
Semantic Scholar
Var-CNN: A Data-Efficient Website Fingerprinting Attack Based on Deep Learning
Sanjit Bhat, David Lu, Albert Kwon, S. Devadas
2018Proceedings on Privacy Enhancing Technologies297 citations Open access
Semantic Scholar
CraterLake: a hardware accelerator for efficient unbounded computation on encrypted data
Nikola Samardžić, Axel Feldmann, Aleksandar Krastev, Nathan Manohar +5 more
2022International Symposium on Computer Architecture290 citations Open access
Semantic Scholar
TicToc: Time Traveling Optimistic Concurrency Control
Xiang-Yao Yu, Andrew Pavlo, Daniel Sánchez, S. Devadas
2016SIGMOD Conference208 citations Open access
Semantic Scholar
A Lockdown Technique to Prevent Machine Learning on PUFs for Lightweight Authentication
M. Yu, Matthias Hiller, Jeroen Delvaux, R. Sowell +2 more
2016IEEE Transactions on Multi-Scale Computing Systems185 citations Open access
Semantic Scholar
Onion ORAM: A Constant Bandwidth Blowup Oblivious RAM
S. Devadas, Marten van Dijk, Christopher W. Fletcher, Ling Ren +2 more
2016Theory of Cryptography Conference170 citations Open access
Semantic Scholar
MI6: Secure Enclaves in a Speculative Out-of-Order Processor
Thomas Bourgeat, Ilia A. Lebedev, A. Wright, Si-Zhuo Zhang +2 more
2018Micro158 citations Open access
Semantic Scholar
A Formal Foundation for Secure Remote Execution of Enclaves
P. Subramanyan, Rohit Sinha, Ilia A. Lebedev, S. Devadas +1 more
2017IACR Cryptology ePrint Archive152 citations
Semantic Scholar
Catena: Efficient Non-equivocation via Bitcoin
Alin Tomescu, S. Devadas
2017IEEE Symposium on Security and Privacy146 citations
Semantic Scholar
Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n2) Communication, and Optimal Resilience
Ittai Abraham, S. Devadas, D. Dolev, Kartik Nayak +1 more
2019IACR Cryptology ePrint Archive131 citations
Semantic Scholar
Atom: Horizontally Scaling Strong Anonymity
Albert Kwon, Henry Corrigan-Gibbs, S. Devadas, Bryan Ford
2016Symposium on Operating Systems Principles125 citations Open access
Semantic Scholar
Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM
Christopher W. Fletcher, Ling Ren, Albert Kwon, Marten van Dijk +1 more
2015International Conference on Architectural Support for Programming Languages and Operating Systems109 citations Open access
Semantic Scholar
Towards Scalable Threshold Cryptosystems
Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham +3 more
2020IEEE Symposium on Security and Privacy107 citations Open access
Semantic Scholar
Trapdoor Computational Fuzzy Extractors and Stateless Cryptographically-Secure Physical Unclonable Functions
Charles Herder, Ling Ren, Marten van Dijk, M. Yu +1 more
2017IEEE Transactions on Dependable and Secure Computing95 citations Open access
Semantic Scholar
Banshee: Bandwidth-Efficient DRAM Caching via Software/Hardware Cooperation
Xiang-Yao Yu, C. J. Hughes, N. Satish, Onur Mutlu +1 more
2017Micro88 citations
Semantic Scholar
XRD: Scalable Messaging System with Cryptographic Privacy
Albert Kwon, David Lu, S. Devadas
2019Symposium on Networked Systems Design and Implementation87 citations
Semantic Scholar
Riffle
Albert Kwon, David Lazar, S. Devadas, Bryan Ford
2016Proceedings on Privacy Enhancing Technologies86 citations Open access
Semantic Scholar
Transparency Logs via Append-Only Authenticated Dictionaries
Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou +2 more
2019IACR Cryptology ePrint Archive74 citations Open access
Semantic Scholar
On Differentially Private Stochastic Convex Optimization with Heavy-tailed Data
Di Wang, Hanshen Xiao, S. Devadas, Jinhui Xu
2020International Conference on Machine Learning70 citations
Semantic Scholar
Proof of Space from Stacked Expanders
Ling Ren, S. Devadas
2016Theory of Cryptography Conference64 citations
Semantic Scholar
Robomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology
Sabrina M. Neuman, Brian Plancher, Thomas Bourgeat, Thierry Tambe +2 more
2021International Conference on Architectural Support for Programming Languages and Operating Systems59 citations Open access
Semantic Scholar
Sundial: Harmonizing Concurrency Control and Caching in a Distributed OLTP Database Management System
Xiang-Yao Yu, Yu-Chong Xia, Andrew Pavlo, Daniel Sánchez +2 more
2018Proceedings of the VLDB Endowment59 citations Open access
Semantic Scholar
Invited Paper: Secure Boot and Remote Attestation in the Sanctum Processor
Ilia A. Lebedev, Kyle Hogan, S. Devadas
2018IEEE Computer Security Foundations Symposium57 citations Open access
Semantic Scholar
PrORAM: Dynamic prefetcher for Oblivious RAM
Xiang-Yao Yu, Syed Kamran Haider, Ling Ren, Christopher W. Fletcher +3 more
2015International Symposium on Computer Architecture50 citations Open access
Semantic Scholar
A Theory to Instruct Differentially-Private Learning via Clipping Bias Reduction
Hanshen Xiao, Zihang Xiang, Di Wang, S. Devadas
2023IEEE Symposium on Security and Privacy48 citations
Semantic Scholar
Private Approximate Nearest Neighbor Search with Sublinear Communication
Sacha Servan-Schreiber, Simon Langowski, S. Devadas
2022IEEE Symposium on Security and Privacy48 citations
Semantic Scholar
DynaFlow: An Efficient Website Fingerprinting Defense Based on Dynamically-Adjusting Flows
David Lu, Sanjit Bhat, Albert Kwon, S. Devadas
2018WPES@CCS48 citations Open access
Semantic Scholar
Efficient Synchronous Byzantine Consensus
Ittai Abraham, S. Devadas, D. Dolev, Kartik Nayak +1 more
201746 citations
Semantic Scholar
Beaver: A Decentralized Anonymous Marketplace with Secure Reputation
K. Soska, Albert Kwon, Nicolas Christin, S. Devadas
2016IACR Cryptology ePrint Archive46 citations
Semantic Scholar
Bandwidth Hard Functions for ASIC Resistance
Ling Ren, S. Devadas
2017Theory of Cryptography Conference41 citations
Semantic Scholar
Accelerating Robot Dynamics Gradients on a CPU, GPU, and FPGA
Brian Plancher, Sabrina M. Neuman, Thomas Bourgeat, S. Kuindersma +2 more
2021IEEE Robotics and Automation Letters40 citations Open access
Semantic Scholar
Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture
Victor Costan, Ilia A. Lebedev, S. Devadas
2017Foundations and Trends® in Electronic Design Automation40 citations
Semantic Scholar
Expected Constant Round Byzantine Broadcast under Dishonest Majority
Jun Wan, Hanshen Xiao, Elaine Shi, S. Devadas
2025IACR Cryptology ePrint Archive39 citations Open access
Semantic Scholar
PAC Privacy: Automatic Privacy Measurement and Control of Data Processing
Hanshen Xiao, S. Devadas
2022Annual International Cryptology Conference38 citations Open access
Semantic Scholar
Practical Synchronous Byzantine Consensus
Ling Ren, Kartik Nayak, Ittai Abraham, S. Devadas
2017IACR Cryptology ePrint Archive38 citations
Semantic Scholar
Spectrum: High-bandwidth Anonymous Broadcast
Zachary Newman, Sacha Servan-Schreiber, S. Devadas
2022Symposium on Networked Systems Design and Implementation37 citations
Semantic Scholar
Design and Implementation of the Ascend Secure Processor
Ling Ren, Christopher W. Fletcher, Albert Kwon, M. van Dijk +1 more
2019IEEE Transactions on Dependable and Secure Computing36 citations Open access
Semantic Scholar
Round-Efficient Byzantine Broadcast under Strongly Adaptive and Majority Corruptions
Jun Wan, Hanshen Xiao, S. Devadas, Elaine Shi
2020IACR Cryptology ePrint Archive30 citations
Semantic Scholar
FPGA Implementation of a Cryptographically-Secure PUF Based on Learning Parity with Noise
Cheng-Lu Jin, Charles Herder, Ling Ren, P. Nguyen +3 more
2017Cryptogr.30 citations Open access
Semantic Scholar
Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture
Victor Costan, Ilia A. Lebedev, S. Devadas
2017Foundations and Trends® in Electronic Design Automation29 citations
Semantic Scholar
Brief Announcement: Practical Synchronous Byzantine Consensus
Ittai Abraham, S. Devadas, Kartik Nayak, Ling Ren
2017International Symposium on Distributed Computing28 citations
Semantic Scholar
AdVeil: A Private Targeted-Advertising Ecosystem
Sacha Servan-Schreiber, Kyle Hogan, S. Devadas
2021IACR Cryptology ePrint Archive26 citations
Semantic Scholar
Taurus: Lightweight Parallel Logging for In-Memory Database Management Systems (Extended Version)
Yu-Chong Xia, Xiang-Yao Yu, Andrew Pavlo, S. Devadas
2020Proceedings of the VLDB Endowment25 citations Open access
Semantic Scholar
Locality-aware data replication in the last-level cache for large scale multicores
Farrukh Hijaz, Q. Shi, George Kurian, S. Devadas +1 more
2016International Symposium on High-Performance Computer Architecture23 citations
Semantic Scholar
Maximum-likelihood decoding of device-specific multi-bit symbols for reliable key generation
M. Yu, Matthias Hiller, S. Devadas
2015IEEE International Symposium on Hardware Oriented Security and Trust23 citations Open access
Semantic Scholar
Benchmarking and Workload Analysis of Robot Dynamics Algorithms
Sabrina M. Neuman, T. Koolen, Jules Drean, Jason E. Miller +1 more
2019IEEE/RJS International Conference on Intelligent RObots and Systems21 citations
Semantic Scholar
Sanctorum: A lightweight security monitor for secure enclaves
Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner +4 more
2018Design, Automation and Test in Europe21 citations
Semantic Scholar