Nayeem Islam - researchr alias

researchr

You are not signed in
Sign in
Sign up

2007

Enforcing resource bounds via static verification of dynamic checksAjay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula. TOPLAS, 29(5), 2007. [doi]

JavaScript instrumentation for browser securityDachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov. POPL 2007: 237-249 [doi]

2006

A Typed Assembly Language for ConfidentialityDachuan Yu, Nayeem Islam. ESOP 2006: 162-179 [doi]

2005

2004

2003

Toward ubiquitous acceptance of ubiquitous computingNayeem Islam, Mohamed E. Fayad. CACM, 46(2):89-92, 2003. [doi]

2002

Browser State Repository ServiceHenry Song, Hao-Hua Chu, Nayeem Islam, Shoji Kurakake, Masaji Katagiri. pervasive 2002: 253-266 [doi]

1999

MOCA: A Service Framework for Mobile Computing DevicesJames Beck, Alain Gefflaut, Nayeem Islam. mobide 1999: 62-68 [doi]

Flexible Control of Downloaded Executable ContentTrent Jaeger, Atul Prakash, Jochen Liedtke, Nayeem Islam. tissec, 2(2):177-228, 1999. [doi]

1998

1997

A Flexible Security Model for Using Internet ContentRangachari Anand, Nayeem Islam, Trent Jaeger, Josyula R. Rao. srds 1997: 89-96

Extensible Resource Management for Cluster ComputingNayeem Islam, Andreas L. Prodromidis, Mark S. Squillante, Ajei S. Gopal, Liana L. Fong. icdcs 1997:

Extensible Resource Scheduling for Parallel Scientific ApplicationsNayeem Islam, Andreas L. Prodromidis, Mark S. Squillante, Ajei S. Gopal, Liana L. Fong. ppsc 1997:

Customizing System Software Using OO FrameworksNayeem Islam. Computer, 30(2):69-78, 1997.

Customized Message PassingNayeem Islam. jpdc, 41(2):205-224, 1997.

A Flexible Security System for Using Internet ContentNayeem Islam, Rangachari Anand, Trent Jaeger, Josyula R. Rao. IEEE Software, 14(5):52-59, 1997.

A role-based access control model for protection domain derivation and managementTrent Jaeger, Frederique Giraud, Nayeem Islam, Jochen Liedtke. rbac 1997: 95-106 [doi]

Preventing Denial-of-Service Attacks on a µ-Kernel for WebOSesJochen Liedtke, Nayeem Islam, Trent Jaeger. hotos 1997: 73-79

Achieved IPC PerformanceJochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger. hotos 1997: 28-31

1996

1995

Techniques for Global Optimization of Message Passing Communication on Unreliable NetworksNayeem Islam, Roy H. Campbell. icdcs 1995: 246-253

1993

A Technique for Documenting the Framework of an Object-Oriented SystemRoy H. Campbell, Nayeem Islam. csys, 6(4):363-389, 1993.

Designing and Implementing Choices: An Object-Oriented System in C++Roy H. Campbell, Nayeem Islam, David Raila, Peter Madany. CACM, 36(9):117-126, 1993.

Uniform Co-Scheduling Using Object-Oriented Design TechniquesNayeem Islam, Roy H. Campbell. ifip10-3 1993: 317-328

1992

Choices, Frameworks and RefinementRoy H. Campbell, Nayeem Islam, Peter Madany. csys, 5(3):217-257, 1992.

Design Considerations for Shared Memory Multiprocessor Message SystemsNayeem Islam, Roy H. Campbell. tpds, 3(6):702-711, 1992. [doi]