Carlson, Trevor E.

1. Fully Randomized Pointers
   2024/05/21 by Sai Dhawal Phaye, Gregory J. Duck, Phaye, Sai Dhawal +5 · 2 voices
   Computer Science · #cs.CR #cs.PL
2. Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)
   2023/02/27 by Jason Zhijingcheng Yu, Yu, Jason Zhijingcheng, Conrad Watt +7 · 1 voice · 1 citation
   Computer Science · #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Operating Systems (cs.OS) #Security and Verification in Computing #cs.AR #cs.CR #cs.OS
3. Elasticlave: An Efficient Memory Model for Enclaves
   2020/10/16 by Yu, Zhijingcheng, Shinde, Shweta, Carlson, Trevor E. +1 · 2 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
4. Anvil: A General-Purpose Timing-Safe Hardware Description Language
   2025/03/25 by Yu, Jason Zhijingcheng, Jha, Aditya Ranjan, Mathur, Umang +2 · 1 voice
   #B.5.2 #D.3.1 #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL)
5. You Only Spike Once: Improving Energy-Efficient Neuromorphic Inference to ANN-Level Accuracy
   2020/06/03 by P. Srivatsa, P, Srivatsa, Kyle Timothy Ng Chu +13 · 1 citation
   Engineering · Neuroscience · #Advanced Memory and Neural Computing #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE) #Neural dynamics and brain function
6. Pac-Sim: Simulation of Multi-threaded Workloads using Intelligent, Live Sampling
   2023/10/26 by Changxi Liu, Liu, Changxi, Alen Sabu +7 · 1 citation
   Computer Science · #Cloud Computing and Resource Management #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Parallel Computing and Optimization Techniques
7. SOTERIA: In Search of Efficient Neural Networks for Private Inference
   2020/07/25 by Anshul Aggarwal, Aggarwal, Anshul, Trevor E. Carlson +5 · 1 citation
   Computer Science · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Privacy-Preserving Technologies in Data #Stochastic Gradient Optimization Techniques