Publications (Oct. 2009 - Date)
*The publications are in reverse chronological order.
- Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe,
ARMET: Behavior-based Secure and Resilient Industrial Control Systems, In: Proceedings of the IEEE, to appear, 2018 (IF 9.23)
- Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe,
Run-time Security Assurance of Cyber-Physical System Applications, In: Submitted to IEEE Software, 2017 (IF 2.20)
- Inka Brijacak, Bernhard Dieber, Michael Hofbaur, Muhammad Taimoor Khan, Martin Pinzger, Saeed Yahyanejad,
Perception based Safety Assurance in Human-Robot Interaction, In: Submitted to IEEE Software, 2017 (IF 2.20)
- Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe,
A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems, In: Submitted to Electronics, 2017
- Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger,
Extracting Timed Automata from Java Methods, In: Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation (Research Track), September 2017
- Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe, A Rigorous and Efficient Run-time Security Monitor for Real-time Critical Embedded System Applications, In: Proceedings of the MARTCPS'16, IEEE World Forum on Internet of Things, IEEE, pages 100-105, December 2016
- Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe, Sound and Complete Runtime Security Monitor for Application Software, MIT CSAIL Technical Series, MIT-CSAIL-TR-2016-017, December 2016
- Dimitrios Serpanos, Howard Shrobe, Muhammad Taimoor Khan, Behavior Based Security
of Cyber Physical Systems, In: European Reserch Consortium for Informatics and Mathematics (ERCIM) News, ERCIM, vol. 107, 2016
- Muhammad Taimoor Khan, Anastasios Fragopoulos, Dimitrios Serpanos, Howard Shrobe, Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software, In Proceedings of the WESS'15: Workshop on Embedded Systems Security (WESS'15). ACM, New York, NY, USA, Article 8 , 5 pages. DOI dx.doi.org/10.1145/2818362.2818370, October 2015
- Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe, On the Formal Semantics of the Cognitive Middleware AWDRAT, MIT CSAIL Technical Series, MIT-CSAL-TR-2015-007, March 2015
- Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe, On the Behavioral Formalization of the Cognitive Middleware AWDRAT, In: Proceedings of the 26th Nordic Workshop on Programming Theory (NWPT'14), (ed.), pp. 37-39, Halmstad, Sweden, October 2014
- Muhammad Taimoor Khan, Formal Specification and Verification of Computer Algebra Software, Technical
report no. 14-04 in RISC Report Series, Research Institute for Symbolic
Computation (RISC), Johannes Kepler University, Linz, Austria, PhD Thesis, April 2014
- Muhammad Taimoor Khan, On the Soundness of the Translation of MiniMaple to Why3ML,
Technical report no. 2014-03 in DK Report Series and also Technical
report no. 14-01 in RISC Report Series, Research Institute for Symbolic
Computation (RISC), Johannes Kepler University, Linz, Austria, February
2014
- Muhammad Taimoor Khan, On the Verification of Maple Programs, Technical report no. 2013-06 in DK Report Series and also Technical report no. 13-07 in RISC Report Series,
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, June-July 2013
- Muhammad Taimoor Khan, Wolfgang Schreiner A Verification Framework for MiniMaple Programs,
In: ACM Communications in Computer Algebra, 47(3):98--99, September 2013.
Accepted extended abstract from poster presentation at 38th
International Symposium on Symbolic and Algebraic Computation (ISSAC),
June 2013
- Muhammad Taimoor Khan, Translation of MiniMaple to Why3ML, Technical report no. 2013-02 in DK Report Series and also Technical report no. 13-01 in RISC Report Series,
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, February 2013
- Muhammad Taimoor Khan On the Formal Semantics of MiniMaple and its Specification Language,
In: Proceedings of the 10th International Conference on Frontiers of
Information Technology (FIT 2012), IEEE Digital Library, pp. 169-174,
DOI 10.1109/FIT.2012.38, December 2012
- Muhammad Taimoor Khan, Wolfgang Schreiner, On the Formal Specification of Maple Programs,
In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell,
Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker
Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp.
443-447, Springer Berlin/Heidelberg, ISBN 978-3-642-31373-8, DOI 10.1007/978-3-642-31374-5_33, July 9-13, 2012.
- Muhammad Taimoor Khan, Wolfgang Schreiner, Towards the Formal Specification and Verification of Maple Programs,
In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell,
Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker
Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp.
231-247, Springer Berlin/Heidelberg, ISBN 978-3-642-31373-8, DOI 10.1007/978-3-642-31374-5_16, July 9-13, 2012. Awarded with a Best Student Paper Award
- Muhammad Taimoor Khan, Formal Semantics of a Specification Language for MiniMaple, Technical report no. 2012-06 in DK Report Series and also Technical report no. 12-05 in RISC Report Series,
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 2012
- Muhammad Taimoor Khan, Formal Semantics of MiniMaple, Technical report no. 2012-01 in DK Report Series and also Technical report no. 12-04 in RISC Report Series,
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, January 2012
- Muhammad Taimoor Khan, Towards a Behavioral Analysis of Computer Algebra Programs, Technical report no. 2011-13 in DK Report Series and also Technical report no. 11-13 in RISC Report Series,
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November 2011
- Muhammad Taimoor Khan, Wolfgang Schreiner, Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract),In: Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11), Paul Petterson and Cristina Seceleanu (ed.), pp. 42-44. October 2011. Vasteras, Sweden
- Muhammad Taimoor Khan, A
Type
Checker for MiniMaple, Technical report no. 2011-05 in DK Report Series and also Technical report no. 11-05 in RISC Report Series,
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, April 2011