Gleb Naumovich

Publication Activity (10 Years)

Years Active: 1996-2007
Publications (10 Years): 0

Publications

Aiwu Shi, Gleb Naumovich
Field Escape Analysis for Data Confidentiality in Java Components. APSEC (2007)
Aiwu Shi, Gleb Naumovich
Improving Data Integrity with a Java Mutability Analysis. APSEC (2007)
Aiwu Shi, Gleb Naumovich
SAFES: A Static Analysis for Field Security in Java Components. SEKE (2007)
Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia
Role-Based access control consistency validation. ISSTA (2006)
Aiwu Shi, Gleb Naumovich
Static Analysis for Computing Escapability and Mutability for Java Components. SCAM (2005)
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol. 13 (4) (2004)
Gleb Naumovich, Paolina Centonze
Static analysis of role-based access control in J2EE applications. ACM SIGSOFT Softw. Eng. Notes 29 (5) (2004)
Chris Kojouharov, Aleksey Solodovnik, Gleb Naumovich
JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials. eTX (2004)
Gleb Naumovich, Nasir D. Memon
Preventing Piracy, Reverse Engineering, and Tampering. Computer 36 (7) (2003)
Mikhail Sosonkin, Gleb Naumovich, Nasir D. Memon
Obfuscation of design intent in object-oriented applications. Digital Rights Management Workshop (2003)
Vikram Anantapadmanabhan, Phyllis G. Frankl, Nasir D. Memon, Gleb Naumovich
Design of a Laboratory for Information Security Education. World Conference on Information Security Education (2003)
Gleb Naumovich
A conservative algorithm for computing the flow of permissions in Java programs. ISSTA (2002)
Gleb Naumovich
Using the observer design pattern for implementation of data flow analyses. PASTE (2002)
Gleb Naumovich, Lori A. Clarke
Classifying properties: an alternative to the safety-liveness classification. SIGSOFT FSE (2000)
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
Using partial order techniques to improve performance of data flow analysis based verification. ACM SIGSOFT Softw. Eng. Notes 24 (5) (1999)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE (1999)
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. PASTE (1999)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
Information for Concurrent Java Programs. ESEC / SIGSOFT FSE (1999)
Gleb Naumovich, George S. Avrunin
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. SIGSOFT FSE (1998)
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE (1998)
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
Verification of Concurrent Software with FLAVERS. ICSE (1997)
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE (1997)
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE (1996)