Abdulbasit Ahmed

According to our database, Abdulbasit Ahmed authored at least 3 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Online network intrusion detection system using temporal logic and stream data processing.

Abdulbasit Ahmed

PhD thesis, 2013

Cryptographic Protocol Verification via Supercompilation (A Case Study).

Abdulbasit Ahmed, Alexei Lisitsa, Andrei P. Nemytykh

Proceedings of the First International Workshop on Verification and Program Transformation, 2013

2011

A misuse-based network Intrusion Detection System using Temporal Logic and stream processing.

Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon

Proceedings of the 5th International Conference on Network and System Security, 2011