David Wagner

Elizabeth Ha, David Wagner: Do Android users write about electric sheep? Examining consumer reviews in Google Play. CCNC 2013: 149-157

Anne Edmundson, Brian Holtkamp, Emanuel Rivera, Matthew Finifter, Adrian Mettler, David Wagner: An Empirical Study on the Effectiveness of Security Code Review. ESSoS 2013: 197-212

Philip B. Stark, David Wagner: Evidence-Based Elections. IEEE Security & Privacy 10(5): 33-41 (2012)

Paul Pearce, Adrienne Porter Felt, Gabriel Nunez, David Wagner: AdDroid: privilege separation for applications and advertisers in Android. ASIACCS 2012: 71-72

Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David Wagner: Verification with small and short worlds. FMCAD 2012: 68-77

Erika Chin, Adrienne Porter Felt, Vyas Sekar, David Wagner: Measuring user confidence in smartphone security and privacy. SOUPS 2012: 1

Adrienne Porter Felt, Elizabeth Ha, Serge Egelman, Ariel Haney, Erika Chin, David Wagner: Android permissions: user attention, comprehension, and behavior. SOUPS 2012: 3

Michael Duelli, Sebastian Meier, David Wagner, Thomas Zinner, Matthias Schmid, Marco Hoffmann, Wolfgang Kiess: Experimental Demonstration of Network Virtualization and Resource Flexibility in the COMCON Project. TRIDENTCOM 2012: 114-129

Serge Egelman, Adrienne Porter Felt, David Wagner: Choice Architecture and Smartphone Privacy: There's a Price for That. WEIS 2012

Moses Liskov, Ronald L. Rivest, David Wagner: Tweakable Block Ciphers. J. Cryptology 24(3): 588-613 (2011)

Adrienne Porter Felt, Matthew Finifter, Joel Weinberger, David Wagner: Diesel: applying privilege separation to database access. ASIACCS 2011: 416-422

Adrienne Porter Felt, Erika Chin, Steve Hanna, Dawn Song, David Wagner: Android permissions demystified. ACM Conference on Computer and Communications Security 2011: 627-638

Erika Chin, Adrienne Porter Felt, Kate Greenwood, David Wagner: Analyzing inter-application communication in Android. MobiSys 2011: 239-252

Cynthia Sturton, Matthew Hicks, David Wagner, Samuel T. King: Defeating UCI: Building Stealthy and Malicious Hardware. IEEE Symposium on Security and Privacy 2011: 64-77

Susana Sargento, Janusz Gozdecki, David Wagner, José Rocha, Janusz Moedeker: Mobility with QoS in Broadcast Unidirectional Technologies: Experimental Validation. ICC 2010: 1-6

Ioannis P. Chochliouros, Evangelos Sfakianakis, Apostolos Kousaridas, Jens Mödeker, David Wagner, Anastasia S. Spiliopoulou, George Agapiou, Andrej Mihailovic, Dev Pramil Audsin, Maria Belesioti, Andreas Rigas, Konstantinos Chelidonis, Evangelos N. Gazis, Gérard Nguengang, Nancy Alonistioti, Christos Mizikakis, Dimitrios Katsaros, Tilemachos Doukoglou: Design and Development of Essential Use-Cases for Self-management in Future Internet Wireless Networks. MOBILIGHT 2010: 318-333

David Wagner, Jens Mödeker: Towards Dynamic Protocol Configuration and its Configuration and Control in Autonomous Communication Environments. MOBILIGHT 2010: 334-345

Adrian Mettler, David Wagner, Tyler Close: Joe-E: A Security-Oriented Subset of Java. NDSS 2010

Akshay Krishnamurthy, Adrian Mettler, David Wagner: Fine-grained privilege separation for web applications. WWW 2010: 551-560

Hsin-Yi Tsai, Yu-Lun Huang, David Wagner: A graph approach to quantitative analysis of control-flow obfuscating transformations. IEEE Transactions on Information Forensics and Security 4(2): 257-267 (2009)

Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David Wagner: On voting machine design for verification and testability. ACM Conference on Computer and Communications Security 2009: 463-476

Susana Sargento, David Wagner, José Rocha, Fabio Mitrano, Janusz Gozdecki, Jens Mödeker: Multicast Mobility in Heterogeneous Technologies: Experimental Validation. GLOBECOM 2009: 1-8

