A Testbed for Studying Parallel Programs and Parallel Execution Architectures. - Dirk Grunwald; Gary J. Nutt; Anthony M. Sloane; David A. Wagner 001; Benjamin G. Zorn (MASCOTS, 1993)

Key-Schedule Cryptanalysis of IDEA, G-DES, GOST, SAFER, and Triple-DES. - John Kelsey; Bruce Schneier; David A. Wagner 001 (CRYPTO, 1996)

A "bump in the stack" encryptor for MS-DOS systems. - David A. Wagner 001; Steven M. Bellovin (NDSS, 1996)

A Secure Environment for Untrusted Helper Applications. - Ian Goldberg; David A. Wagner 001; Randi Thomas; Eric A. Brewer (USENIX Security Symposium, 1996)

KD trees and Delaunay-based linear interpolation for function learning: a comparison to neural networks with error backpropagation. - Eric M. Gross; David A. Wagner 001 (IEEE Trans. Control. Syst. Technol., 1996)

Privacy-enhancing technologies for the Internet. - Ian Goldberg; David A. Wagner 001; Eric A. Brewer (COMPCON, 1997)

Cryptanalysis of the Cellular Encryption Algorithm. - David A. Wagner 001; Bruce Schneier; John Kelsey (CRYPTO, 1997)

Related-key cryptanalysis of 3-WAY, Biham-DES, CAST, DES-X, NewDES, RC2, and TEA. - John Kelsey; Bruce Schneier; David A. Wagner 001 (ICICS, 1997)

Secure Applications of Low-Entropy Keys. - John Kelsey; Bruce Schneier; Chris Hall; David A. Wagner 001 (ISW, 1997)

Protocol Interactions and the Chosen Protocol Attack. - John Kelsey; Bruce Schneier; David A. Wagner 001 (Security Protocols Workshop, 1997)

Building PRFs from PRPs. - Chris Hall; David A. Wagner 001; John Kelsey; Bruce Schneier (CRYPTO, 1998)

Cryptanalysis of SPEED. - Chris Hall; John Kelsey; Bruce Schneier; David A. Wagner 001 (Financial Cryptography, 1998)

Cryptanalysis of TWOPRIME. - Don Coppersmith; David A. Wagner 001; Bruce Schneier; John Kelsey (FSE, 1998)

Cryptanalytic Attacks on Pseudorandom Number Generators. - John Kelsey; Bruce Schneier; David A. Wagner 001; Chris Hall (FSE, 1998)

Cryptanalysis of Some Recently-Proposed Multiple Modes of Operation. - David A. Wagner 001 (FSE, 1998)

Differential Cryptanalysis of KHF. - David A. Wagner 001 (FSE, 1998)

Cryptanalysis of SPEED. - Chris Hall; John Kelsey; Vincent Rijmen; Bruce Schneier; David A. Wagner 001 (Selected Areas in Cryptography, 1998)

On the Twofish Key Schedule. - Bruce Schneier; John Kelsey; Doug Whiting; David A. Wagner 001; Chris Hall (Selected Areas in Cryptography, 1998)

Cryptanalysis of ORYX. - David A. Wagner 001; Leonie Simpson; Ed Dawson; John Kelsey; William Millan; Bruce Schneier (Selected Areas in Cryptography, 1998)

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

Cryptanalysis of Microsoft's PPTP Authentication Extensions (MS-CHAPv2). - Bruce Schneier; Mudge; David A. Wagner 001 (CQRE, 1999)

Truncated Differentials and Skipjack. - Lars R. Knudsen; Matthew J. B. Robshaw; David A. Wagner 001 (CRYPTO, 1999)

Slide Attacks. - Alex Biryukov; David A. Wagner 001 (FSE, 1999)

Mod n Cryptanalysis, with Applications Against RC5P and M6. - John Kelsey; Bruce Schneier; David A. Wagner 001 (FSE, 1999)

The Boomerang Attack. - David A. Wagner 001 (FSE, 1999)

The Ninja Jukebox. - Ian Goldberg; Steven D. Gribble; David A. Wagner 001; Eric A. Brewer (USENIX Symposium on Internet Technologies and Systems, 1999)

Security Weaknesses in a Randomized Stream Cipher. - Niels Ferguson; Bruce Schneier; David A. Wagner 001 (ACISP, 2000)

Comments on Twofish as an AES Candidate. - Bruce Schneier; John Kelsey; Doug Whiting; David A. Wagner 001; Niels Ferguson (AES Candidate Conference, 2000)

Cryptanalysis of the Yi-Lam Hash. - David A. Wagner 001 (ASIACRYPT, 2000)

Proofs of Security for the Unix Password Hashing Algorithm. - David A. Wagner 001; Ian Goldberg (ASIACRYPT, 2000)

Advanced Slide Attacks. - Alex Biryukov; David A. Wagner 001 (EUROCRYPT, 2000)

Real Time Cryptanalysis of A5/1 on a PC. - Alex Biryukov; Adi Shamir; David A. Wagner 001 (FSE, 2000)

