selected publications

• academic article

  • Blockchain based distributed trust management in IoT and IIoT: a survey.  The Journal of Supercomputing.  80:21867-21919. 2024
  • A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System.  The Computer Journal.  61:1109-1122. 2018
  • Formal framework for defining trust in multi-organisation environment.  International Journal of Autonomous and Adaptive Communications Systems.  9:164-164. 2016
  • Testing Security Policies for Distributed Systems: Vehicular Networks as a Case Study.  arXiv (Cornell University).  2014

• chapter

  • An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts.  Advances in intelligent systems and computing. 1303-1318. 2020
  • A Formal Approach to Automatic Testing of Security Policies Specified in XACML.  Lecture notes in computer science. 367-374. 2015
  • Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments.  Lecture notes in computer science. 89-103. 2012

• conference paper

  • Blockchain based Privacy Aware Distributed Access Management Framework for Industry 4.0.  . 51-56. 2021
  • DRMF: A Distributed Resource Management Framework for Industry 4.0 Environments.  . 1-9. 2019
  • Blockchain based trust management mechanism for IoT.  2022 IEEE Wireless Communications and Networking Conference (WCNC). 1-8. 2019
  • Preserving confidentiality during the migration of virtual SDN topologies: A formal approach.  . 1-5. 2017
  • ProtectCall: Call Protection Based on User Reputation.  . 660-667. 2017
  • Adaptive Policy-driven Attack Mitigation in SDN.  . 1-6. 2017
  • Usage Control Policy Enforcement in SDN-Based Clouds: A Dynamic Availability Service Use Case.  . 578-585. 2016
  • Browser-to-browser authentication and trust relationships for WebRTC.  . 2016
  • On Modeling and Testing Security Properties of Vehicular Networks.  . 42-50. 2014
  • A vector based model approach for defining trust in Multi-Organization Environments.  . 1-8. 2012
  • Role based interoperability security policies in collaborative systems.  . 471-477. 2012