SP*: An Information Flow Secure Linux. - Parjanya Vyas; R. K. Shyamasundar; Bhagyesh V. Patil; Snehal Borse; Satyaki Sen (ISPA/BDCloud/SocialCom/SustainCom, 2021)

Enhancing Robustness of Smart Contracts Through Declarations. - R. K. Shyamasundar; Snehal Borse; Mohammad Ummair (ICBC, 2024)