Improved Cryptanalysis of Rijndael. - Niels Ferguson; John Kelsey; Stefan Lucks; Bruce Schneier; Michael Stay; David A. Wagner 001; Doug Whiting (FSE, 2000)

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. - David A. Wagner 001; Jeffrey S. Foster; Eric A. Brewer; Alexander Aiken (NDSS, 2000)

Practical Techniques for Searches on Encrypted Data. - Dawn Xiaodong Song; David A. Wagner 001; Adrian Perrig (S&P, 2000)

Side Channel Cryptanalysis of Product Ciphers. - John Kelsey; Bruce Schneier; David A. Wagner 001; Chris Hall (J. Comput. Secur., 2000)

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

Relating Cryptography and Cryptographic Protocols. - Andre Scedrov; Ran Canetti; Joshua D. Guttman; David A. Wagner 001; Michael Waidner (CSFW, 2001)

Intercepting mobile communications: the insecurity of 802.11. - Nikita Borisov; Ian Goldberg; David A. Wagner 001 (MobiCom, 2001)

Static Analysis and Software Assurance. - David A. Wagner 001 (SAS, 2001)

Intrusion Detection via Static Analysis. - David A. Wagner 001; Drew Dean (S&P, 2001)

Detecting Format String Vulnerabilities with Type Qualifiers. - Umesh Shankar; Kunal Talwar; Jeffrey S. Foster; David A. Wagner 001 (USENIX Security Symposium, 2001)

Timing Analysis of Keystrokes and Timing Attacks on SSH. - Dawn Xiaodong Song; David A. Wagner 001; Xuqing Tian (USENIX Security Symposium, 2001)

On the structure of Skipjack. - Lars R. Knudsen; David A. Wagner 001 (Discret. Appl. Math., 2001)

MOPS: an infrastructure for examining security properties of software. - Hao Chen 003; David A. Wagner 001 (CCS, 2002)

Mimicry attacks on host-based intrusion detection systems. - David A. Wagner 001; Paolo Soto (CCS, 2002)

A Generalized Birthday Problem. - David A. Wagner 001 (CRYPTO, 2002)

Homomorphic Signature Schemes. - Robert Johnson; David Molnar; Dawn Xiaodong Song; David A. Wagner 001 (CT-RSA, 2002)

Multiplicative Differentials. - Nikita Borisov; Monica Chew; Robert Johnson; David A. Wagner 001 (FSE, 2002)

Integral Cryptanalysis. - Lars R. Knudsen; David A. Wagner 001 (FSE, 2002)

Insecurity in ATM-based passive optical networks. - Stephen Thomas; David A. Wagner 001 (ICC, 2002)

Securing Wireless and Mobile Networks - Is It Possible? - Will Ivancic; David A. Wagner 001; Aviel D. Rubin; E. Paul Ratazzi; James P. G. Sterbenz (INFOCOM, 2002)

Cool security trends. - Dawson R. Engler; Cynthia E. Irvine; Trent Jaeger; David A. Wagner 001 (SACMAT, 2002)

Markov Truncated Differential Cryptanalysis of Skipjack. - Ben Reichardt; David A. Wagner 001 (Selected Areas in Cryptography, 2002)

Setuid Demystified. - Hao Chen 003; David A. Wagner 001; Drew Dean (USENIX Security Symposium, 2002)

Hidden Markov Model Cryptanalysis. - Chris Karlof; David A. Wagner 001 (CHES, 2003)

Private Circuits: Securing Hardware against Probing Attacks. - Yuval Ishai; Amit Sahai; David A. Wagner 001 (CRYPTO, 2003)

Cryptanalysis of an Algebraic Privacy Homomorphism. - David A. Wagner 001 (ISC, 2003)

Secure verification of location claims. - Naveen Sastry; Umesh Shankar; David A. Wagner 001 (Workshop on Wireless Security, 2003)

Secure routing in wireless sensor networks: attacks and countermeasures. - Chris Karlof; David A. Wagner 001 (Ad Hoc Networks, 2003)

Security flaws in 802.11 data link protocols. - Nancy Cam-Winget; Russell Housley; David A. Wagner 001; Jesse Walker (Commun. ACM, 2003)

EAX: A Conventional Authenticated-Encryption Mode. - Mihir Bellare; Phillip Rogaway; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2003)

A Critique of CCM. - Phillip Rogaway; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2003)

A Security Evaluation of Whitenoise. - David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2003)

Privacy and security in library RFID: issues, practices, and architectures. - David Molnar; David A. Wagner 001 (CCS, 2004)

Cryptanalysis of a provably secure CRT-RSA algorithm. - David A. Wagner 001 (CCS, 2004)

Towards Efficient Second-Order Power Analysis. - Jason Waddle; David A. Wagner 001 (CHES, 2004)

The EAX Mode of Operation. - Mihir Bellare; Phillip Rogaway; David A. Wagner 001 (FSE, 2004)

Towards a Unifying View of Block Cipher Cryptanalysis. - David A. Wagner 001 (FSE, 2004)

Model Checking One Million Lines of C Code. - Hao Chen 003; Drew Dean; David A. Wagner 001 (NDSS, 2004)

