341 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut Polytechnique de ParisFR3 papers
- Los Alamos National LaboratoryUS3 papers
- Télécom SudParisFR3 papers
- ARM (United Kingdom)GB2 papers
- Intel (United Kingdom)GB2 papers
- Stanford UniversityUS2 papers
- Stony Brook UniversityUS2 papers
- The University of Texas at AustinUS2 papers
- Universitat Politècnica de CatalunyaES2 papers
- University of California San DiegoUS2 papers
- University of CambridgeGB2 papers
- University of RochesterUS2 papers
5 papers · 1 filter
SecDDR: Enabling Low-Cost Secure Memories by Protecting the DDR Interface
Ali Fakhrzadehgan, Prakash Ramrakhyani, Moinuddin K. Qureshi +1
The security goals of cloud providers and users include memory confidentiality and integrity, which requires implementing Replay-Attack protection (RAP). RAP can be achieved using…
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya +7
Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm -- and a…
Bring the BitCODE -- Moving Compute and Data in Distributed Heterogeneous Systems
Wenbin Lu, Luis E. Peña, Pavel Shamis +3
In this paper, we present a framework for moving compute and data between processing elements in a distributed heterogeneous system. The implementation of the framework is based on…
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
Rob Sumners, Cuong Chau
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier t…
Combining Individual and Joint Networking Behavior for Intelligent IoT Analytics
Jeya Vikranth Jeyakumar, Ludmila Cherkasova, Saina Lajevardi +4
The IoT vision of a trillion connected devices over the next decade requires reliable end-to-end connectivity and automated device management platforms. While we have seen successf…