ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State. - Jeongseok Son; Griffin Prechter; Rishabh Poddar; Raluca Ada Popa; Koushik Sen (USENIX Security Symposium, 2021)

A Heterogeneous SoC for Bluetooth LE in 28nm. - Felicia Guo; Nayiri Krzysztofowicz; Alex Moreno; Jeffrey Ni; Daniel Lovell; Yufeng Chi; Kareem Ahmad; Sherwin Afshar; Josh Alexander; Dylan Brater; Cheng Cao; Daniel Fan; et al. (HCS, 2023)