Application of Formal Methods for Analysis of Authentication Protocols. - Ritesh Kumar Tiwari (IWDC, 2004)

Cost Tradeoffs for Information Security Assurance. - Ritesh Kumar Tiwari; Kamalakar Karlapalem (WEIS, 2005)

SLA Driven Process Security through Monitored E-contracts. - Ritesh Kumar Tiwari; Vishal Dwivedi; Kamalakar Karlapalem (IEEE SCC, 2007)

Privacy Preserving Computation of Shortest Path in Presence of a Single Convex Polygonal Obstacle. - Ananda Swarup Das; Kannan Srinathan; Ritesh Kumar Tiwari; Vaibhav Srivastava (MDM, 2007)

Security Policy Satisfiability and Failure Resilience in Workflows. - Meghna Lowalekar; Ritesh Kumar Tiwari; Kamalakar Karlapalem (FIDIS, 2008)

Design and Analysis of Schmitt Trigger Based 10T SRAM in 32 nm Technology. - Amit Singh Rajput; Manisha Pattanaik; Ritesh Kumar Tiwari (iNIS, 2017)

Design and Analysis of Low-Voltage, MOS-only Bandgap Reference Circuit. - Tej Prakash Sahu; Ritesh Kumar Tiwari; Prasanna Kumar Misra; Manish Goswami; Kavindra Kandpal (iSES, 2023)