https://github.com/akshayxml/security-verification-using-avispa

Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol

avispa security-vulnerability-assessment span

Last synced: 15 Feb 2026