Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. - Dayeol Lee; Kevin Cheang; Alexander Thomas; Catherine Lu; Pranav Gaddamadugu; Anjo Vahldiek-Oberwagner; Mona Vij; Dawn Song; Sanjit A. Seshia; Krste Asanovic (CCS, 2022)

Explainable AI for Suicide Risk Assessment Using Eye Activities and Head Gestures. - Siyu Liu; Catherine Lu; Sharifa Alghowinem; Lea Gotoh; Cynthia Breazeal; Hae Won Park 001 (HCI (35), 2022)