All Stories

  1. Programming Interfaces for the TPM

    Article • November 2014, Springer Science + Business Media

    Dr Mohammad Nauman

  2. Realization of a user-centric, privacy preserving permission framework for Android

    Article • Security and Communication Networks, March 2014, Wiley

    Dr Mohammad Nauman, Dr Sohail Khan

  3. Transforming high-level requirements to executable policies for Android

    Article • January 2014, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman, Dr Sohail Khan

  4. Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework

    Article • August 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  5. Towards a high-level trusted computing API for Android software stack

    Article • January 2013, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman, Dr Sohail Khan

  6. Realization of dynamic behavior using remotely verifiable n-call slides in Unix process execution trace

    Article • January 2013, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman, Dr Sohail Khan

  7. Efficient selection of access control systems through multi criteria analytical hierarchy process

    Article • October 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  8. How secure is your smartphone: An analysis of smartphone security mechanisms

    Article • June 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman, Dr Sohail Khan

  9. A sense of others

    Article • February 2012, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman, Dr Sohail Khan

  10. POAuth

    Article • February 2012, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman, Dr Sohail Khan

  11. Analysis of existing remote attestation techniques

    Article • Security and Communication Networks, October 2011, Wiley

    Dr Mohammad Nauman

  12. Using trusted computing for privacy preserving keystroke-based authentication in smartphones

    Article • Telecommunication Systems, July 2011, Springer Science + Business Media

    Dr Mohammad Nauman

  13. Specification and Standardization of a Java Trusted Computing API

    Article • Software Practice and Experience, July 2011, Wiley

    Dr Mohammad Nauman

  14. Behavioral Attestation for Web Services using access policies

    Article • Multimedia Tools and Applications, April 2011, Springer Science + Business Media

    Dr Mohammad Nauman

  15. Usage control framework for mobile ad-hoc applications

    Article • March 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  16. On Leveraging Stochastic Models for Remote Attestation

    Article • January 2011, Springer Science + Business Media

    Dr Mohammad Nauman

  17. Scalable Remote Attestation with Privacy Protection

    Article • January 2010, Springer Science + Business Media

    Dr Mohammad Nauman

  18. TOKEN: Trustable Keystroke-Based Authentication for Web-Based Applications on Smartphones

    Article • January 2010, Springer Science + Business Media

    Dr Mohammad Nauman

  19. Beyond Kernel-Level Integrity Measurement: Enabling Remote Attestation for the Android Platform

    Article • January 2010, Springer Science + Business Media

    Dr Mohammad Nauman, Dr Sohail Khan

  20. Behavioral Attestation for Web Services Based Business Processes

    Article • International Journal of Web Services Research, January 2010, IGI Global

    Dr Mohammad Nauman

  21. Apex

    Article • January 2010, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman, Dr Sohail Khan

  22. On Usage Control of Multimedia Content in and through Cloud Computing Paradigm

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  23. Scalable, Privacy-Preserving Remote Attestation in and through Federated Identity Management Frameworks

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  24. Helplets: A Common Sense-Based Collaborative Help Collection and Retrieval Architecture for Web-Enabled Systems

    Article • December 2009, Springer Science + Business Media

    Dr Mohammad Nauman

  25. Behavioral Attestation for Business Processes

    Article • July 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  26. Towards platform-independent trusted computing

    Article • January 2009, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman

  27. Realizing dynamic behavior attestation for mobile platforms

    Article • January 2009, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman

  28. SAuthMash

    Article • January 2009, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman

  29. Remote Attestation of Attribute Updates and Information Flows in a UCON System

    Article • January 2009, Springer Science + Business Media

    Dr Mohammad Nauman

  30. HUE: A hardware UCON engine for fine-grained continuous usage control

    Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  31. Behavioral attestation for web services (BA4WS)

    Article • January 2008, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman

  32. Model-based behavioral attestation

    Article • January 2008, ACM (Association for Computing Machinery)

    Dr Mohammad Nauman

  33. An Accessible Formal Specification of the UML and OCL Meta-Model in Isabelle/HOL

    Article • December 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  34. Using Personalized Web Search for Enhancing Common Sense and Folksonomy Based Intelligent Search Systems

    Article • November 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  35. Common Sense and Folksonomy: Engineering an Intelligent Search System

    Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  36. SE and CS Collaboration: Training Students for Engineering Large, Complex Systems

    Article • July 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Nauman

  37. Behavioral Attestation for Web Services Based Business Processes

    Article • IGI Global

    Dr Mohammad Nauman