Reema Patel

According to our database, Reema Patel authored at least 8 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Scalable and Efficient Mutual Authentication Strategy in Fog Computing.

Jatna Bavishi, Mohammed Saad Shaikh, Reema Patel

Proceedings of the 8th IEEE International Conference on Mobile Cloud Computing, 2020

Secure, Efficient and Dynamic Data Search using Searchable Symmetric Encryption.

Mohammed Saad Shaikh, Jatna Bavishi, Reema Patel

Proceedings of the 5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications, 2020

2019

Security and Privacy Issues in Cloud, Fog and Edge Computing.

Shalin Parikh, Dharmin Dave, Reema Patel, Nishant Doshi

Proceedings of the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, 2019

A Survey on Blockchain Technology and its Proposed Solutions.

Dharmin Dave, Shalin Parikh, Reema Patel, Nishant Doshi

Proceedings of the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, 2019

Real Time Adaptive Traffic Control System : A Hybrid Approach.

Prayushi Faldu, Nishant Doshi, Reema Patel

Proceedings of the IEEE 4th International Conference on Computer and Communication Systems, 2019

2015

ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM.

Reema Patel, Kevin Patel, Dhiren R. Patel

Proceedings of the Theory and Applications of Models of Computation, 2015

On-the-Fly Symmetry Reduction of Explicitly Represented Probabilistic Models.

Reema Patel, Kevin Patel, Dhiren R. Patel

Proceedings of the Distributed Computing and Internet Technology, 2015

2010

Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification.

Reema Patel, Bhavesh Borisaniya, Avi Patel, Dhiren R. Patel, Muttukrishnan Rajarajan, Andrea Zisman

Proceedings of the Recent Trends in Network Security and Applications, 2010