Chris Karlof, J. Doug Tygar, David Wagner: Conditioned-safe Ceremonies and a User Study of an Application to Web Authentication. NDSS 2009

Chris Karlof, J. D. Tygar, David Wagner: Conditioned-safe ceremonies and a user study of an application to web authentication. SOUPS 2009

Erika Chin, David Wagner: Efficient character-level taint tracking for Java. SWS 2009: 3-12

David Molnar, Xue Cong Li, David Wagner: Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs. USENIX Security Symposium 2009: 67-82

Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva: Portably solving file races with hardness amplification. TOS 4(3) (2008)

Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner: Verifiable functional purity in java. ACM Conference on Computer and Communications Security 2008: 161-174

Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva: Portably Solving File TOCTTOU Races with Hardness Amplification. FAST 2008: 189-206

Nicolas Courtois, Gregory V. Bard, David Wagner: Algebraic and Slide Attacks on KeeLoq. FSE 2008: 97-115

Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup, David Wagner: C++ Dynamic Cast in Autonomous Space Systems. ISORC 2008: 499-507

Chris Karlof, J. Doug Tygar, David Wagner: A User Study Design for Comparing the Security of Registration Protocols. UPSEC 2008

Arel Cordero, David Wagner: Replayable Voting Machine Audit Logs. EVT 2008

J. Alex Halderman, Eric Rescorla, Hovav Shacham, David Wagner: You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting Systems. EVT 2008

David Wagner (Ed.): Advances in Cryptology - CRYPTO 2008, 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings. Lecture Notes in Computer Science 5157, Springer 2008, isbn 978-3-540-85173-8

Matt Bishop, David Wagner: Risks of e-voting. Commun. ACM 50(11): 120 (2007)

Chris Karlof, Umesh Shankar, J. Doug Tygar, David Wagner: Dynamic pharming attacks and locked same-origin policies for web browsers. ACM Conference on Computer and Communications Security 2007: 58-71

Karl Chen, David Wagner: Large-scale analysis of format string vulnerabilities in Debian Linux. PLAS 2007: 75-84

Philippe Golle, David Wagner: Cryptanalysis of a Cognitive Authentication Scheme (Extended Abstract). IEEE Symposium on Security and Privacy 2007: 66-70

Nicholas Hopper, David Molnar, David Wagner: From Weak to Strong Watermarking. TCC 2007: 362-382

Pedro A. Aranda-Gutiérrez, David Wagner, Ilka Miloucheva, Christof Brandauer, Ulrich Hofmann: Policy based QoS Monitoring: Automated Learning Strategies for Policy Enhancement. WINSYS 2007: 291-297

Nicolas Courtois, Gregory V. Bard, David Wagner: Algebraic and Slide Attacks on KeeLoq. IACR Cryptology ePrint Archive 2007: 62 (2007)

Raphael Chung-Wei Phan, David Wagner: Security considerations for incremental hash functions based on pair block chaining. Computers & Security 25(2): 131-136 (2006)

David Wagner: Cryptographic Protocols for Electronic Voting. CRYPTO 2006: 393

Yuval Ishai, Manoj Prabhakaran, Amit Sahai, David Wagner: Private Circuits II: Keeping Secrets in Tamperable Circuits. EUROCRYPT 2006: 308-327

Umesh Shankar, David Wagner: Preventing Secret Leakage from fork(): Securing Privilege-Separated Applications. ICC 2006: 2268-2275

Chris Crutchfield, David Molnar, David Turner, David Wagner: Generic On-Line/Off-Line Threshold Signatures. Public Key Cryptography 2006: 58-74

David Wagner: Object capabilities for security. PLAS 2006: 1-2

David Molnar, Tadayoshi Kohno, Naveen Sastry, David Wagner: Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract). IEEE Symposium on Security and Privacy 2006: 365-370

David Molnar, Tadayoshi Kohno, Naveen Sastry, David Wagner: Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage -or- How to Store Ballots on a Voting Machine. IACR Cryptology ePrint Archive 2006: 81 (2006)

Philippe Golle, David Wagner: Cryptanalysis of a Cognitive Authentication Scheme. IACR Cryptology ePrint Archive 2006: 258 (2006)

Nicholas Hopper, David Molnar, David Wagner: From Weak to Strong Watermarking. IACR Cryptology ePrint Archive 2006: 430 (2006)

