Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

Technical Reports - David Wagner

Reducing Attack Surfaces for Intra-Application Communication in Android (EECS-2012-182)
David Kantola, Erika Chin, Warren He and David Wagner

I’ve Got 99 Problems, But Vibration Ain’t One: A Survey of Smartphone Users’ Concerns (EECS-2012-70)
Adrienne Porter Felt, Serge Egelman and David Wagner

Android Permissions: User Attention, Comprehension, and Behavior (EECS-2012-26)
Adrienne Porter Felt, Elizabeth Ha, Serge Egelman, Ariel Haney, Erika Chin and David Wagner

Diesel: Applying Privilege Separation to Database Access (EECS-2010-149)
Adrienne Porter Felt, Matthew Finifter, Joel Weinberger and David Wagner

The Effectiveness of Install-Time Permission Systems for Third-Party Applications (EECS-2010-143)
Adrienne Porter Felt, Kate Greenwood and David Wagner

The Joe-E Language Specification, Version 1.0 (EECS-2008-91)
Adrian Mettler and David Wagner

Dynamic pharming attacks and the locked same-origin policies for web browsers (EECS-2007-52)
Chris K. Karlof, Umesh Shankar, Doug Tygar and David Wagner

Locked cookies: Web authentication security against phishing, pharming, and active attacks (EECS-2007-25)
Chris K. Karlof, Umesh Shankar, Doug Tygar and David Wagner

Catchconv: Symbolic execution and run-time type inference for integer conversion errors (EECS-2007-23)
David Alexander Molnar and David Wagner

Prerendered User Interfaces for Higher-Assurance Electronic Voting (EECS-2006-35)
Ka-Ping Yee, David Wagner, Marti Hearst and Steven Bellovin

The Joe-E Language Specification (draft) (EECS-2006-26)
Adrian Matthew Mettler and David Wagner

Fault Attacks on Dual-Rail Encoded Systems (CSD-04-1347)
Jason D. Waddle and David A. Wagner

Finding User/Kernel Pointer Bugs With Type Inference (CSD-04-1308)
Rob Johnson and David Wagner

Secure Verification of Location Claims (CSD-03-1245)
Naveen Sastry, Umesh Shankar and David Wagner

Hidden Markov Model Cryptanalysis (CSD-03-1244)
Chris Karlof and David Wagner

MOPS: an Infrastructure for Examining Security Properties of Software (CSD-02-1197)
Hao Chen and David A. Wagner

Janus: an Approach for Confinement of Untrusted Applications (CSD-99-1056)
David A. Wagner

AdDroid: Privilege Separation for Applications and Advertisers in Android (EECS-2013-59)
Paul Pearce, Adrienne Porter Felt, Gabriel Nunez and David Wagner