


default search action
Srini Devadas
Srinivas Devadas
Person information
- affiliation: Massachusetts Institute of Technology, Cambridge, MA, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j119]Srinivas Devadas, Daniel Sánchez:
Toward a Universal Cryptographic Accelerator. Computer 58(1): 105-108 (2025) - 2024
- [j118]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): 126-150 (2024) - [c208]Geoffroy Couteau, Lalita Devadas, Srinivas Devadas, Alexander Koch, Sacha Servan-Schreiber:
QuietOT: Lightweight Oblivious Transfer with a Public-Key Setup. ASIACRYPT (2) 2024: 197-231 - [c207]Hanshen Xiao
, G. Edward Suh
, Srinivas Devadas
:
Formal Privacy Proof of Data Encoding: The Possibility and Impossibility of Learnable Encryption. CCS 2024: 1834-1848 - [c206]Nikola Samardzic, Simon Langowski, Srinivas Devadas, Daniel Sánchez:
Accelerating Zero-Knowledge Proofs Through Hardware-Algorithm Co-Design. MICRO 2024: 366-379 - [i61]Jules Drean, Fisher Jepsen, Edward Suh, Srini Devadas, Aamer Jaleel, Gururaj Saileshwar:
Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware. CoRR abs/2412.03550 (2024) - [i60]Mayuri Sridhar, Hanshen Xiao, Srinivas Devadas:
PAC-Private Algorithms. IACR Cryptol. ePrint Arch. 2024: 718 (2024) - [i59]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: 1079 (2024) - 2023
- [j117]Simha Sethumadhavan, Srini Devadas:
Guest Editorial: IEEE Transactions on Computer, Special Issue on Hardware Security. IEEE Trans. Computers 72(2): 305 (2023) - [j116]Mayuri Sridhar
, Srinivas Devadas
:
Robust Near-Optimal Arm Identification With Strongly-Adaptive Adversaries. IEEE Trans. Signal Process. 71: 4257-4272 (2023) - [c205]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: 2636-2650 - [c204]Hanshen Xiao, Srinivas Devadas:
PAC Privacy: Automatic Privacy Measurement and Control of Data Processing. CRYPTO (2) 2023: 611-644 - [c203]Simon Langowski, Sacha Servan-Schreiber, Srinivas Devadas:
Trellis: Robust and Scalable Metadata-private Anonymous Broadcast. NDSS 2023 - [c202]Hanshen Xiao, Zihang Xiang, Di Wang
, Srinivas Devadas:
A Theory to Instruct Differentially-Private Learning via Clipping Bias Reduction. SP 2023: 2170-2189 - [c201]Hongyi Liu, Jiarong Xing, Yibo Huang, Danyang Zhuo, Srinivas Devadas, Ang Chen:
Remote Direct Memory Introspection. USENIX Security Symposium 2023: 6043-6060 - [i58]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 abs/2306.14882 (2023) - [i57]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 abs/2309.02672 (2023) - 2022
- [j115]Srini Devadas, Jeyavijayan Rajendran
:
Guest Editors' Introduction: Special Issue on 2021 Top Picks in Hardware and Embedded Security. IEEE Des. Test 39(4): 5-6 (2022) - [j114]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): 59-68 (2022) - [c200]Srinivas Devadas, Simon Langowski, Nikola Samardzic, Sacha Servan-Schreiber, Daniel Sánchez:
Designing Hardware for Cryptography and Cryptography for Hardware. CCS 2022: 1-4 - [c199]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: 173-187 - [c198]Zachary Newman, Sacha Servan-Schreiber, Srinivas Devadas:
Spectrum: High-bandwidth Anonymous Broadcast. NSDI 2022: 229-248 - [c197]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: 1478-1492 - [c196]Sacha Servan-Schreiber, Simon Langowski, Srinivas Devadas:
Private Approximate Nearest Neighbor Search with Sublinear Communication. SP 2022: 911-929 - [c195]Kyle Hogan, Sacha Servan-Schreiber, Zachary Newman
, Ben Weintraub, Cristina Nita-Rotaru, Srinivas Devadas:
ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing. SP 2022: 1933-1952 - [i56]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 abs/2204.04489 (2022) - [i55]Hanshen Xiao, Srinivas Devadas:
PAC Security: Automatic Privacy Measurement and Control of Data Processing. CoRR abs/2210.03458 (2022) - [i54]Hanshen Xiao, Jun Wan, Srinivas Devadas:
Differentially Private Deep Learning with ModelMix. CoRR abs/2210.03843 (2022) - [i53]Yunzhou Yan, Yu Xia, Srinivas Devadas:
Shanrang: Fully Asynchronous Proactive Secret Sharing with Dynamic Committees. IACR Cryptol. ePrint Arch. 2022: 164 (2022) - [i52]Simon Langowski, Sacha Servan-Schreiber, Srinivas Devadas:
Trellis: Robust and Scalable Metadata-private Anonymous Broadcast. IACR Cryptol. ePrint Arch. 2022: 1548 (2022) - 2021
- [j113]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): 2335-2342 (2021) - [c194]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: 674-686 - [c193]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: 238-252 - [i51]Axel Feldmann, Nikola Samardzic, Aleksandar Krastev, Srini Devadas, Ronald G. Dreslinski, Karim Eldefrawy, Nicholas Genise, Chris Peikert, Daniel Sánchez:
F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption (Extended Version). CoRR abs/2109.05371 (2021) - [i50]Hanshen Xiao, Srinivas Devadas:
DAUnTLeSS: Data Augmentation and Uniform Transformation for Learning with Scalability and Security. IACR Cryptol. ePrint Arch. 2021: 201 (2021) - [i49]Zachary Newman
, Sacha Servan-Schreiber, Srinivas Devadas:
Spectrum: High-Bandwidth Anonymous Broadcast with Malicious Security. IACR Cryptol. ePrint Arch. 2021: 325 (2021) - [i48]Hanshen Xiao, Srinivas Devadas:
The Art of Labeling: Task Augmentation for Private(Collaborative) Learning on Transformed Data. IACR Cryptol. ePrint Arch. 2021: 601 (2021) - [i47]Hanshen Xiao, Srinivas Devadas:
Towards Understanding Practical Randomness Beyond Noise: Differential Privacy and Mixup. IACR Cryptol. ePrint Arch. 2021: 687 (2021) - [i46]Sacha Servan-Schreiber, Kyle Hogan, Srinivas Devadas:
AdVeil: A Private Targeted-Advertising Ecosystem. IACR Cryptol. ePrint Arch. 2021: 1032 (2021) - [i45]Sacha Servan-Schreiber, Simon Langowski, Srinivas Devadas:
Lightweight Private Similarity Search. IACR Cryptol. ePrint Arch. 2021: 1157 (2021) - 2020
- [j112]Yu Xia, Xiangyao Yu, Andrew Pavlo
, Srinivas Devadas:
Taurus: Lightweight Parallel Logging for In-Memory Database Management Systems. Proc. VLDB Endow. 14(2): 189-201 (2020) - [j111]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): 1572-1576 (2020) - [c192]Di Wang, Hanshen Xiao, Srinivas Devadas, Jinhui Xu:
On Differentially Private Stochastic Convex Optimization with Heavy-tailed Data. ICML 2020: 10081-10091 - [c191]Albert Kwon, David Lu, Srinivas Devadas:
XRD: Scalable Messaging System with Cryptographic Privacy. NSDI 2020: 759-776 - [c190]Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan-Gueta, Srinivas Devadas:
Towards Scalable Threshold Cryptosystems. SP 2020: 877-893 - [c189]Jun Wan, Hanshen Xiao, Elaine Shi, Srinivas Devadas:
Expected Constant Round Byzantine Broadcast Under Dishonest Majority. TCC (1) 2020: 381-411 - [c188]Jun Wan, Hanshen Xiao, Srinivas Devadas, Elaine Shi:
Round-Efficient Byzantine Broadcast Under Strongly Adaptive and Majority Corruptions. TCC (1) 2020: 412-456 - [i44]Yu Xia, Xiangyao Yu, Andrew Pavlo, Srinivas Devadas:
Taurus: Lightweight Parallel Logging for In-Memory Database Management Systems (Extended Version). CoRR abs/2010.06760 (2020) - [i43]Di Wang, Hanshen Xiao, Srini Devadas, Jinhui Xu:
On Differentially Private Stochastic Convex Optimization with Heavy-tailed Data. CoRR abs/2010.11082 (2020) - [i42]Jun Wan, Hanshen Xiao, Elaine Shi, Srinivas Devadas:
Expected Constant Round Byzantine Broadcast under Dishonest Majority. IACR Cryptol. ePrint Arch. 2020: 590 (2020) - [i41]Jun Wan, Hanshen Xiao, Srinivas Devadas, Elaine Shi:
Round-Efficient Byzantine Broadcast under Strongly Adaptive and Majority Corruptions. IACR Cryptol. ePrint Arch. 2020: 1236 (2020)
2010 – 2019
- 2019
- [j110]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): 292-310 (2019) - [j109]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): 204-216 (2019) - [c187]Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas:
Transparency Logs via Append-Only Authenticated Dictionaries. CCS 2019: 1299-1316 - [c186]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: 1142-1147 - [c185]Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren
:
Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n2) Communication, and Optimal Resilience. Financial Cryptography 2019: 320-334 - [c184]Sabrina M. Neuman, Twan Koolen, Jules Drean, Jason E. Miller, Srinivas Devadas:
Benchmarking and Workload Analysis of Robot Dynamics Algorithms. IROS 2019: 5235-5242 - [c183]Thomas Bourgeat
, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas:
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. MICRO 2019: 42-56 - [c182]Yu Xia, Xiangyao Yu, William S. Moses, Julian Shun, Srinivas Devadas:
LiTM: A Lightweight Deterministic Software Transactional Memory System. PMAM@PPoPP 2019: 1-10 - [i40]Albert Kwon, David Lu, Srinivas Devadas:
XRD: Scalable Messaging System with Cryptographic Privacy. CoRR abs/1901.04368 (2019) - [i39]Hanshen Xiao, Ye Yu, Srini Devadas:
On Privacy-preserving Decentralized Optimization through Alternating Direction Method of Multipliers. CoRR abs/1902.06101 (2019) - [i38]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: 1 (2019) - 2018
- [j108]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): 18:1-18:26 (2018) - [j107]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): 1289-1302 (2018) - [c181]Ilia Lebedev, Kyle Hogan, Srinivas Devadas:
Invited Paper: Secure Boot and Remote Attestation in the Sanctum Processor. CSF 2018: 46-60 - [c180]Srini Devadas:
Secure High-Performance Computer Architectures: Challenges and Opportunities. HiPC 2018: 275 - [c179]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: 974-987 - [c178]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: 593-598 - [c177]David Lu, Sanjit Bhat
, Albert Kwon, Srinivas Devadas:
DynaFlow: An Efficient Website Fingerprinting Defense Based on Dynamically-Adjusting Flows. WPES@CCS 2018: 109-113 - [i37]Sanjit Bhat, David Lu, Albert Kwon, Srinivas Devadas:
Var-CNN and DynaFlow: Improved Attacks and Defenses for Website Fingerprinting. CoRR abs/1802.10215 (2018) - [i36]Thomas Bourgeat, Ilia A. Lebedev, Andrew Wright, Sizhuo Zhang, Arvind, Srinivas Devadas:
MI6: Secure Enclaves in a Speculative Out-of-Order Processor. CoRR abs/1812.09822 (2018) - [i35]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 abs/1812.10605 (2018) - [i34]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: 418 (2018) - [i33]Ilia A. Lebedev, Kyle Hogan, Srinivas Devadas:
Secure Boot and Remote Attestation in the Sanctum Processor. IACR Cryptol. ePrint Arch. 2018: 427 (2018) - [i32]Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas:
Transparency Logs via Append-only Authenticated Dictionaries. IACR Cryptol. ePrint Arch. 2018: 721 (2018) - [i31]Ittai Abraham, Srinivas Devadas, Danny Dolev, Kartik Nayak, Ling Ren:
Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n2) Communication, and Optimal Resilience. IACR Cryptol. ePrint Arch. 2018: 1028 (2018) - 2017
- [j106]Meng-Day (Mandel) Yu, Srinivas Devadas:
Pervasive, dynamic authentication of physical items. Commun. ACM 60(4): 32-39 (2017) - [j105]Mashael AlSabah, Alin Tomescu, Ilia A. Lebedev, Dimitrios N. Serpanos
, Srinivas Devadas:
PriviPK: Certificate-less and secure email communication. Comput. Secur. 70: 1-15 (2017) - [j104]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): 23 (2017) - [j103]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): 1-248 (2017) - [j102]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): 249-361 (2017) - [j101]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): 65-82 (2017) - [c176]Srinivas Devadas:
Secure Hardware and Cryptography: Contrasts, Synergies and Challenges. ASHES@CCS 2017: 1 - [c175]Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia:
A Formal Foundation for Secure Remote Execution of Enclaves. CCS 2017: 2435-2450 - [c174]Sabrina M. Neuman, Jason E. Miller, Daniel Sánchez, Srinivas Devadas:
Using Application-Level Thread Progress Information to Manage Power and Performance. ICCD 2017: 501-508 - [c173]Xiangyao Yu, Christopher J. Hughes
, Nadathur Satish, Onur Mutlu, Srinivas Devadas:
Banshee: bandwidth-efficient DRAM caching via software/hardware cooperation. MICRO 2017: 1-14 - [c172]Syed Kamran Haider, Hamza Omar, Ilia A. Lebedev, Srinivas Devadas, Marten van Dijk
:
Leveraging Hardware Isolation for Process Level Access Control & Authentication. SACMAT 2017: 133-141 - [c171]Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford
:
Atom: Horizontally Scaling Strong Anonymity. SOSP 2017: 406-422 - [c170]Alin Tomescu, Srinivas Devadas:
Catena: Efficient Non-equivocation via Bitcoin. IEEE Symposium on Security and Privacy 2017: 393-409 - [c169]Ling Ren, Srinivas Devadas:
Bandwidth Hard Functions for ASIC Resistance. TCC (1) 2017: 466-492 - [c168]Srinivas Devadas, Ling Ren, Hanshen Xiao:
On Iterative Collision Search for LPN and Subset Sum. TCC (2) 2017: 729-746 - [c167]Ittai Abraham, Srinivas Devadas, Kartik Nayak, Ling Ren:
Brief Announcement: Practical Synchronous Byzantine Consensus. DISC 2017: 41:1-41:4 - [i30]Ling Ren, Kartik Nayak, Ittai Abraham, Srinivas Devadas:
Practical Synchronous Byzantine Consensus. CoRR abs/1704.02397 (2017) - [i29]Xiangyao Yu, Christopher J. Hughes, Nadathur Satish, Onur Mutlu, Srinivas Devadas:
Banshee: Bandwidth-Efficient DRAM Caching Via Software/Hardware Cooperation. CoRR abs/1704.02677 (2017) - [i28]Charles Herder, Benjamin Fuller, Marten van Dijk, Srinivas Devadas:
Public Key Cryptosystems with Noisy Secret Keys. IACR Cryptol. ePrint Arch. 2017: 210 (2017) - [i27]Ling Ren, Srinivas Devadas:
Bandwidth Hard Functions for ASIC Resistance. IACR Cryptol. ePrint Arch. 2017: 225 (2017) - [i26]Ling Ren, Kartik Nayak, Ittai Abraham, Srinivas Devadas:
Practical Synchronous Byzantine Consensus. IACR Cryptol. ePrint Arch. 2017: 307 (2017) - [i25]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: 565 (2017) - [i24]Srinivas Devadas, Ling Ren, Hanshen Xiao:
On Iterative Collision Search for LPN and Subset Sum. IACR Cryptol. ePrint Arch. 2017: 904 (2017) - 2016
- [j100]Albert Kwon, David Lazar, Srinivas Devadas, Bryan Ford:
Riffle: An Efficient Communication System With Strong Anonymity. Proc. Priv. Enhancing Technol. 2016(2): 115-134 (2016) - [j99]Meng-Day (Mandel) Yu, Srinivas Devadas:
Pervasive, Dynamic Authentication of Physical Items. ACM Queue 14(6): 1-28 (2016) - [j98]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): 37:1-37:28 (2016) - [j97]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): 718-752 (2016) - [j96]Meng-Day (Mandel) Yu, Matthias Hiller
, Jeroen Delvaux
, Richard Sowell, Srinivas Devadas, Ingrid Verbauwhede
:
A Lockdown Technique to Prevent Machine Learning on PUFs for Lightweight Authentication. IEEE Trans. Multi Scale Comput. Syst. 2(3): 146-159 (2016) - [c166]Xiangyao Yu, Hongzhe Liu, Ethan Zou, Srinivas Devadas:
Tardis 2.0: Optimized Time Traveling Coherence for Relaxed Consistency Models. PACT 2016: 261-274 - [c165]Xiangyao Yu, Andrew Pavlo
, Daniel Sánchez, Srinivas Devadas:
TicToc: Time Traveling Optimistic Concurrency Control. SIGMOD Conference 2016: 1629-1642 - [c164]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: 145-174 - [c163]Ling Ren, Srinivas Devadas:
Proof of Space from Stacked Expanders. TCC (B1) 2016: 262-285 - [c162]Victor Costan, Ilia A. Lebedev, Srinivas Devadas:
Sanctum: Minimal Hardware Extensions for Strong Software Isolation. USENIX Security Symposium 2016: 857-874 - [i23]Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford:
Atom: Scalable Anonymity Resistant to Traffic Analysis. CoRR abs/1612.07841 (2016) - [i22]Victor Costan, Srinivas Devadas:
Intel SGX Explained. IACR Cryptol. ePrint Arch. 2016: 86 (2016) - [i21]Ling Ren, Srinivas Devadas:
Proof of Space from Stacked Bipartite Graphs. IACR Cryptol. ePrint Arch. 2016: 333 (2016) - [i20]Kyle Soska, Albert Kwon, Nicolas Christin, Srinivas Devadas:
Beaver: A Decentralized Anonymous Marketplace with Secure Reputation. IACR Cryptol. ePrint Arch. 2016: 464 (2016) - [i19]Alin Tomescu, Srinivas Devadas:
Catena: Preventing Lies with Bitcoin. IACR Cryptol. ePrint Arch. 2016: 1062 (2016) - 2015
- [j95]Keun Sup Shim, Mieszko Lis, Omer Khan, Srinivas Devadas:
The Execution Migration Machine: Directoryless Shared-Memory Architecture. Computer 48(9): 50-59 (2015) - [c161]Xiangyao Yu, Srinivas Devadas:
Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory. PACT 2015: 227-240 - [c160]George Kurian, Qingchuan Shi, Srinivas Devadas, Omer Khan:
OSPREY: Implementation of Memory Consistency Models for Cache Coherence Protocols involving Invalidation-Free Data Access. PACT 2015: 392-405 - [c159]Christopher W. Fletcher, Ling Ren, Albert Kwon, Marten van Dijk
, Srinivas Devadas:
Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM. ASPLOS 2015: 103-116 - [c158]Christopher W. Fletcher, Ling Ren, Albert Kwon, Marten van Dijk
, Emil Stefanov, Dimitrios N. Serpanos
, Srinivas Devadas:
A Low-Latency, Low-Area Hardware Oblivious RAM Controller. FCCM 2015: 215-222 - [c157]Meng-Day (Mandel) Yu, Matthias Hiller
, Srinivas Devadas:
Maximum-likelihood decoding of device-specific multi-bit symbols for reliable key generation. HOST 2015: 38-43 - [c156]