Author of the publication

Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study

, , and . Proceedings of the 4th European Computing Conference, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Data Gathering Optimization in Wireless Sensor Networks Using Unmanned Aerial Vehicles., , and . CSCS, page 123-130. IEEE, (2019)DLT Based Authentication Framework for Industrial IoT Devices., , and . Sensors, 20 (9): 2621 (2020)A Participatory Verification security scheme for the Internet of Things., , and . COMM, page 267-270. IEEE, (2016)Reliable Data Collection for Wireless Sensor Networks Using Unmanned Aerial Vehicles., , , and . GPC, volume 10232 of Lecture Notes in Computer Science, page 323-337. (2017)MTAFinder - Unified OSINT platform for efficient data gathering., , , and . ECAI, page 1-6. IEEE, (2023)Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study, , and . Proceedings of the 4th European Computing Conference, (2010)Virtualization and Automation for Cybersecurity Training and Experimentation., , and . SECITC, volume 12596 of Lecture Notes in Computer Science, page 227-241. Springer, (2020)Mitigating DoS attacks in publish-subscribe IoT networks., , and . ECAI, page 1-6. IEEE, (2017)Multi-Layer IoT Security Framework for Ambient Intelligence Environments., , , and . Sensors, 19 (18): 4038 (2019)A new DRM architecture based on mobilel code and white-box encryption., , and . COMM, page 303-306. IEEE, (2012)