David Wagner

Associate Professor

Research Areas

• Operating Systems & Networking (OSNT)
• Security (SEC)
• Computer Security, cryptography, systems, and theory

Research Centers

• Team for Research in Ubiquitous Secure Technology (TRUST)

Teaching Schedule (Spring 2008)

• CS 70. Discrete Math & Probability, M W F 11:00-12:00P, 390 HMMB

Selected Publications

• C. Karlof, J. Tygar, D. Wagner, and U. Shankar, "Dynamic Pharming Attacks and Locked Same-origin Policies for Web Browsers," in ACM CCS 2007, 2007.
• J. A. Calandrino, A. J. Feldman, A. Halderman, D. Wagner, H. Yu, and W. P. Zeller, "Source Code Review of the Diebold Voting System," July 2007.
• K. Chen and D. Wagner, "Large-Scale Analysis of Format String Vulnerabilities in Debian Linux," in ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2007), 2007.
• A. Yasinsac, D. Wagner, M. Bishop, T. Baker, B. de Medeiros, G. Tyson, M. Shamos, and M. Burmester, "Software Review and Security Analysis of the ES&S iVotronic 8.0.1.2 Voting Machine Firmware," Feb. 2007.
• N. Hopper, D. Molnar, and D. Wagner, "From Weak to Strong Watermarking," in TCC 2007, 2007.
• K. Yee, D. Wagner, M. Hearst, and S. M. Bellovin, "Prerendered User Interfaces for Higher-Assurance Electronic Voting," in USENIX/ACCURATE Electronic Voting Technology Workshop, 2006.
• N. Sastry, T. Kohno, and D. Wagner, "Designing voting machines for verification," in Usenix Security 2006, 2006.
• A. Cordero, D. Wagner, and D. Dill, "The Role of Dice in Election Audits -- Extended Abstract," in IAVoSS Workshop On Trustworthy Elections (WOTE 2006), 2006.
• P. Hawthorne, B. Simons, C. Clifton, D. Wagner, S. Bellovin, R. Wright, A. Rosenthal, R. Spencer Poore, L. Coney, R. Gellman, and H. Hochheiser, "Statewide Databases of Registered Voters: Study Of Accuracy, Privacy, Usability, Security, and Reliability Issues," Feb. 2006.
• D. Wagner, D. Jefferson, M. Bishop, C. Karlof, and N. Sastry, "Security Analysis of the Diebold AccuBasic Interpreter," Feb. 2006.
• R. C., W. Phan, and D. Wagner, "Security considerations for incremental hash functions based on pair block chaining," Computers & Security, Jan. 2006.
• B. Schwarz, H. Chen, D. Wagner, G. Morrison, J. West, J. Lin, and W. Tu, "Model checking an entire Linux distribution for security violations," in Proc. 21st Annual Computer Security Applications Conf., Los Alamitos, CA: IEEE Computer Society, 2005, pp. 13-22.
• A. Juels, D. Molnar, and D. Wagner, "Security and privacy issues in e-passports," in Proc. 1st Intl. Conf. on Security and Privacy for Emerging Areas in Communications Networks, Los Alamitos, CA: IEEE Computer Society, 2005, pp. 74-85.
• H. Chen, D. Wagner, and D. Dean, "Setuid demystified," in Proc. 11th USENIX Security Symp., Berkeley, CA: USENIX Association, 2002, pp. 171-190.
• N. Borisov, I. Goldberg, and D. Wagner, "Intercepting mobile communications: The insecurity of 802.11," in Proc. 7th Annual Intl. Conf. on Mobile Computing and Networking, New York, NY: ACM Press, 2001, pp. 180-189.
• D. Wagner, J. S. Foster, E. Brewer, and A. Aiken, "A first step towards automated detection of buffer overrun vulnerabilities," in Proc. Network and Distributed System Security Symp., Reston, VA: Internet Society, 2000, pp. 15 pp..