Resilient aggregation in sensor networks. - David A. Wagner 001 (SASN, 2004)

TinySec: a link layer security architecture for wireless sensor networks. - Chris Karlof; Naveen Sastry; David A. Wagner 001 (SenSys, 2004)

A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. - Zhendong Su 001; David A. Wagner 001 (TACAS, 2004)

On Compressing Encrypted Data without the Encryption Key. - Mark Johnson; David A. Wagner 001; Kannan Ramchandran (TCC, 2004)

Finding User/Kernel Pointer Bugs with Type Inference. - Robert Johnson; David A. Wagner 001 (USENIX Security Symposium, 2004)

Radio frequency Id and privacy with information goods. - Nathan Good; David Molnar; Jennifer M. Urban; Deirdre K. Mulligan; Elizabeth Miles; Laura Quilter; David A. Wagner 001 (WPES, 2004)

Security considerations for IEEE 802.15.4 networks. - Naveen Sastry; David A. Wagner 001 (Workshop on Wireless Security, 2004)

Analyzing internet voting security. - David R. Jefferson; Aviel D. Rubin; Barbara Simons; David A. Wagner 001 (Commun. ACM, 2004)

Security in wireless sensor networks. - Adrian Perrig; John A. Stankovic; David A. Wagner 001 (Commun. ACM, 2004)

Model Checking An Entire Linux Distribution for Security Violations. - Benjamin Schwarz; Hao Chen 003; David A. Wagner 001; Jeremy Lin; Wei Tu 001; Geoff Morrison; Jacob West (ACSAC, 2005)

Fault Attacks on Dual-Rail Encoded Systems. - Jason Waddle; David A. Wagner 001 (ACSAC, 2005)

Towards a privacy measurement criterion for voting systems. - Lillie Coney; Joseph Lorenzo Hall; Poorvi L. Vora; David A. Wagner 001 (DG.O, 2005)

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

Pushdown Model Checking for Security. - David A. Wagner 001 (SPIN, 2005)

Cryptographic Voting Protocols: A Systems Perspective. - Chris Karlof; Naveen Sastry; David A. Wagner 001 (USENIX Security Symposium, 2005)

Privacy for RFID through trusted computing. - David Molnar; Andrea Soppera; David A. Wagner 001 (WPES, 2005)

Generic On-Line/Off-Line Threshold Signatures. - Chris Crutchfield; David Molnar; David Turner; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2005)

Security and Privacy Issues in E-passports. - Ari Juels; David Molnar; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2005)

The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks. - David Molnar; Matt Piotrowski; David Schultz; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2005)

A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags. - David Molnar; Andrea Soppera; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2005)

A class of polynomially solvable range constraints for interval analysis without widenings. - Zhendong Su 001; David A. Wagner 001 (Theor. Comput. Sci., 2005)

Cryptographic Protocols for Electronic Voting. - David A. Wagner 001 (CRYPTO, 2006)

Private Circuits II: Keeping Secrets in Tamperable Circuits. - Yuval Ishai; Manoj Prabhakaran 001; Amit Sahai; David A. Wagner 001 (EUROCRYPT, 2006)

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

Object capabilities for security. - David A. Wagner 001 (PLAS, 2006)

Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract). - David Molnar; Tadayoshi Kohno; Naveen Sastry; David A. Wagner 001 (S&P, 2006)

Prerendered User Interfaces for Higher-Assurance Electronic Voting. - Ka-Ping Yee; David A. Wagner 001; Marti A. Hearst; Steven M. Bellovin (EVT, 2006)

Security considerations for incremental hash functions based on pair block chaining. - Raphael Chung-Wei Phan; David A. Wagner 001 (Comput. Secur., 2006)

Cryptanalysis of a Cognitive Authentication Scheme. - Philippe Golle; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2006)

From Weak to Strong Watermarking. - Nicholas Hopper; David Molnar; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2006)

Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage -or- How to Store Ballots on a Voting Machine. - David Molnar; Tadayoshi Kohno; Naveen Sastry; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2006)

Dynamic pharming attacks and locked same-origin policies for web browsers. - Chris Karlof; Umesh Shankar; J. Doug Tygar; David A. Wagner 001 (CCS, 2007)

Large-scale analysis of format string vulnerabilities in Debian Linux. - Karl Chen; David A. Wagner 001 (PLAS, 2007)

Cryptanalysis of a Cognitive Authentication Scheme (Extended Abstract). - Philippe Golle; David A. Wagner 001 (S&P, 2007)

Risks of e-voting. - Matt Bishop; David A. Wagner 001 (Commun. ACM, 2007)

Algebraic and Slide Attacks on KeeLoq. - Nicolas T. Courtois; Gregory V. Bard; David A. Wagner 001 (IACR Cryptol. ePrint Arch., 2007)

Verifiable functional purity in java. - Matthew Finifter; Adrian Mettler; Naveen Sastry; David A. Wagner 001 (CCS, 2008)

Portably Solving File TOCTTOU Races with Hardness Amplification. - Dan Tsafrir; Tomer Hertz; David A. Wagner 001; Dilma Da Silva (FAST, 2008)

