2 papers
cs.CR2021
A Wireless Intrusion Detection System for 802.11 WPA3 Networks
Neil Dalal, Nadeem Akhtar, Anubhav Gupta +3
Wi-Fi (802.11) networks have become an essential part of our daily lives; hence, their security is of utmost importance. However, Wi-Fi Protected Access 3 (WPA3), the latest securi…
cs.SE2016
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System
Nadeem Akhtar, Malik M. Saad Missen
It is important to have multi-agent robotic system specifications that ensure correctness properties of safety and liveness. As these systems have concurrency, and often have dynam…