Model checking on state transition diagram. - Batsayan Das; Dipankar Sarkar 001; Santanu Chattopadhyay (ASP-DAC, 2004)

Utilising condor for data parallel analytics in an IoT context - An experience report. - Arijit Mukherjee; Swarnava Dey; Himadri Sekhar Paul; Batsayan Das (WiMob, 2013)

Role-based privilege isolation: A novel authorization model for Android smart devices. - Batsayan Das; Lakshmipadmaja Maddali; Harshita Vani Nallagonda (ICITST, 2015)

VeriBlock: A Novel Blockchain Framework based on Verifiable Computing and Trusted Execution Environment. - Lakshmi Padmaja Maddali; Meena Singh Dilip Thakur; R. Vigneswaran; M. A. Rajan; Srujana Kanchanapalli; Batsayan Das (COMSNETS, 2020)