A User Study Design for Comparing the Security of Registration Protocols. - Chris Karlof; J. Doug Tygar; David A. Wagner 001 (UPSEC, 2008)

Replayable Voting Machine Audit Logs. - Arel Cordero; David A. Wagner 001 (EVT, 2008)

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

Portably solving file races with hardness amplification. - Dan Tsafrir; Tomer Hertz; David A. Wagner 001; Dilma Da Silva (ACM Trans. Storage, 2008)

The Murky Issue of Changing Process Identity: Revising "Setuid Demystified". - Dan Tsafrir; Dilma Da Silva; David A. Wagner 001 (login Usenix Mag., 2008)

On voting machine design for verification and testability. - Cynthia Sturton; Susmit Jha; Sanjit A. Seshia; David A. Wagner 001 (CCS, 2009)

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

Efficient character-level taint tracking for Java. - Erika Chin; David A. Wagner 001 (SWS, 2009)

Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs. - David Molnar; Xue Cong Li; David A. Wagner 001 (USENIX Security Symposium, 2009)

Weight, Weight, Don't Tell Me: Using Scales to Select Ballots for Auditing. - Cynthia Sturton; David A. Wagner 001 (EVT/WOTE, 2009)

A graph approach to quantitative analysis of control-flow obfuscating transformations. - Hsin-Yi Tsai; Yu-Lun Huang; David A. Wagner 001 (IEEE Trans. Inf. Forensics Secur., 2009)

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

Class properties for security review in an object-capability subset of Java: (short paper). - Adrian Mettler; David A. Wagner 001 (PLAS, 2010)

Efficient User-Guided Ballot Image Verification. - Arel Cordero; Theron Ji; Alan Tsai; Keaton Mowery; David A. Wagner 001 (EVT/WOTE, 2010)

Fine-grained privilege separation for web applications. - Akshay Krishnamurthy; Adrian Mettler; David A. Wagner 001 (WWW, 2010)

Android permissions demystified. - Adrienne Porter Felt; Erika Chin; Steve Hanna; Dawn Song; David A. Wagner 001 (CCS, 2011)

A survey of mobile malware in the wild. - Adrienne Porter Felt; Matthew Finifter; Erika Chin; Steve Hanna; David A. Wagner 001 (SPSM@CCS, 2011)

Diesel: applying privilege separation to database access. - Adrienne Porter Felt; Matthew Finifter; Joel Weinberger; David A. Wagner 001 (AsiaCCS, 2011)

Analyzing inter-application communication in Android. - Erika Chin; Adrienne Porter Felt; Kate Greenwood; David A. Wagner 001 (MobiSys, 2011)

Defeating UCI: Building Stealthy and Malicious Hardware. - Cynthia Sturton; Matthew Hicks; David A. Wagner 001; Samuel T. King (IEEE Symposium on Security and Privacy, 2011)

An Analysis of Write-in Marks on Optical Scan Ballots. - Theron Ji; Eric Kim; Raji Srikantan; Alan Tsai; Arel Cordero; David A. Wagner 001 (EVT/WOTE, 2011)

The Effectiveness of Application Permissions. - Adrienne Porter Felt; Kate Greenwood; David A. Wagner 001 (WebApps, 2011)

Tweakable Block Ciphers. - Moses D. Liskov; Ronald L. Rivest; David A. Wagner 001 (J. Cryptol., 2011)

I've got 99 problems, but vibration ain't one: a survey of smartphone users' concerns. - Adrienne Porter Felt; Serge Egelman; David A. Wagner 001 (SPSM@CCS, 2012)

Short paper: location privacy: user behavior in the field. - Drew Fisher; Leah Dorner; David A. Wagner 001 (SPSM@CCS, 2012)

Reducing attack surfaces for intra-application communication in android. - David Kantola; Erika Chin; Warren He; David A. Wagner 001 (SPSM@CCS, 2012)

AdDroid: privilege separation for applications and advertisers in Android. - Paul Pearce; Adrienne Porter Felt; Gabriel Nunez; David A. Wagner 001 (AsiaCCS, 2012)

Verification with small and short worlds. - Rohit Sinha 001; Cynthia Sturton; Petros Maniatis; Sanjit A. Seshia; David A. Wagner 001 (FMCAD, 2012)

Measuring user confidence in smartphone security and privacy. - Erika Chin; Adrienne Porter Felt; Vyas Sekar; David A. Wagner 001 (SOUPS, 2012)

Android permissions: user attention, comprehension, and behavior. - Adrienne Porter Felt; Elizabeth Ha; Serge Egelman; Ariel Haney; Erika Chin; David A. Wagner 001 (SOUPS, 2012)

Automated Analysis of Election Audit Logs. - Patrick Baxter; Anne Edmundson; Keishla Ortiz; Ana Maria Quevedo; Samuel Rodríguez; Cynthia Sturton; David A. Wagner 001 (EVT/WOTE, 2012)

An Evaluation of the Google Chrome Extension Security Architecture. - Nicholas Carlini; Adrienne Porter Felt; David A. Wagner 001 (USENIX Security Symposium, 2012)

