Publications (Oct. 2009 - Date)     Go Back

*The publications are in reverse chronological order.
  1. 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)
  2. 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)
  3. 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)
  4. Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe, A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems, In: Submitted to Electronics, 2017
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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.
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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