Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification. - Reema Patel; Bhavesh Borisaniya; Avi Patel; Dhiren R. Patel; Muttukrishnan Rajarajan; Andrea Zisman (CNSA, 2010)

On-the-Fly Symmetry Reduction of Explicitly Represented Probabilistic Models. - Reema Patel; Kevin Patel; Dhiren R. Patel (ICDCIT, 2015)

ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM. - Reema Patel; Kevin Patel; Dhiren R. Patel (TAMC, 2015)

Real Time Adaptive Traffic Control System : A Hybrid Approach. - Prayushi Faldu; Nishant Doshi; Reema Patel (ICCCS, 2019)

A Survey on Blockchain Technology and its Proposed Solutions. - Dharmin Dave; Shalin Parikh; Reema Patel; Nishant Doshi (EUSPN/ICTH, 2019)

Security and Privacy Issues in Cloud, Fog and Edge Computing. - Shalin Parikh; Dharmin Dave; Reema Patel; Nishant Doshi (EUSPN/ICTH, 2019)

Secure, Efficient and Dynamic Data Search using Searchable Symmetric Encryption. - Mohammed Saad Shaikh; Jatna Bavishi; Reema Patel (Cloudtech, 2020)

Scalable and Efficient Mutual Authentication Strategy in Fog Computing. - Jatna Bavishi; Mohammed Saad Shaikh; Reema Patel (MobileCloud, 2020)