How to Ask for Permission. - Adrienne Porter Felt; Serge Egelman; Matthew Finifter; Devdatta Akhawe; David A. Wagner 001 (HotSec, 2012)

Operator-Assisted Tabulation of Optical Scan Ballots. - Kai Wang 059; Nicholas Carlini; Eric Kim; Ivan Motyashov; Daniel Nguyen; David A. Wagner 001 (EVT/WOTE, 2012)

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

Evidence-Based Elections. - Philip B. Stark; David A. Wagner 001 (IEEE Secur. Priv., 2012)

Choice Architecture and Smartphone Privacy: There's a Price for That. - Serge Egelman; Adrienne Porter Felt; David A. Wagner 001 (The Economics of Information Security and Privacy, 2013)

Do Android users write about electric sheep? Examining consumer reviews in Google Play. - Elizabeth Ha; David A. Wagner 001 (CCNC, 2013)

An Empirical Study on the Effectiveness of Security Code Review. - Anne Edmundson; Brian Holtkamp; Emanuel Rivera; Matthew Finifter; Adrian Mettler; David A. Wagner 001 (ESSoS, 2013)

Symbolic software model validation. - Cynthia Sturton; Rohit Sinha 001; Thurston H. Y. Dang; Sakshi Jain; Michael McCoyd; Wei Yang Tan; Petros Maniatis; Sanjit A. Seshia; David A. Wagner 001 (MEMOCODE, 2013)

When it's better to ask forgiveness than get permission: attribution mechanisms for smartphone resources. - Christopher Thompson 002; Maritza L. Johnson; Serge Egelman; David A. Wagner 001; Jennifer King (SOUPS, 2013)

An Empirical Study of Vulnerability Rewards Programs. - Matthew Finifter; Devdatta Akhawe; David A. Wagner 001 (USENIX Security Symposium, 2013)

Improved Support for Machine-assisted Ballot-level Audits. - Eric Kim; Nicholas Carlini; Andrew Chang; George Yiu; Kai Wang 059; David A. Wagner 001 (EVT/WOTE, 2013)

Bifocals: Analyzing WebView Vulnerabilities in Android Applications. - Erika Chin; David A. Wagner 001 (WISA, 2013)

Developing Social Capital in Online Communities: The Challenge of Fluidity. - David A. Wagner 001 (AMCIS, 2014)

Are You Ready to Lock? - Serge Egelman; Sakshi Jain; Rebecca S. Portnoff; Kerwell Liao; Sunny Consolvo; David A. Wagner 001 (CCS, 2014)

The effect of developer-specified explanations for permission requests on smartphone user behavior. - Joshua Tan 002; Khanh Nguyen; Michael Theodorides; Heidi Negrón-Arroyo; Christopher Thompson 002; Serge Egelman; David A. Wagner 001 (CHI, 2014)

ROP is Still Dangerous: Breaking Modern Defenses. - Nicholas Carlini; David A. Wagner 001 (USENIX Security Symposium, 2014)

The Performance Cost of Shadow Stacks and Stack Canaries. - Thurston H. Y. Dang; Petros Maniatis; David A. Wagner 001 (AsiaCCS, 2015)

Somebody's Watching Me?: Assessing the Effectiveness of Webcam Indicator Lights. - Rebecca S. Portnoff; Linda Naeun Lee; Serge Egelman; Pratyush Mishra; Derek Leung; David A. Wagner 001 (CHI, 2015)

Control-Flow Bending: On the Effectiveness of Control-Flow Integrity. - Nicholas Carlini; Antonio Barresi; Mathias Payer; David A. Wagner 001; Thomas R. Gross (USENIX Security Symposium, 2015)

Android Permissions Remystified: A Field Study on Contextual Integrity. - Primal Wijesekera; Arjun Baokar; Ashkan Hosseini; Serge Egelman; David A. Wagner 001; Konstantin Beznosov (USENIX Security Symposium, 2015)

Risk Perceptions for Wearable Devices. - Linda Naeun Lee; Serge Egelman; Joong Hwa Lee; David A. Wagner 001 (CoRR, 2015)

Attestation Transparency: Building secure Internet services for legacy clients. - Jethro G. Beekman; John L. Manferdelli; David A. Wagner 001 (AsiaCCS, 2016)

Smart Locks: Lessons for Securing Commodity Internet of Things Devices. - Grant Ho; Derek Leung; Pratyush Mishra; Ashkan Hosseini; Dawn Song; David A. Wagner 001 (AsiaCCS, 2016)

Securing Recognizers for Rich Video Applications. - Christopher Thompson 002; David A. Wagner 001 (SPSM@CCS, 2016)

Recovering High-Value Secrets with SGX and Social Authentication. - Nathan Malkin; Serge Egelman; David A. Wagner 001 (WAY@SOUPS, 2016)

Hidden Voice Commands. - Nicholas Carlini; Pratyush Mishra; Tavish Vaidya; Yuankai Zhang 001; Micah Sherr; Clay Shields; David A. Wagner 001; Wenchao Zhou (USENIX Security Symposium, 2016)

Fairness and the coin flip: technical perspective. - David A. Wagner 001 (Commun. ACM, 2016)

