Megha Quamara

According to our database, Megha Quamara authored at least 17 papers between 2018 and 2025.

Collaborative distances:

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

2025

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version).

Megha Quamara, Luca Viganò

CoRR, February, 2025

2024

Where Do Safety and Security Mutually Reinforce? A Multi-level Model-Based Approach for a Consistent Interplay.

Megha Quamara, Christina Kolb, Ankur Lohachab

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

Systematic Analysis of Requirements for Socially Acceptable Service Robots.

Andrea Ruo, Simone Arreghini, Luca Capra, Rosario De Chiara, Valeria Di Pasquale, Alessandro Giusti, Cristina Iani, Antonio Paolillo, Dominic Petrak, Alexander Plaum, Megha Quamara, Lorenzo Sabattini, Viktor Schmuck, Paolo Servillo, Francesco Zurolo, Valeria Villani

Proceedings of the Human-Friendly Robotics 2024 - HFR: 17th International Workshop on Human-Friendly Robotics, Lugano, Switzerland, 30 September, 2024

2023

Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model.

Megha Quamara, Christina Kolb, Brahim Hamid

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

An approach to co-design and analysis of safety and security for three-layered system modeling : models, formalisms, and tool support. (Une approche de co-conception et d'analyse de la sûreté et de la sécurité pour la modélisation de systèmes à trois couches : modèles, formalismes et support d'outils).

Megha Quamara

PhD thesis, 2022

Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Proceedings of the Dependable Computing - EDCC 2022 Workshops, 2022

Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

2021

A taxonomy of various attacks on smart card-based applications and countermeasures.

B. B. Gupta, Megha Quamara

Concurr. Comput. Pract. Exp., 2021

Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering.

Megha Quamara, Gabriel Pedroza, Brahim Hamid

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

An End-to-End Security Framework for Smart Healthcare Information Sharing against Botnet-based Cyber-Attacks.

Megha Quamara, Brij B. Gupta, Shingo Yamaguchi

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

2020

Attribute-based access control and authentication mechanism using smart cards for cloud-based IoT applications.

Brij B. Gupta, Megha Quamara

Int. J. Embed. Syst., 2020

Decentralised control-based interaction framework for secure data transmission in internet of automated vehicles.

Brij B. Gupta, Megha Quamara

Int. J. Embed. Syst., 2020

Future IoT-enabled threats and vulnerabilities: State of the art, challenges, and future prospects.

Astha Srivastava, Shashank Gupta, Megha Quamara, Pooja Chaudhary, Vidyadhar Jinnappa Aski

Int. J. Commun. Syst., 2020

An overview of Internet of Things (IoT): Architectural aspects, challenges, and protocols.

Brij B. Gupta, Megha Quamara

Concurr. Comput. Pract. Exp., 2020

2019

MQTT-driven Remote Temperature Monitoring System for IoT-based Smart Homes.

Megha Quamara, Brij B. Gupta, Shingo Yamaguchi

Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

2018

A Dynamic Security Policies Generation Model for Access Control in Smart Card Based Applications.

Brij B. Gupta, Megha Quamara

Proceedings of the Cyberspace Safety and Security - 10th International Symposium, 2018