Nayeem Islam

According to our database1, Nayeem Islam authored at least 44 papers between 1992 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




On-Device Mobile Phone Security Exploits Machine Learning.
IEEE Pervasive Comput., 2017

Botnets and Internet of Things Security.
Computer, 2017

Smartphones: Past, Present, and Future.
IEEE Pervasive Comput., 2014

Enforcing resource bounds via static verification of dynamic checks.
ACM Trans. Program. Lang. Syst., 2007

JavaScript instrumentation for browser security.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Middleware Support for Autonomous Cellphones.
Proceedings of the Handbook of Mobile Middleware., 2006

A Typed Assembly Language for Confidentiality.
Proceedings of the Programming Languages and Systems, 2006

A wireless Web for creating and sharing personal content through handsets.
IEEE Pervasive Comput., 2005

HAIL: a language for easy and correct device access.
Proceedings of the EMSOFT 2005, 2005

JVer: A Java Verifier.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

From Smart to Autonomous Phones.
IEEE Pervasive Comput., 2004

Flexible on-device service object replication with replets.
Proceedings of the 13th international conference on World Wide Web, 2004

AOE: A Mobile Operating Environment for Web-Based Applications.
Proceedings of the 2004 Symposium on Applications and the Internet (SAINT 2004), 2004

Dynamically Programmable and Reconfigurable Middleware Services.
Proceedings of the Middleware 2004, 2004

Toward ubiquitous acceptance of ubiquitous computing.
Commun. ACM, 2003

Browser State Repository Service.
Proceedings of the Pervasive Computing, 2002

Flexible Control of Downloaded Executable Content.
ACM Trans. Inf. Syst. Secur., 1999

MOCA: A Service Framework for Mobile Computing Devices.
Proceedings of the ACM International Workshop on Data Engineering for Wireless and Mobile Access, 1999

Operating System Protection for Fine-Grained Programs.
Proceedings of the 7th USENIX Security Symposium, 1998

High-Performance Caching With The Lava Hit-Server.
Proceedings of the 1998 USENIX Annual Technical Conference, 1998

Irreproducible benchmarks might be sometimes helpful.
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

An unconventional proposal: using the x86 architecture as the ubiquitous virtual standard architecture.
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

Security architecture for component-based operating systems.
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

A Flexible Security System for Using Internet Content.
IEEE Softw., 1997

Customized Message Passing.
J. Parallel Distributed Comput., 1997

Customizing System Software Using OO Frameworks.
Computer, 1997

A Flexible Security Model for Using Internet Content.
Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

A role-based access control model for protection domain derivation and management.
Proceedings of the Second Workshop on Role-Based Access Control, 1997

Extensible Resource Scheduling for Parallel Scientific Applications.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Extensible Resource Management for Cluster Computing.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Preventing Denial-of-Service Attacks on a µ-Kernel for WebOSes.
Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

Achieved IPC Performance.
Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

An Essential Design Pattern for Fault-Tolerant Distributed State Sharing.
Commun. ACM, 1996

Latest Developments in Operating Systems (Introduction to the Special Section).
Commun. ACM, 1996

Dynamic Partitioning in Different Distributed-Memory Environments.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 1996

Communication Compilation for Unreliable Networks.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Distributed objects - methodologies for customizing systems software.
IEEE, ISBN: 978-0-8186-7193-7, 1996

Techniques for Global Optimization of Message Passing Communication on Unreliable Networks.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

A low-latency scalable locking algorithm for shared memory multiprocessors.
Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

A Technique for Documenting the Framework of an Object-Oriented System.
Comput. Syst., 1993

Designing and Implementing Choices: An Object-Oriented System in C++.
Commun. ACM, 1993

Uniform Co-Scheduling Using Object-Oriented Design Techniques.
Proceedings of the Decentralized and Distributed Systems, 1993

Design Considerations for Shared Memory Multiprocessor Message Systems.
IEEE Trans. Parallel Distributed Syst., 1992

Choices, Frameworks and Refinement.
Comput. Syst., 1992