Defensive Distillation is Not Robust to Adversarial Examples. - Nicholas Carlini; David A. Wagner 001 (CoRR, 2016)

Spoofing 2D Face Detection: Machines See People Who Aren't There. - Michael McCoyd; David A. Wagner 001 (CoRR, 2016)

Security and Machine Learning. - David A. Wagner 001 (CCS, 2017)

Adversarial Examples Are Not Easily Detected: Bypassing Ten Detection Methods. - Nicholas Carlini; David A. Wagner 001 (AISec@CCS, 2017)

Breaking active-set backward-edge CFI. - Michael Theodorides; David A. Wagner 001 (HOST, 2017)

A Large-Scale Study of Modern Code Review and Security in Open Source Projects. - Christopher Thompson 002; David A. Wagner 001 (PROMISE, 2017)

Turtle Guard: Helping Android Users Apply Contextual Privacy Preferences. - Lynn Tsai; Primal Wijesekera; Joel Reardon; Irwin Reyes; Serge Egelman; David A. Wagner 001; Nathan Good; Jung-Wei Chen (SOUPS, 2017)

Towards Evaluating the Robustness of Neural Networks. - Nicholas Carlini; David A. Wagner 001 (IEEE Symposium on Security and Privacy, 2017)

The Feasibility of Dynamically Granted Permissions: Aligning Mobile Privacy with User Preferences. - Primal Wijesekera; Arjun Baokar; Lynn Tsai; Joel Reardon; Serge Egelman; David A. Wagner 001; Konstantin Beznosov (IEEE Symposium on Security and Privacy, 2017)

Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers. - Thurston H. Y. Dang; Petros Maniatis; David A. Wagner 001 (USENIX Security Symposium, 2017)

Detecting Credential Spearphishing in Enterprise Settings. - Grant Ho; Aashish Sharma; Mobin Javed; Vern Paxson; David A. Wagner 001 (USENIX Security Symposium, 2017)

MagNet and "Efficient Defenses Against Adversarial Attacks" are Not Robust to Adversarial Examples. - Nicholas Carlini; David A. Wagner 001 (CoRR, 2017)

A Usability Evaluation of Tor Launcher. - Linda Naeun Lee; David Fifield; Nathan Malkin; Ganesh Iyer; Serge Egelman; David A. Wagner 001 (Proc. Priv. Enhancing Technol., 2017)

Contextualizing Privacy Decisions for Better Prediction (and Protection). - Primal Wijesekera; Joel Reardon; Irwin Reyes; Lynn Tsai; Jung-Wei Chen; Nathan Good; David A. Wagner 001; Konstantin Beznosov; Serge Egelman (CHI, 2018)

Adversarially Robust Malware Detection Using Monotonic Classification. - Inigo Incer; Michael Theodorides; Sadia Afroz 001; David A. Wagner 001 (IWSPA@CODASPY, 2018)

Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples. - Anish Athalye; Nicholas Carlini; David A. Wagner 001 (ICML, 2018)

Audio Adversarial Examples: Targeted Attacks on Speech-to-Text. - Nicholas Carlini; David A. Wagner 001 (IEEE Symposium on Security and Privacy Workshops, 2018)

Background Class Defense Against Adversarial Examples. - Michael McCoyd; David A. Wagner 001 (IEEE Symposium on Security and Privacy Workshops, 2018)

Inferring Phone Location State. - Steven Chen; Won Park; Joanna Yang; David A. Wagner 001 (WiMob, 2018)

Dynamically Regulating Mobile Application Permissions. - Primal Wijesekera; Arjun Baokar; Lynn Tsai; Joel Reardon; Serge Egelman; David A. Wagner 001; Konstantin Beznosov (IEEE Secur. Priv., 2018)

Privacy controls for always-listening devices. - Nathan Malkin; Serge Egelman; David A. Wagner 001 (NSPW, 2019)

On the Robustness of Deep K-Nearest Neighbors. - Chawin Sitawarin; David A. Wagner 001 (IEEE Symposium on Security and Privacy Workshops, 2019)

Detecting and Characterizing Lateral Phishing at Scale. - Grant Ho; Asaf Cidon; Lior Gavish; Marco Schweighauser; Vern Paxson; Stefan Savage; Geoffrey M. Voelker; David A. Wagner 001 (USENIX Security Symposium, 2019)

Stateful Detection of Black-Box Adversarial Attacks. - Steven Chen; Nicholas Carlini; David A. Wagner 001 (CoRR, 2019)

Privacy Attitudes of Smart Speaker Users. - Nathan Malkin; Joe Deatrick; Allen Tong; Primal Wijesekera; Serge Egelman; David A. Wagner 001 (Proc. Priv. Enhancing Technol., 2019)

Minority Reports Defense: Defending Against Adversarial Patches. - Michael McCoyd; Won Park; Steven Chen; Neil Shah; Ryan Roggenkemper; Minjune Hwang; Jason Xinyu Liu; David A. Wagner 001 (ACNS Workshops, 2020)

E-ABS: Extending the Analysis-By-Synthesis Robust Classification Model to More Complex Image Domains. - An Ju; David A. Wagner 001 (AISec@CCS, 2020)