Zhendong Su, David Wagner: A class of polynomially solvable range constraints for interval analysis without widenings. Theor. Comput. Sci. 345(1): 122-138 (2005)

Benjamin Schwarz, Hao Chen, David Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West: Model Checking An Entire Linux Distribution for Security Violations. ACSAC 2005: 13-22

Jason Waddle, David Wagner: Fault Attacks on Dual-Rail Encoded Systems. ACSAC 2005: 483-494

Lillie Coney, Joseph Lorenzo Hall, Poorvi L. Vora, David Wagner: Towards a privacy measurement criterion for voting systems. DG.O 2005: 287-288

David Molnar, Matt Piotrowski, David Schultz, David Wagner: The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks. ICISC 2005: 156-168

Stark C. Draper, Prakash Ishwar, David Molnar, Vinod M. Prabhakaran, Kannan Ramchandran, Daniel Schonberg, David Wagner: An Analysis of Empirical PMF Based Tests for Least Significant Bit Image Steganography. Information Hiding 2005: 327-341

David Molnar, Andrea Soppera, David Wagner: A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags. Selected Areas in Cryptography 2005: 276-290

Ari Juels, David Molnar, David Wagner: Security and Privacy Issues in E-passports. SecureComm 2005: 74-88

David Wagner: Pushdown Model Checking for Security. SPIN 2005: 1

David Molnar, Andrea Soppera, David Wagner: Privacy for RFID through trusted computing. WPES 2005: 31-34

Ari Juels, David Molnar, David Wagner: Security and Privacy Issues in E-passports. IACR Cryptology ePrint Archive 2005: 95 (2005)

David Molnar, Andrea Soppera, David Wagner: A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags. IACR Cryptology ePrint Archive 2005: 315 (2005)

David Molnar, Matt Piotrowski, David Schultz, David Wagner: The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks. IACR Cryptology ePrint Archive 2005: 368 (2005)

Chris Crutchfield, David Molnar, David Turner, David Wagner: Generic On-Line/Off-Line Threshold Signatures. IACR Cryptology ePrint Archive 2005: 418 (2005)

Adrian Perrig, John A. Stankovic, David Wagner: Security in wireless sensor networks. Commun. ACM 47(6): 53-57 (2004)

David R. Jefferson, Aviel D. Rubin, Barbara Simons, David Wagner: Analyzing internet voting security. Commun. ACM 47(10): 59-64 (2004)

David Wagner: Cryptanalysis of a provably secure CRT-RSA algorithm. ACM Conference on Computer and Communications Security 2004: 92-97

David Molnar, David Wagner: Privacy and security in library RFID: issues, practices, and architectures. ACM Conference on Computer and Communications Security 2004: 210-219

Jason Waddle, David Wagner: Towards Efficient Second-Order Power Analysis. CHES 2004: 1-15

David Wagner: Towards a Unifying View of Block Cipher Cryptanalysis. FSE 2004: 16-33

Mihir Bellare, Phillip Rogaway, David Wagner: The EAX Mode of Operation. FSE 2004: 389-407

Hao Chen, Drew Dean, David Wagner: Model Checking One Million Lines of C Code. NDSS 2004

David Wagner: Resilient aggregation in sensor networks. SASN 2004: 78-87

Chris Karlof, Naveen Sastry, David Wagner: TinySec: a link layer security architecture for wireless sensor networks. SenSys 2004: 162-175

Zhendong Su, David Wagner: A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. TACAS 2004: 280-295

Mark Johnson, David Wagner, Kannan Ramchandran: On Compressing Encrypted Data without the Encryption Key. TCC 2004: 491-504

Robert Johnson, David Wagner: Finding User/Kernel Pointer Bugs with Type Inference. USENIX Security Symposium 2004: 119-134

Nathan Good, David Molnar, Jennifer M. Urban, Deirdre K. Mulligan, Elizabeth Miles, Laura Quilter, David Wagner: Radio frequency Id and privacy with information goods. WPES 2004: 41-42

Naveen Sastry, David Wagner: Security considerations for IEEE 802.15.4 networks. Workshop on Wireless Security 2004: 32-42

Chris Karlof, David Wagner: Secure routing in wireless sensor networks: attacks and countermeasures. Ad Hoc Networks 1(2-3): 293-315 (2003)

Nancy Cam-Winget, Russell Housley, David Wagner, Jesse Walker: Security flaws in 802.11 data link protocols. Commun. ACM 46(5): 35-39 (2003)

