Smartphone Security Behavioral Scale: A New Psychometric Measurement for Smartphone Security. - Hsiao-Ying Huang; Soteris Demetriou; Rini Banerjee; Güliz Seray Tuncay; Carl A. Gunter; Masooda N. Bashir (CoRR, 2020)

Fulminate: Testing CN Separation-Logic Specifications in C. - Rini Banerjee; Kayvan Memarian; Dhruv C. Makwana; Christopher Pulte; Neel Krishnaswami; Peter Sewell (Proc. ACM Program. Lang., 2025)