Minimum-Norm Adversarial Examples on KNN and KNN based Models. - Chawin Sitawarin; David A. Wagner 001 (SP (Workshops), 2020)

Clipped BagNet: Defending Against Sticker Attacks with Clipped Bag-of-features. - Zhanyuan Zhang; Benson Yuan; Michael McCoyd; David A. Wagner 001 (SP (Workshops), 2020)

Improving Adversarial Robustness Through Progressive Hardening. - Chawin Sitawarin; Supriyo Chakraborty; David A. Wagner 001 (CoRR, 2020)

A Large-Scale Analysis of Attacker Activity in Compromised Enterprise Accounts. - Neil Shah; Grant Ho; Marco Schweighauser; M. H. Afifi; Asaf Cidon; David A. Wagner 001 (CoRR, 2020)

Learning Security Classifiers with Verified Global Robustness Properties. - Yizheng Chen 001; Shiqi Wang 002; Yue Qin; Xiaojing Liao; Suman Jana; David A. Wagner 001 (CCS, 2021)

SAT: Improving Adversarial Training via Curriculum-Based Loss Smoothing. - Chawin Sitawarin; Supriyo Chakraborty; David A. Wagner 001 (AISec@CCS, 2021)

SEAT: Similarity Encoder by Adversarial Training for Detecting Model Extraction Attack Queries. - Zhanyuan Zhang; Yizheng Chen 001; David A. Wagner 001 (AISec@CCS, 2021)

Adversarial Examples for k-Nearest Neighbor Classifiers Based on Higher-Order Voronoi Diagrams. - Chawin Sitawarin; Evgenios M. Kornaropoulos; Dawn Song; David A. Wagner 001 (NeurIPS, 2021)

Hopper: Modeling and Detecting Lateral Movement. - Grant Ho; Mayank Dhiman; Devdatta Akhawe; Vern Paxson; Stefan Savage; Geoffrey M. Voelker; David A. Wagner 001 (USENIX Security Symposium, 2021)

Model-Agnostic Defense for Lane Detection against Adversarial Attack. - Henry Xu; An Ju; David A. Wagner 001 (CoRR, 2021)

Fighting Gradients with Gradients: Dynamic Defenses against Adversarial Attacks. - Dequan Wang; An Ju; Evan Shelhamer; David A. Wagner 001; Trevor Darrell (CoRR, 2021)

Hopper: Modeling and Detecting Lateral Movement (Extended Report). - Grant Ho; Mayank Dhiman; Devdatta Akhawe; Vern Paxson; Stefan Savage; Geoffrey M. Voelker; David A. Wagner 001 (CoRR, 2021)

SLIP: Self-supervision Meets Language-Image Pre-training. - Norman Mu; Alexander Kirillov; David A. Wagner 001; Saining Xie (ECCV (26), 2022)

Demystifying the Adversarial Robustness of Random Transformation Defenses. - Chawin Sitawarin; Zachary J. Golan-Strieb; David A. Wagner 001 (ICML, 2022)

Runtime Permissions for Privacy in Proactive Intelligent Assistants. - Nathan Malkin; David A. Wagner 001; Serge Egelman (SOUPS @ USENIX Security Symposium, 2022)

Can Humans Detect Malicious Always-Listening Assistants? A Framework for Crowdsourcing Test Drives. - Nathan Malkin; David A. Wagner 001; Serge Egelman (Proc. ACM Hum. Comput. Interact., 2022)

REAP: A Large-Scale Realistic Adversarial Patch Benchmark. - Nabeel Hingun; Chawin Sitawarin; Jerry Li; David A. Wagner 001 (ICCV, 2023)

Part-Based Models Improve Adversarial Robustness. - Chawin Sitawarin; Kornrapat Pongmala; Yizheng Chen 001; Nicholas Carlini; David A. Wagner 001 (ICLR, 2023)

DiverseVul: A New Vulnerable Source Code Dataset for Deep Learning Based Vulnerability Detection. - Yizheng Chen 001; Zhoujie Ding; Lamya Alowain; Xinyun Chen; David A. Wagner 001 (RAID, 2023)

Continuous Learning for Android Malware Detection. - Yizheng Chen 001; Zhoujie Ding; David A. Wagner 001 (USENIX Security Symposium, 2023)

Network Detection of Interactive SSH Impostors Using Deep Learning. - Julien Piet; Aashish Sharma; Vern Paxson; David A. Wagner 001 (USENIX Security Symposium, 2023)

DiverseVul: A New Vulnerable Source Code Dataset for Deep Learning Based Vulnerability Detection. - Yizheng Chen 001; Zhoujie Ding; Xinyun Chen; David A. Wagner 001 (CoRR, 2023)

Defending Against Transfer Attacks From Public Models. - Chawin Sitawarin; Jaewon Chang; David Huang; Wesson Altoyan; David A. Wagner 001 (CoRR, 2023)

Can LLMs Follow Simple Rules? - Norman Mu; Sarah Li Chen; Zifan Wang 001; Sizhe Chen; David Karamardian; Lulwa Aljeraisy; Dan Hendrycks; David A. Wagner 001 (CoRR, 2023)

