CERT-SEI

Staff Profile

Kurt Wallnau

Kurt Wallnau

Principal Researcher

Key Responsibilities

Principal Investigator of the DARPA ADAMS (Anomaly Detection at Multiple Scales) Red Team.

Professional Background

 

Kurt Wallnau is a Principle Research Scientist. His main interests are bringing new or emerging computational and social theories to bear on contemporary system design challenges. Kurt joined CERT’s “Science or Cyber-Security” group in July 2012, and is currently PI of the DARPA ADAMS (Anomaly Detection at Multiple Scales Red Team. From 2009-2012 Kurt led SEI work to introduce architecture-based software development to NSF XSEDE (eXtreme Science Engineering Discovery Environment), and served as XSEDE software manager from 2011-2012. From 2000-2009 he led the predictable assembly from certifiable code (PACC) research initiative, which combined program analysis with software component technology to provide formal (e.g., proof certificates) and quantitative (confidence intervals) bases for trusting code of unknown pedigree. He has led successful IR&D/LENS efforts in proof-carrying code and market-based allocation of network bandwidth. He holds a BS in Computer Science from Villanova University, USA, and a PhD in Computer Science and Engineering from Mälardalen University, Sweden.

 

Publications (recent or significant)

 

"Designing for incentives: Better information sharing for better software engineering," Klein, Mark, Gabriel A. Moreno, David C. Parkes, and Kurt Wallnau. Proceedings of FSE Workshop on the Future of Software Engineering: November 7-8, 2010, Santa Fe, New Mexico. 

"Assurance Cases for Proofs as Evidence." Sagar Chaki, Arie Gurnkel, Kurt Wallnau, Charles Weinstock in Proc. of Workshop on Proof-Carrying Code and Software Certification (PCC), 2009.

"Engineering Emergence: an occam-pi Adventure." Peter H. Welch, Kurt C. Wallnau, Mark Klein. Proceeding of: The thirty-second Communicating Process Architectures Conference, CPA 2009, Eindhoven, The Netherlands, 1-6 November 2009.

"Handling interdependent values in an auction mechanism for bandwidth allocation in tactical data networks." Mark Klein, Gabriel A. Moreno, David C. Parkes, Daniel Plakosh, Sven Seuken, Kurt C. Wallnau. Proceedings of the ACM SIGCOMM 2008 Workshop on Economics of Networked Systems, NetEcon 2008, Seattle, WA, USA, August 22, 2008.

"Model-Driven Construction of Certied Binaries." Sagar Chaki, James Ivers, Peter Lee, Kurt Wallnau, Noam Zeilberger. Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MODELS) 2007.

 

Education

  • PhD, Computer Science, Mälardalen University, Sweden
  • BS, Computer Science, Villanova University, USA

Contact Kurt Wallnau