9 citations · 21 across the 6 of their papers we have counts for
6 papers
Sound and Complete Runtime Security Monitor for Application Software
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
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 sys…
On the Formal Semantics of the Cognitive Middleware AWDRAT
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
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…
On the Behavioural Formalization of the Cognitive Middleware AWDRAT
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT. Since, the (provable) behavioral correctness of a…
Towards the Formal Specification and Verification of Maple Programs
Muhammad Taimoor Khan, Wolfgang Schreiner
In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) prog…
On Formal Specification of Maple Programs
Muhammad Taimoor Khan, Wolfgang Schreiner
This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset…
Technique detection software for Sparse Matrices
Muhammad Taimoor Khan, Anila Usman
Sparse storage formats are techniques for storing and processing the sparse matrix data efficiently. The performance of these storage formats depend upon the distribution of non-ze…