David A Naumann

Stevens Institute of Technology - Hoboken / United States

Engineering & Technology / Computer Science

AD Scientific Index ID: 1671652

Registration, Add Profile,
Premium Membership

Print Your Certificate

David A Naumann's MOST POPULAR ARTICLES

1-) Secure Information Flow and Pointer Confinement in a Java-like Language.A Banerjee, DA NaumannCSFW 2, 253, 20022442002

2-) Stack-based access control and secure information flowA Banerjee, DA NaumannJournal of functional programming 15 (2), 131-177, 20052042005

3-) Expressive declassification policies and modular static enforcementA Banerjee, DA Naumann, S Rosenberg2008 IEEE Symposium on Security and Privacy (sp 2008), 339-353, 20081512008

4-) Friends need a bit more: Maintaining invariants over shared stateM Barnett, DA NaumannInternational Conference on Mathematics of Program Construction, 54-84, 20041562004

5-) Regional logic for local reasoning about global invariantsA Banerjee, DA Naumann, S RosenbergECOOP 2008–Object-Oriented Programming: 22nd European Conference Paphos …, 20081542008

ARTICLES

Add your articles