Srinivas Devadas

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 103

Top Venues

IACR Cryptol. ePrint Arch.

CoRR

MICRO

USENIX Security Symposium

Publications

Mayuri Sridhar, Hanshen Xiao, Srinivas Devadas
PAC-Private Algorithms. IACR Cryptol. ePrint Arch. 2024 (2024)
Geoffroy Couteau, Lalita Devadas, Srinivas Devadas, Alexander Koch, Sacha Servan-Schreiber
QuietOT: Lightweight Oblivious Transfer with a Public-Key Setup. IACR Cryptol. ePrint Arch. 2024 (2024)
Aleksandar Krastev, Nikola Samardzic, Simon Langowski, Srinivas Devadas, Daniel Sánchez
A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Hanshen Xiao, Jun Wan, Srinivas Devadas
Geometry of Sensitivity: Twice Sampling and Hybrid Clipping in Differential Privacy with Optimal Gaussian Noise and Application to Deep Learning. CoRR (2023)
Mayuri Sridhar, Srinivas Devadas
Robust Near-Optimal Arm Identification With Strongly-Adaptive Adversaries. IEEE Trans. Signal Process. 71 (2023)
Hanshen Xiao, Zihang Xiang, Di Wang, Srinivas Devadas
A Theory to Instruct Differentially-Private Learning via Clipping Bias Reduction. SP (2023)
Jules Drean, Miguel Gomez-Garcia, Thomas Bourgeat, Srinivas Devadas
Citadel: Side-Channel-Resistant Enclaves with Secure Shared Memory on a Speculative Out-of-Order Processor. CoRR (2023)
Hongyi Liu, Jiarong Xing, Yibo Huang, Danyang Zhuo, Srinivas Devadas, Ang Chen
Remote Direct Memory Introspection. USENIX Security Symposium (2023)
Hanshen Xiao, Jun Wan, Srinivas Devadas
Geometry of Sensitivity: Twice Sampling and Hybrid Clipping in Differential Privacy with Optimal Gaussian Noise and Application to Deep Learning. CCS (2023)
Hanshen Xiao, Srinivas Devadas
PAC Privacy: Automatic Privacy Measurement and Control of Data Processing. CRYPTO (2) (2023)
Simon Langowski, Sacha Servan-Schreiber, Srinivas Devadas
Trellis: Robust and Scalable Metadata-private Anonymous Broadcast. NDSS (2023)
Axel Feldmann, Nikola Samardzic, Aleksandar Krastev, Srinivas Devadas, Ronald G. Dreslinski, Chris Peikert, Daniel Sánchez
An Architecture to Accelerate Computation on Encrypted Data. IEEE Micro 42 (4) (2022)
Yunzhou Yan, Yu Xia, Srinivas Devadas
Shanrang: Fully Asynchronous Proactive Secret Sharing with Dynamic Committees. IACR Cryptol. ePrint Arch. 2022 (2022)
Hanshen Xiao, Jun Wan, Srinivas Devadas
Differentially Private Deep Learning with ModelMix. CoRR (2022)
Hanshen Xiao, Srinivas Devadas
PAC Security: Automatic Privacy Measurement and Control of Data Processing. CoRR (2022)
Srinivas Devadas, Simon Langowski, Nikola Samardzic, Sacha Servan-Schreiber, Daniel Sánchez
Designing Hardware for Cryptography and Cryptography for Hardware. CCS (2022)
Sacha Servan-Schreiber, Simon Langowski, Srinivas Devadas
Private Approximate Nearest Neighbor Search with Sublinear Communication. IEEE Symposium on Security and Privacy (2022)
Kyle Hogan, Sacha Servan-Schreiber, Zachary Newman, Ben Weintraub, Cristina Nita-Rotaru, Srinivas Devadas
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing. CoRR (2022)
Nikola Samardzic, Axel Feldmann, Aleksandar Krastev, Nathan Manohar, Nicholas Genise, Srinivas Devadas, Karim Eldefrawy, Chris Peikert, Daniel Sánchez
CraterLake: a hardware accelerator for efficient unbounded computation on encrypted data. ISCA (2022)
Zachary Newman, Sacha Servan-Schreiber, Srinivas Devadas
Spectrum: High-bandwidth Anonymous Broadcast. NSDI (2022)
Kyle Hogan, Sacha Servan-Schreiber, Zachary Newman, Ben Weintraub, Cristina Nita-Rotaru, Srinivas Devadas
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing. IEEE Symposium on Security and Privacy (2022)
Yu Xia, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas
Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. SIGMOD Conference (2022)
Simon Langowski, Sacha Servan-Schreiber, Srinivas Devadas
Trellis: Robust and Scalable Metadata-private Anonymous Broadcast. IACR Cryptol. ePrint Arch. 2022 (2022)
Hanshen Xiao, Srinivas Devadas
The Art of Labeling: Task Augmentation for Private(Collaborative) Learning on Transformed Data. IACR Cryptol. ePrint Arch. 2021 (2021)
Hanshen Xiao, Srinivas Devadas
Towards Understanding Practical Randomness Beyond Noise: Differential Privacy and Mixup. IACR Cryptol. ePrint Arch. 2021 (2021)
Nikola Samardzic, Axel Feldmann, Aleksandar Krastev, Srinivas Devadas, Ronald G. Dreslinski, Christopher Peikert, Daniel Sánchez
F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption. MICRO (2021)
Brian Plancher, Sabrina M. Neuman, Thomas Bourgeat, Scott Kuindersma, Srinivas Devadas, Vijay Janapa Reddi
Accelerating Robot Dynamics Gradients on a CPU, GPU, and FPGA. IEEE Robotics Autom. Lett. 6 (2) (2021)
Sabrina M. Neuman, Brian Plancher, Thomas Bourgeat, Thierry Tambe, Srinivas Devadas, Vijay Janapa Reddi
Robomorphic computing: a design methodology for domain-specific accelerators parameterized by robot morphology. ASPLOS (2021)
Sacha Servan-Schreiber, Simon Langowski, Srinivas Devadas
Lightweight Private Similarity Search. IACR Cryptol. ePrint Arch. 2021 (2021)
Sacha Servan-Schreiber, Kyle Hogan, Srinivas Devadas
AdVeil: A Private Targeted-Advertising Ecosystem. IACR Cryptol. ePrint Arch. 2021 (2021)
Hanshen Xiao, Srinivas Devadas
DAUnTLeSS: Data Augmentation and Uniform Transformation for Learning with Scalability and Security. IACR Cryptol. ePrint Arch. 2021 (2021)
Zachary Newman, Sacha Servan-Schreiber, Srinivas Devadas
Spectrum: High-Bandwidth Anonymous Broadcast with Malicious Security. IACR Cryptol. ePrint Arch. 2021 (2021)
Jun Wan, Hanshen Xiao, Elaine Shi, Srinivas Devadas
Expected Constant Round Byzantine Broadcast under Dishonest Majority. IACR Cryptol. ePrint Arch. 2020 (2020)
Yu Xia, Xiangyao Yu, Andrew Pavlo, Srinivas Devadas
Taurus: Lightweight Parallel Logging for In-Memory Database Management Systems. Proc. VLDB Endow. 14 (2) (2020)
Di Wang, Hanshen Xiao, Srinivas Devadas, Jinhui Xu
On Differentially Private Stochastic Convex Optimization with Heavy-tailed Data. ICML (2020)
Jun Wan, Hanshen Xiao, Srinivas Devadas, Elaine Shi
Round-Efficient Byzantine Broadcast under Strongly Adaptive and Majority Corruptions. IACR Cryptol. ePrint Arch. 2020 (2020)
Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan-Gueta, Srinivas Devadas
Towards Scalable Threshold Cryptosystems. IEEE Symposium on Security and Privacy (2020)
Emil Stefanov, Marten van Dijk, Elaine Shi, Christopher W. Fletcher, Ling Ren, Xiangyao Yu, Srinivas Devadas
A Retrospective on Path ORAM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (8) (2020)
Albert Kwon, David Lu, Srinivas Devadas
XRD: Scalable Messaging System with Cryptographic Privacy. NSDI (2020)
Jun Wan, Hanshen Xiao, Elaine Shi, Srinivas Devadas
Expected Constant Round Byzantine Broadcast Under Dishonest Majority. TCC (1) (2020)
Yu Xia, Xiangyao Yu, Andrew Pavlo, Srinivas Devadas
Taurus: Lightweight Parallel Logging for In-Memory Database Management Systems (Extended Version). CoRR (2020)
Jun Wan, Hanshen Xiao, Srinivas Devadas, Elaine Shi
Round-Efficient Byzantine Broadcast Under Strongly Adaptive and Majority Corruptions. TCC (1) (2020)
Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas
Sanctorum: A lightweight security monitor for secure enclaves. IACR Cryptol. ePrint Arch. 2019 (2019)
Sabrina M. Neuman, Twan Koolen, Jules Drean, Jason E. Miller, Srinivas Devadas
Benchmarking and Workload Analysis of Robot Dynamics Algorithms. IROS (2019)
Yu Xia, Xiangyao Yu, William S. Moses, Julian Shun, Srinivas Devadas
LiTM: A Lightweight Deterministic Software Transactional Memory System. PMAM@PPoPP (2019)
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. MICRO (2019)
Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas
Transparency Logs via Append-Only Authenticated Dictionaries. CCS (2019)
Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas
Sanctorum: A lightweight security monitor for secure enclaves. DATE (2019)
Ling Ren, Christopher W. Fletcher, Albert Kwon, Marten van Dijk, Srinivas Devadas
Design and Implementation of the Ascend Secure Processor. IEEE Trans. Dependable Secur. Comput. 16 (2) (2019)
Albert Kwon, David Lu, Srinivas Devadas
XRD: Scalable Messaging System with Cryptographic Privacy. CoRR (2019)
Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren
) Communication, and Optimal Resilience. Financial Cryptography (2019)
Sanjit Bhat, David Lu, Albert Kwon, Srinivas Devadas
Var-CNN: A Data-Efficient Website Fingerprinting Attack Based on Deep Learning. Proc. Priv. Enhancing Technol. 2019 (4) (2019)
David Lu, Sanjit Bhat, Albert Kwon, Srinivas Devadas
DynaFlow: An Efficient Website Fingerprinting Defense Based on Dynamically-Adjusting Flows. WPES@CCS (2018)
Michael Vai, David Whelihan, Jacob Leemaster, Haley Whitman, Willahelm Wan, Yunsi Fei, Roger Khazan, Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas
Mission Assurance: Beyond Secure Processing. QRS Companion (2018)
Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. CoRR (2018)
Sanjit Bhat, David Lu, Albert Kwon, Srinivas Devadas
Var-CNN and DynaFlow: Improved Attacks and Defenses for Website Fingerprinting. CoRR (2018)
Vladimir Kiriansky, Ilia A. Lebedev, Saman P. Amarasinghe, Srinivas Devadas, Joel S. Emer
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors. IACR Cryptol. ePrint Arch. 2018 (2018)
Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren
Communication, and Optimal Resilience. IACR Cryptol. ePrint Arch. 2018 (2018)
Xiangyao Yu, Yu Xia, Andrew Pavlo, Daniel Sánchez, Larry Rudolph, Srinivas Devadas
Sundial: Harmonizing Concurrency Control and Caching in a Distributed OLTP Database Management System. Proc. VLDB Endow. 11 (10) (2018)
Ilia Lebedev, Kyle Hogan, Srinivas Devadas
Invited Paper: Secure Boot and Remote Attestation in the Sanctum Processor. CSF (2018)
Emil Stefanov, Marten van Dijk, Elaine Shi, T.-H. Hubert Chan, Christopher W. Fletcher, Ling Ren, Xiangyao Yu, Srinivas Devadas
Path ORAM: An Extremely Simple Oblivious RAM Protocol. J. ACM 65 (4) (2018)
Vladimir Kiriansky, Ilia A. Lebedev, Saman P. Amarasinghe, Srinivas Devadas, Joel S. Emer
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors. MICRO (2018)
Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas
Sanctorum: A lightweight security monitor for secure enclaves. CoRR (2018)
Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas
Transparency Logs via Append-only Authenticated Dictionaries. IACR Cryptol. ePrint Arch. 2018 (2018)
Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas
Secure Boot and Remote Attestation in the Sanctum Processor. IACR Cryptol. ePrint Arch. 2018 (2018)
Charles Herder, Benjamin Fuller, Marten van Dijk, Srinivas Devadas
Public Key Cryptosystems with Noisy Secret Keys. IACR Cryptol. ePrint Arch. 2017 (2017)
Sabrina M. Neuman, Jason E. Miller, Daniel Sánchez, Srinivas Devadas
Using Application-Level Thread Progress Information to Manage Power and Performance. ICCD (2017)
Srinivas Devadas, Ling Ren, Hanshen Xiao
On Iterative Collision Search for LPN and Subset Sum. TCC (2) (2017)
Ling Ren, Srinivas Devadas
Bandwidth Hard Functions for ASIC Resistance. IACR Cryptol. ePrint Arch. 2017 (2017)
Srinivas Devadas, Ling Ren, Hanshen Xiao
On Iterative Collision Search for LPN and Subset Sum. IACR Cryptol. ePrint Arch. 2017 (2017)
Ling Ren, Srinivas Devadas
Bandwidth Hard Functions for ASIC Resistance. TCC (1) (2017)
Syed Kamran Haider, Hamza Omar, Ilia A. Lebedev, Srinivas Devadas, Marten van Dijk
Leveraging Hardware Isolation for Process Level Access Control & Authentication. SACMAT (2017)
Ling Ren, Kartik Nayak, Ittai Abraham, Srinivas Devadas
Practical Synchronous Byzantine Consensus. CoRR (2017)
Victor Costan, Ilia A. Lebedev, Srinivas Devadas
Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture. Found. Trends Electron. Des. Autom. 11 (3) (2017)
Chenglu Jin, Charles Herder, Ling Ren, Phuong Ha Nguyen, Benjamin Fuller, Srinivas Devadas, Marten van Dijk
FPGA Implementation of a Cryptographically-Secure PUF Based on Learning Parity with Noise. Cryptogr. 1 (3) (2017)
Victor Costan, Ilia A. Lebedev, Srinivas Devadas
Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture. Found. Trends Electron. Des. Autom. 11 (1-2) (2017)
Charles Herder, Ling Ren, Marten van Dijk, Meng-Day (Mandel) Yu, Srinivas Devadas
Trapdoor Computational Fuzzy Extractors and Stateless Cryptographically-Secure Physical Unclonable Functions. IEEE Trans. Dependable Secur. Comput. 14 (1) (2017)
Ling Ren, Kartik Nayak, Ittai Abraham, Srinivas Devadas
Practical Synchronous Byzantine Consensus. IACR Cryptol. ePrint Arch. 2017 (2017)
Meng-Day (Mandel) Yu, Srinivas Devadas
Pervasive, dynamic authentication of physical items. Commun. ACM 60 (4) (2017)
Mashael AlSabah, Alin Tomescu, Ilia A. Lebedev, Dimitrios N. Serpanos, Srinivas Devadas
PriviPK: Certificate-less and secure email communication. Comput. Secur. 70 (2017)
Xiangyao Yu, Christopher J. Hughes, Nadathur Satish, Onur Mutlu, Srinivas Devadas
Banshee: bandwidth-efficient DRAM caching via software/hardware cooperation. MICRO (2017)
Xiangyao Yu, Christopher J. Hughes, Nadathur Satish, Onur Mutlu, Srinivas Devadas
Banshee: Bandwidth-Efficient DRAM Caching Via Software/Hardware Cooperation. CoRR (2017)
Alin Tomescu, Srinivas Devadas
Catena: Efficient Non-equivocation via Bitcoin. IEEE Symposium on Security and Privacy (2017)
Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford
Atom: Horizontally Scaling Strong Anonymity. SOSP (2017)
Ittai Abraham, Srinivas Devadas, Kartik Nayak, Ling Ren
Brief Announcement: Practical Synchronous Byzantine Consensus. DISC (2017)
Srinivas Devadas
Secure Hardware and Cryptography: Contrasts, Synergies and Challenges. ASHES@CCS (2017)
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia
A Formal Foundation for Secure Remote Execution of Enclaves. CCS (2017)
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia
A Formal Foundation for Secure Remote Execution of Enclaves. IACR Cryptol. ePrint Arch. 2017 (2017)
Victor Costan, Srinivas Devadas
Intel SGX Explained. IACR Cryptol. ePrint Arch. 2016 (2016)
Albert Kwon, David Lazar, Srinivas Devadas, Bryan Ford
Riffle: An Efficient Communication System With Strong Anonymity. Proc. Priv. Enhancing Technol. 2016 (2) (2016)
Alin Tomescu, Srinivas Devadas
Catena: Preventing Lies with Bitcoin. IACR Cryptol. ePrint Arch. 2016 (2016)
Xiangyao Yu, Andrew Pavlo, Daniel Sánchez, Srinivas Devadas
TicToc: Time Traveling Optimistic Concurrency Control. SIGMOD Conference (2016)
Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford
Atom: Scalable Anonymity Resistant to Traffic Analysis. CoRR (2016)
Qingchuan Shi, George Kurian, Farrukh Hijaz, Srinivas Devadas, Omer Khan
LDAC: Locality-Aware Data Access Control for Large-Scale Multicore Cache Hierarchies. ACM Trans. Archit. Code Optim. 13 (4) (2016)
Xiangyao Yu, Hongzhe Liu, Ethan Zou, Srinivas Devadas
Tardis 2.0: Optimized Time Traveling Coherence for Relaxed Consistency Models. PACT (2016)
Kyle Soska, Albert Kwon, Nicolas Christin, Srinivas Devadas
Beaver: A Decentralized Anonymous Marketplace with Secure Reputation. IACR Cryptol. ePrint Arch. 2016 (2016)
Ling Ren, Srinivas Devadas
Proof of Space from Stacked Bipartite Graphs. IACR Cryptol. ePrint Arch. 2016 (2016)
Farrukh Hijaz, Qingchuan Shi, George Kurian, Srinivas Devadas, Omer Khan
Locality-aware data replication in the last-level cache for large scale multicores. J. Supercomput. 72 (2) (2016)
Ling Ren, Srinivas Devadas
Proof of Space from Stacked Expanders. TCC (B1) (2016)
Srinivas Devadas, Marten van Dijk, Christopher W. Fletcher, Ling Ren, Elaine Shi, Daniel Wichs
Onion ORAM: A Constant Bandwidth Blowup Oblivious RAM. TCC (A2) (2016)

Srinivas Devadas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Srinivas Devadas