Mark My Words: Analyzing and Evaluating Language Model Watermarks. - Julien Piet; Chawin Sitawarin; Vivian Fang; Norman Mu; David A. Wagner 001 (CoRR, 2023)

Obfuscated Malware Detection in IoT Android Applications Using Markov Images and CNN. - Dhanya K. A.; P. Vinod 001; Suleiman Y. Yerima; Abul Bashar; David A. Wagner 001; Abhiram T.; Alan Antony; Ashil K. Shavanas; T. Gireesh Kumar (IEEE Syst. J., 2023)

Jatmo: Prompt Injection Defense by Task-Specific Finetuning. - Julien Piet; Maha Alrashed; Chawin Sitawarin; Sizhe Chen; Zeming Wei; Elizabeth Sun; Basel Alomair; David A. Wagner 001 (ESORICS (1), 2024)

PubDef: Defending Against Transfer Attacks From Public Models. - Chawin Sitawarin; Jaewon Chang; David Huang; Wesson Altoyan; David A. Wagner 001 (ICLR, 2024)

Toxicity Detection for Free. - Zhanhao Hu; Julien Piet; Geng Zhao; Jiantao Jiao; David A. Wagner 001 (NeurIPS, 2024)

StruQ: Defending Against Prompt Injection with Structured Queries. - Sizhe Chen; Julien Piet; Chawin Sitawarin; David A. Wagner 001 (CoRR, 2024)

PAL: Proxy-Guided Black-Box Attack on Large Language Models. - Chawin Sitawarin; Norman Mu; David A. Wagner 001; Alexandre Araujo (CoRR, 2024)

Generative AI Security: Challenges and Countermeasures. - Banghua Zhu; Norman Mu; Jiantao Jiao; David A. Wagner 001 (CoRR, 2024)

Demystifying Behavior-Based Malware Detection at Endpoints. - Yigitcan Kaya; Yizheng Chen 001; Shoumik Saha; Fabio Pierazzi; Lorenzo Cavallaro; David A. Wagner 001; Tudor Dumitras (CoRR, 2024)

Certifiably Robust RAG against Retrieval Corruption. - Chong Xiang 001; Tong Wu; Zexuan Zhong; David A. Wagner 001; Danqi Chen 001; Prateek Mittal (CoRR, 2024)

PromptShield: Deployable Detection for Prompt Injection Attacks. - Dennis Jacob; Hend Alzahrani; Zhanhao Hu; Basel Alomair; David A. Wagner 001 (CODASPY, 2025)

Vulnerability Detection with Code Language Models: How Far are We? - Yangruibo Ding; Yanjun Fu; Omniyyah Ibrahim; Chawin Sitawarin; Xinyun Chen; Basel Alomair; David A. Wagner 001; Baishakhi Ray; Yizheng Chen 001 (ICSE, 2025)

Stronger Universal and Transferable Attacks by Suppressing Refusals. - David Huang; Avidan Shah; Alexandre Araujo; David A. Wagner 001; Chawin Sitawarin (NAACL (Long Papers), 2025)

ML-Based Behavioral Malware Detection Is Far From a Solved Problem. - Yigitcan Kaya; Yizheng Chen 001; Marcus Botacin; Shoumik Saha; Fabio Pierazzi; Lorenzo Cavallaro; David A. Wagner 001; Tudor Dumitras (SaTML, 2025)

MARKMyWORDS: Analyzing and Evaluating Language Model Watermarks. - Julien Piet; Chawin Sitawarin; Vivian Fang; Norman Mu; David A. Wagner 001 (SaTML, 2025)

A Closer Look at System Prompt Robustness. - Norman Mu; Jonathan Lu; Michael Lavery; David A. Wagner 001 (CoRR, 2025)

JailbreaksOverTime: Detecting Jailbreak Attacks Under Distribution Shift. - Julien Piet; Xiao Huang; Dennis Jacob; Annabella Chow; Maha Alrashed; Geng Zhao; Zhanhao Hu; Chawin Sitawarin; Basel Alomair; David A. Wagner 001 (CoRR, 2025)

JULI: Jailbreak Large Language Models by Self-Introspection. - Jesson Wang; Zhanhao Hu; David A. Wagner 001 (CoRR, 2025)

SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows. - Rebecca Saul; Hao Wang 112; Koushik Sen; David A. Wagner 001 (CoRR, 2025)

Semantic-Aware Parsing for Security Logs. - Julien Piet; Vivian Fang; Rishi Khare; Vern Paxson; Raluca Ada Popa; David A. Wagner 001 (CoRR, 2025)

Meta SecAlign: A Secure Foundation LLM Against Prompt Injection Attacks. - Sizhe Chen; Arman Zharmagambetov; David A. Wagner 001; Chuan Guo 001 (CoRR, 2025)

Defending Against Prompt Injection With a Few DefensiveTokens. - Sizhe Chen; Yizhu Wang; Nicholas Carlini; Chawin Sitawarin; David A. Wagner 001 (CoRR, 2025)