Muhammad Taimoor Khan

Learn More
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand the semantics and technical details of the middleware but also opens an opportunity to extend the middleware to support other complex(More)
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT [6]. Since, the (provable) behavioral correctness of a software system is a fundamental prerequisite of the system's security. Therefore, the goal of the work is to first formalize the behavioral semantics of the middleware as a(More)
—Conventional approaches for ensuring the security of application software at run-time, through monitoring, either produce (high rates of) false alarms (e.g. intrusion detection systems) or limit application performance (e.g. run-time verification). We present a run-time security monitor that detects both known and unknown cyber attacks by checking that the(More)
In this paper, we present our ongoing work and formalism of a novel data classification method (Abstract Data Machine) for reliable software systems. Most of the approaches for data classification are based on statistical classification, e.g. machine-learning algorithms that comes with false rates. Another critical problem with such algorithms is that they(More)
  • 1