by Banerjee, Anindya, Naumann, David A.
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)

by Nagasamudram, Ramana, Naumann, David A.
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)

by Assaf, Mounir, Naumann, David A.
Published in 2016 IEEE 29th Computer Security Foundations Symposium (CSF) (01.06.2016)

by Chudnov, Andrey, Naumann, David A
Published in 2010 23rd IEEE Computer Security Foundations Symposium (01.07.2010)

by BANERJEE, ANINDYA, NAUMANN, DAVID A.
Published in Journal of functional programming (01.03.2005)

by Dupressoir, François, Gordon, Andrew D., Jürjens, Jan, Naumann, David A.
Published in Journal of computer security (01.01.2014)

by Naumann, David A., Barnett, Mike
Published in Theoretical computer science (10.11.2006)

by Naumann, David A.
Published in Lecture notes in computer science (2005)

by Banerjee, Anindya, Naumann, David A.
Published in Electronic proceedings in theoretical computer science (01.01.2013)

by Banerjee, Anindya, Naumann, David A.
Published in ECOOP 2005 - Object-Oriented Programming (2005)

by Naumann, David A.
Published in Formal Methods for Components and Objects (2005)

by Barnett, Mike, Naumann, David A., Schulte, Wolfram, Sun, Qi
Published in Emerging Trends in Information and Communication Security (2006)

by NAUMANN, David A
Published in Formal aspects of computing (01.06.2007)

by Pistoia, M., Banerjee, A., Naumann, D.A.
Published in 2007 IEEE Symposium on Security and Privacy (SP '07) (01.05.2007)

by Naumann, David A.
Published in Fundamental Approaches to Software Engineering (2005)

by Naumann, David A.
Published in Theoretical computer science (06.05.2002)

by Cavalcanti, A., Naumann, D.A.
Published in IEEE transactions on software engineering (01.08.2000)

by Naumann, David A.
Published in Information processing letters (28.02.2001)

by Naumann, David A.
Published in Journal of logical and algebraic methods in programming (01.08.2016)

by Chudnov, Andrey, Naumann, David A.
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)