A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. - Abdulbasit Ahmed; Alexei Lisitsa 001; Clare Dixon (NSS, 2011)

Cryptographic Protocol Verification via Supercompilation (A Case Study). - Abdulbasit Ahmed; Alexei Lisitsa 001; Andrei P. Nemytykh (VPT@CAV, 2013)

Online network intrusion detection system using temporal logic and stream data processing. - Abdulbasit Ahmed (2013)