Chris Karlof, David Wagner: Hidden Markov Model Cryptoanalysis. CHES 2003: 17-34

Yuval Ishai, Amit Sahai, David Wagner: Private Circuits: Securing Hardware against Probing Attacks. CRYPTO 2003: 463-481

David Wagner: Cryptanalysis of an Algebraic Privacy Homomorphism. ISC 2003: 234-239

Naveen Sastry, Umesh Shankar, David Wagner: Secure verification of location claims. Workshop on Wireless Security 2003: 1-10

Phillip Rogaway, David Wagner: A Critique of CCM. IACR Cryptology ePrint Archive 2003: 70 (2003)

David Wagner: A Security Evaluation of Whitenoise. IACR Cryptology ePrint Archive 2003: 218 (2003)

Hao Chen, David Wagner: MOPS: an infrastructure for examining security properties of software. ACM Conference on Computer and Communications Security 2002: 235-244

David Wagner, Paolo Soto: Mimicry attacks on host-based intrusion detection systems. ACM Conference on Computer and Communications Security 2002: 255-264

Moses Liskov, Ronald L. Rivest, David Wagner: Tweakable Block Ciphers. CRYPTO 2002: 31-46

David Wagner: A Generalized Birthday Problem. CRYPTO 2002: 288-303

Robert Johnson, David Molnar, Dawn Xiaodong Song, David Wagner: Homomorphic Signature Schemes. CT-RSA 2002: 244-262

Nikita Borisov, Monica Chew, Robert Johnson, David Wagner: Multiplicative Differentials. FSE 2002: 17-33

Lars R. Knudsen, David Wagner: Integral Cryptanalysis. FSE 2002: 112-127

Will Ivancic, David Wagner, Aviel D. Rubin, Paul Ratazzi, James P. G. Sterbenz: Securing Wireless and Mobile Networks - Is It Possible? INFOCOM 2002

Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David Wagner: Cool security trends. SACMAT 2002: 53

Ben Reichardt, David Wagner: Markov Truncated Differential Cryptanalysis of Skipjack. Selected Areas in Cryptography 2002: 110-128

Hao Chen, David Wagner, Drew Dean: Setuid Demystified. USENIX Security Symposium 2002: 171-190

Lars R. Knudsen, David Wagner: On the structure of Skipjack. Discrete Applied Mathematics 111(1-2): 103-116 (2001)

Scott A. Crosby, Ian Goldberg, Robert Johnson, Dawn Xiaodong Song, David Wagner: A Cryptanalysis of the High-Bandwidth Digital Content Protection System. Digital Rights Management Workshop 2001: 192-200

Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner: Relating Cryptography and Cryptographic Protocols. CSFW 2001: 111-114

Nikita Borisov, Ian Goldberg, David Wagner: Intercepting mobile communications: the insecurity of 802.11. MOBICOM 2001: 180-189

David Wagner: Static Analysis and Software Assurance. SAS 2001: 431

David Wagner, Drew Dean: Intrusion Detection via Static Analysis. IEEE Symposium on Security and Privacy 2001: 156-168

Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner: Detecting Format String Vulnerabilities with Type Qualifiers. USENIX Security Symposium 2001

Dawn Xiaodong Song, David Wagner, Xuqing Tian: Timing Analysis of Keystrokes and Timing Attacks on SSH. USENIX Security Symposium 2001

John Kelsey, Bruce Schneier, David Wagner, Chris Hall: Side Channel Cryptanalysis of Product Ciphers. Journal of Computer Security 8(2/3): 141-158 (2000)

Niels Ferguson, Bruce Schneier, David Wagner: Security Weaknesses in a Randomized Stream Cipher. ACISP 2000: 234-241

Bruce Schneier, John Kelsey, Doug Whiting, David Wagner, Niels Ferguson: Comments on Twofish as an AES Candidate. AES Candidate Conference 2000: 355-356

David Wagner: Cryptanalysis of the Yi-Lam Hash. ASIACRYPT 2000: 483-488

David Wagner, Ian Goldberg: Proofs of Security for the Unix Password Hashing Algorithm. ASIACRYPT 2000: 560-572

Alex Biryukov, David Wagner: Advanced Slide Attacks. EUROCRYPT 2000: 589-606

Alex Biryukov, Adi Shamir, David Wagner: Real Time Cryptanalysis of A5/1 on a PC. FSE 2000: 1-18

