Publications
Publications
ExplicitPRISMSymm: Symmetry Reduction Technique for ExplicitModels in PRISM
Reema Patel, Kevin Patel, and Dhiren Patel
Proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC, vol. 9076 of Lecture Notes in Computer Science, Springer-Verlag, Singapore, pp. 400–412, 2015, May 2015.
On-the-Fly Symmetry Reduction of Explicitly Represented ProbabilisticModels
Reema Patel, Kevin Patel, and Dhiren Patel
Proceedings of the 11th International Conference on Distributed Computing and Internet Technology, ICDCIT, vol. 8956 of Lecture Notes in Computer Science, Springer-Verlag, Bhubaneswar, India, pp. 203–206, February 2015.
Comparative Analysis of FormalModel Checking Tools for Security Protocol Verification
Reema Patel, Bhavesh Borisaniya, Avi Patel, Dhiren Patel, Muttukrishnan Rajarajan, and Andrea Zisman
Proceedings of the 3rd International Conference on Recent Trends in Network Security and Applications, CNSA, vol. 89 of Communications in Computer and Information Science, Springer-Verlag, Chennai, India, pp. 152–163, 2010.
Real Time Adaptive Traffic Control System : A Hybrid Approach
Prayushi Faldu, Nishant Doshi, and Reema Patel
4th International Conference on Computer and Communication Systems (ICCCS), of, IEEE, Singapore, pp. 697–701, 2019.
A Survey of Cryptographic Techniques to Secure Genomic Data
Hiral Nadpara, Kavita Kushwaha, Reema Patel, and Nishant Doshi
Proceedings of First International Conference on Computing, Communications, and Cyber-Security IC4S 2019, vol. 121 of Lecture Notes in Networks and Systems, Springer, India, pp. 777–789, 2020.
Scalable and EfficientMutual Authentication Strategy In Fog Computing
Jatna Bavishi, Mohammed Saad Shaikh, and Reema Patel
8th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (MobileCloud), of, IEEE, Oxford, UK, pp. 77–83, 2020.
Secure, Efficient and Dynamic Data Search using Searchable Symmetric Encryption
Mohammed Saad Shaikh, Jatna Bavishi, and Reema Patel
5th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech), IEEE, Marrakesh, Morocco, pp. 1–7, 2020.
Python: TheMost Advanced Programming Language for Computer Science Applications
Akshit Dhruv, Reema Patel, and Nishant Doshi
Proceedings of the International Conference on Culture Heritage, Education, Sustainable Tourism, and Innovation Technologies - CESIT, SciTePress, pp. 292–299, 2020.
Decoding with Purpose: Improving Image Reconstruction fromfMRI withMultitask Learning
Abhi Lad and Reema Patel
Proceedings of the 2021 IEEE 4th International Conference on Computing, Power and Communication Technologies (GUCON), pp. 1–6, 2021.
Blockchain-Based Drug Regulation System
Yash Solanki, Soumya, and Reema Patel
Proceedings of the International Conference on Security, Privacy and Data Analytics (ISPDA-2021), vol. 848, Springer, Singapore, pp. 283–292, 2022.
A Quantitative Analysis of Collision Resolution Protocol forWireless Sensor Network
Reema Patel and Dhiren Patel
Journal of Software Engineering and Applications, Scientific Research, pp. 361–371, 8, 2015.
Static Analysis and Symbolic Code Execution
Madhura Parikh, Reema Patel, and Dhiren Patel
Journal of Computing, Computer Society of India, pp. 14–23, 2 (4), 2015
A Survey on Game Theoretic Approaches for Privacy Preservation in Data Mining and Network Security
Hitarth Shah, Vishruti Kakkad, Reema Patel, and Nishant Doshi
Procedia Computer Science, Elsevier Science, pp. 686 –691, 155, 2019.
A Comparative Study of Applications of Game Theory in Cyber Security and Cloud Computing
Vishruti Kakkad, Hitarth Shah, Reema Patel, and Nishant Doshi
Procedia Computer Science, Elsevier Science, pp. 680 –685, 155, 2019.
Security and Privacy Issues in Cloud, Fog and Edge Computing
Shalin Parikh, Dharmin Dave, Reema Patel, and Nishant Doshi
Procedia Computer Science, Elsevier Science, pp. 734–739, 160, 2019.
A Survey on Blockchain Technology and its Proposed Solutions
Dharmin Dave, Shalin Parikh, Reema Patel, and Nishant Doshi
Procedia Computer Science, Elsevier Science, pp. 740–745, 160, 2019.
An improved approach in CP-ABE with proxy re-encryption
Nishant Doshi and Reema Patel
e-Prime - Advances in Electrical Engineering, Electronics and Energy, p. 100042, 2, 2022.
Patent
Design Patent - Published - ’Mood Based Lighting Sensing System’
Design Patent - Published - ’Device for Analysis of Health Human Body’
Patent - Published - ’An Electronic Voting Device’