output
20152026
most citedHello Edge: Keyword Spotting on Microcontrollers

341 citations

Showing 2022Show all

5 papers · 1 filter

cs.CR2022★ 2 cited

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…

cs.CR2022★ 1 cited

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…

cs.DC2022★ 7 cited

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…

cs.LO2022

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…

cs.LG2022

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…