Niels Ferguson, John Kelsey, Stefan Lucks, Bruce Schneier, Michael Stay, David Wagner, Doug Whiting: Improved Cryptanalysis of Rijndael. FSE 2000: 213-230

David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS 2000

Dawn Xiaodong Song, David Wagner, Adrian Perrig: Practical Techniques for Searches on Encrypted Data. IEEE Symposium on Security and Privacy 2000: 44-55

Bruce Schneier, Mudge, David Wagner: Cryptanalysis of Microsoft's PPTP Authentication Extensions (MS-CHAPv2). CQRE 1999: 192-203

Lars R. Knudsen, Matthew J. B. Robshaw, David Wagner: Truncated Differentials and Skipjack. CRYPTO 1999: 165-180

John Kelsey, Bruce Schneier, David Wagner: Mod n Cryptanalysis, with Applications Against RC5P and M6. FSE 1999: 139-155

David Wagner: The Boomerang Attack. FSE 1999: 156-170

Alex Biryukov, David Wagner: Slide Attacks. FSE 1999: 245-259

Ian Goldberg, Steven D. Gribble, David Wagner, Eric A. Brewer: The Ninja Jukebox. USENIX Symposium on Internet Technologies and Systems 1999

Ian Goldberg, David Wagner: TAZ Servers and the Rewebber Network: Enabling Anonymous Publishing on the World Wide Web. First Monday 3(4) (1998)

Chris Hall, David Wagner, John Kelsey, Bruce Schneier: Building PRFs from PRPs. CRYPTO 1998: 370-389

John Kelsey, Bruce Schneier, David Wagner, Chris Hall: Side Channel Cryptanalysis of Product Ciphers. ESORICS 1998: 97-110

Chris Hall, John Kelsey, Bruce Schneier, David Wagner: Cryptanalysis of SPEED. Financial Cryptography 1998: 309-310

Don Coppersmith, David Wagner, Bruce Schneier, John Kelsey: Cryptanalysis of TWOPRIME. FSE 1998: 32-48

John Kelsey, Bruce Schneier, David Wagner, Chris Hall: Cryptanalytic Attacks on Pseudorandom Number Generators. FSE 1998: 168-188

David Wagner: Cryptanalysis of Some Recently-Proposed Multiple Modes of Operation. FSE 1998: 254-269

David Wagner: Differential Cryptanalysis of KHF. FSE 1998: 293-296

Bruce Schneier, John Kelsey, Doug Whiting, David Wagner, Chris Hall: On the Twofish Key Schedule. Selected Areas in Cryptography 1998: 27-42

David Wagner, Leone Simpson, Ed Dawson, John Kelsey, William Millan, Bruce Schneier: Cryptanalysis of ORYX. Selected Areas in Cryptography 1998: 296-305

Chris Hall, John Kelsey, Vincent Rijmen, Bruce Schneier, David Wagner: Cryptanalysis of SPEED. Selected Areas in Cryptography 1998: 319-338

David Wagner, Bruce Schneier, John Kelsey: Cryptoanalysis of the Cellular Encryption Algorithm. CRYPTO 1997: 526-537

John Kelsey, Bruce Schneier, David Wagner: Related-key cryptanalysis of 3-WAY, Biham-DES, CAST, DES-X, NewDES, RC2, and TEA. ICICS 1997: 233-246

John Kelsey, Bruce Schneier, Chris Hall, David Wagner: Secure Applications of Low-Entropy Keys. ISW 1997: 121-134

John Kelsey, Bruce Schneier, David Wagner: Protocol Interactions and the Chosen Protocol Attack. Security Protocols Workshop 1997: 91-104

John Kelsey, Bruce Schneier, David Wagner: Key-Schedule Cryptoanalysis of IDEA, G-DES, GOST, SAFER, and Triple-DES. CRYPTO 1996: 237-251

Dirk Grunwald, Gary J. Nutt, Anthony M. Sloane, David Wagner, Benjamin G. Zorn: A Testbed for Studying Parallel Programs and Parallel Execution Architectures. MASCOTS 1993: 95-106

Brian Alspach, Paul J. Schellenberg, Douglas R. Stinson, David Wagner: The Oberwolfach problem and factors of uniform odd length cycles. J. Comb. Theory, Ser. A 52(1): 20-43 (1989)