Some publications by David Wagner

Back

Conference articles
  1. Hao Chen and David Wagner. MOPS: an infrastructure for examining security properties of software.. In Proceedings of the 9th ACM Conference on Computer and Communications Security (CCS), pages 235--244, 2002.



This document was translated from BibTEX by bibtex2html