- The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks
- Fixing Races for Fun and Profit: How to abuse atime Nikita Borisov Rob Johnson Naveen Sastry David Wagner
- UNIVERSITY OF CALIFORNIA, BERKELEY BERKELEY DAVIS IRVINE LOS ANGELES RIVERSIDE SAN DIEGO SAN FRANCISCO
- Secure Routing in Wireless Sensor Networks: Attacks and Countermeasures
- The Effectiveness of Application Permissions Adrienne Porter Felt
- A Note on NSA's Dual Counter Mode of Pompiliu Donescu Virgil D. Gligor David Wagner
- Cryptanalysis of Microsoft's PPTP Authentication Extensions (MS-CHAPv2)
- A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings
- Secure Routing in Wireless Sensor Networks: Attacks and Countermeasures
- Integral Cryptanalysis (Extended abstract)
- The Program Counter Security Model: Automatic Detection and Removal of
- Discrete Applied Mathematics 111 (2001) 103116 On the structure of Skipjack
- The Ninja Jukebox Ian Goldberg, Steven D. Gribble, David Wagner, and Eric A. Brewer
- Privacy and Security in Library RFID Issues, Practices, and Architectures
- Hidden Markov Model Cryptanalysis Chris Karlof David Wagner
- Intercepting Mobile Communications: The Insecurity of 802.11
- Designing voting machines for verification NAVEEN SASTRY # TADAYOSHI KOHNO + DAVID WAGNER #
- Verifiable Functional Purity in Java Matthew Finifter Adrian Mettler Naveen Sastry David Wagner
- Cryptanalysis of an Algebraic Privacy Homomorphism
- Cryptanalysis of some recentlyproposed multiple modes of operation
- A ``Bump in the Stack'' Encryptor for MSDOS
- A Secure Environment for Untrusted Helper Applications Confining the Wily Hacker
- Static analysis and computer security: New techniques for software assurance
- Real Time Cryptanalysis of A5/1 on a PC Alex Biryukov ? Adi Shamir ?? David Wagner ???
- Differential cryptanalysis of KHF David Wagner
- Analysis of Volume Testing of the AccuVote TSx / AccuView
- A Generalized Birthday Problem ? David Wagner
- The Security of MacGuffin David A. Wagner
- Cryptanalysis of SPEED (Extended Abstract)
- The Security of MacGuffin David A. Wagner
- : an Infrastructure for Examining Security Properties of Software y
- Resilient Aggregation in Sensor Networks David Wagner
- On Voting Machine Design for Verification and Testability Cynthia Sturton Susmit Jha Sanjit A. Seshia David Wagner
- Phishing on Mobile Devices Adrienne Porter Felt
- Defeating UCI: Building Stealthy and Malicious Hardware Cynthia Sturton
- Fault Attacks on Dual-Rail Encoded Systems Jason Waddle and David Wagner
- Fine-Grained Privilege Separation for Web Applications Akshay Krishnamurthy Adrian Mettler David Wagner
- TinySec: A Link Layer Security Architecture for Wireless Sensor Networks
- Exploring the Relationship Between Web Application Development Tools and Security
- Diesel: Applying Privilege Separation to Database Adrienne Porter Felt
- Class Properties for Security Review in an Object-Capability Subset of Java (Short Paper)
- Efficient Character-level Taint Tracking for Java University of California, Berkeley
- Weight, Weight, Don't Tell Me: Using Scales to Select Ballots for Auditing
- Software Review and Security Analysis of Scytl Remote Voting Michael Clarkson Brian Hay Meador Inge abhi shelat David Wagner
- The Murky Issue of Changing Process Identity: Revising "Setuid Demystified"
- Replayable Voting Machine Audit Logs Arel Cordero David Wagner
- A User Study Design for Comparing the Security of Registration Protocols Chris Karlof J.D. Tygar David Wagner
- Portably Solving File TOCTTOU Races with Hardness Amplification
- Algebraic and Slide Attacks on KeeLoq Nicolas T. Courtois1
- This report was prepared by the University of California, Berkeley under contract to the California Secretary of State as part of a "Top-to-Bottom" review of
- Security considerations for incremental hash functions based on pair block chaining
- Generic On-line/Off-line Threshold Signatures Chris Crutchfield, David Molnar, David Turner, and David Wagner
- Security Analysis of the Diebold AccuBasic Interpreter David Wagner David Jefferson Matt Bishop
- Privacy For RFID Through Trusted Computing David Molnar
- A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags
- Cryptographic Voting Protocols: A Systems Perspective Chris Karlof Naveen Sastry David Wagner
- Resilient Aggregation in Sensor Networks David Wagner
- Cryptanalysis of a Provably Secure CRT-RSA Algorithm David Wagner
- Privacy and Security in Library RFID Issues, Practices, and Architectures
- Security analysis of SERVE 1 A Security Analysis of the Secure
- Mimicry Attacks on Host-Based Intrusion Detection David Wagner
- Tweakable Block Ciphers Moses Liskov1
- Homomorphic Signature Schemes Robert Johnson1
- A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities David Wagner Jeffrey S. Foster Eric A. Brewer Alexander Aiken
- On Compressing Encrypted Data Without the Encryption Key ?
- KeySchedule Cryptanalysis of IDEA, GDES, GOST, SAFER, and TripleDES
- Cryptanalysis of the Cellular Message Encryption David Wagner Bruce Schneier John Kelsey
- Preventing Secret Leakage from fork(): Securing PrivilegeSeparated Applications
- Voting Systems Audit Log Study David Wagner
- Preventing Secret Leakage from fork(): Securing Privilege-Separated Applications
- RelatedKey Cryptanalysis of 3WAY, BihamDES,CAST, DESX, NewDES, RC2, and
- COMMUNICATIONS OF THE ACM May 2003/Vol. 46, No. 5 35 By Nancy Cam-Winget, Russ Housley,
- Software Review and Security Analysis of the ES&S iVotronic 8.0.1.2 Voting Machine Firmware
- Timelock puzzles and timedrelease Crypto Ronald L. Rivest \Lambda , Adi Shamir \Lambda\Lambda , and David A. Wagner \Lambda\Lambda\Lambda
- A Note on NSA's Dual Counter Mode of Pompiliu Donescu ? Virgil D. Gligor ?? David Wagner ? ? ?
- Setuid Demystified Hao Chen David Wagner
- Truncated Di erentials and Skipjack Lars R. Knudsen 1 , M.J.B. Robshaw 2 ,
- Conditioned-safe Ceremonies and a User Study of an Application to Web Authentication
- Security Considerations for IEEE 802.15.4 Networks Naveen Sastry
- Secure Verification of Location Claims # Naveen Sastry Umesh Shankar
- Model Checking One Million Lines of C Code # Hao Chen Drew Dean David Wagner
- The Program Counter Security Model: Automatic Detection and Removal of
- Large-Scale Analysis of Format String Vulnerabilities in Debian Karl Chen David Wagner
- Secure Verification of Location Claims # Naveen Sastry
- Cryptanalysis of SPEED Chris Hall 1 , John Kelsey 1 , Vincent Rijmen 2 , Bruce Schneier 1 , and David Wagner 3
- TinySec: A Link Layer Security Architecture for Wireless Sensor Networks
- Private Circuits: Securing Hardware against Probing Attacks
- Secure Verification of Location Claims Naveen Sastry Umesh Shankar
- A preliminary version of this papers appears in Fast Software Encryption '04, Lecture Notes in Computer Science, vol. ?? , R. Bimal and W. Meier ed., SpringerVerlag, 2004. This is the full version.
- Analyzing Inter-Application Communication in Android Erika Chin Adrienne Porter Felt Kate Greenwood David Wagner
- Analysis of the SSL 3.0 protocol David Wagner Bruce Schneier
- Privacy For RFID Through Trusted Computing David Molnar # Andrea Soppera + David Wagner #
- Towards Ecient Second-Order Power Analysis Jason Waddle and David Wagner
- Side Channel Cryptanalysis of Product Ciphers John Kelsey 1 , Bruce Schneier 1 , David Wagner 2 , and Chris Hall 1
- New Results on the Two sh Encryption Algorithm Bruce Schneier John Kelsey y Doug Whiting z David Wagner x Chris Hall {
- Hidden Markov Model Cryptanalysis (Extended Abstract)
- Comments to NIST concerning AES Modes of Operations: CTRMode Encryption
- Cryptanalysis of ORYX D. Wagner 1 , L. Simpson 2 , E. Dawson 2 , J. Kelsey 3 , W. Millan 2 , and B.
- Towards a unifying view of block cipher cryptanalysis
- Cryptanalysis of FROG David Wagner \Lambda Niels Ferguson y Bruce Schneier z
- LargeScale Analysis of Format String Vulnerabilities in Debian Karl Chen David Wagner
- Security and Privacy Issues in E-passports , David Molnar
- Performance Comparison of the AES Submissions Bruce Schneier John Kelsey y Doug Whiting z David Wagner x Chris Hall {
- Twofish: A 128Bit Block Cipher Bruce Schneier \Lambda John Kelsey y Doug Whiting z David Wagner x Chris Hall --
- Erratum Concerning \Cryptanalysis of an Algebraic Privacy Homomorphism" David Wagner
- Security Considerations for IEEE 802.15.4 Networks Naveen Sastry
- Proofs of security for the Unix password hashing David Wagner Ian Goldberg
- Fault Attacks on DualRail Encoded Systems Jason Waddle and David Wagner
- Protocol Interactions and the Chosen Protocol John Kelsey Bruce Schneier David Wagner
- Cryptanalysis of a Provably Secure CRTRSA Algorithm David Wagner #
- Secure Verification of Location Claims Naveen Sastry
- Building PRFs from PRPs ? Chris Hall 1 , David Wagner 2 , John Kelsey 1 , and Bruce Schneier 1
- Generic Online/O#line Threshold Signatures Chris Crutchfield, David Molnar, David Turner, and David Wagner
- Homomorphic Signature Schemes Robert Johnson 1 , David Molnar 2 , Dawn Song 1# , and David Wagner 1
- Cryptanalysis of FROG David Wagner Niels Ferguson y Bruce Schneier z
- TamperEvident, HistoryIndependent, SubliminalFree Data Structures on PROM Storage
- Cryptanalysis of an Algebraic Privacy Homomorphism
- You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting Systems
- Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux David Molnar
- Timing Analysis of Keystrokes and Timing Attacks on SSH Dawn Xiaodong Song David Wagner Xuqing Tian
- Intrusion Detection via Static Analysis David Wagner
- Cryptanalytic Attacks on Pseudorandom Number Generators
- Insecurity in ATMbased passive optical networks Stephen Thomas
- The boomerang attack David Wagner
- Radio Frequency Id and Privacy with Information Goods Nathan Gooda1
- Private Circuits II: Keeping Secrets in Tamperable Circuits
- The Promise of Cryptographic Voting Protocols Chris Karlof Naveen Sastry David Wagner
- Cryptanalysis of Microsoft's PPTP Authentication Extensions (MS-CHAPv2)
- The Promise of Cryptographic Voting Protocols Chris Karlof Naveen Sastry David Wagner
- C H A P T E R 1 4 Killing, Recoding, and Beyond
- Finding User/Kernel Pointer Bugs With Type Inference Rob Johnson David Wagner
- Cryptanalysis of TWOPRIME Don Coppersmith 1 , David Wagner 2 , Bruce Schneier 3 , and John Kelsey 3
- Building PRFs from PRPs ? Chris Hall 1 , David Wagner 2 , John Kelsey 1 , and Bruce Schneier 1
- Security and Privacy Issues in Epassports Ari Juels # , David Molnar + , and David Wagner #
- Differentials Laboratories
- On The Twofish Key Schedule Bruce Schneier \Lambda John Kelsey y Doug Whiting z David Wagner x Chris Hall --
- Secure Applications of LowEntropy Keys John Kelsey Bruce Schneier Chris Hall
- Mimicry Attacks on HostBased Intrusion Detection David Wagner
- A Generalized Birthday Problem (extended abstract)
- Cryptographic Voting Protocols: A Systems Perspective Chris Karlof Naveen Sastry David Wagner
- Towards a Privacy Measurement Criterion for Voting Lillie Coney Joseph L. Hall Poorvi L. Vora David Wagner
- Portably Solving File Races with Hardness Amplification
- Joe-E: A Security-Oriented Subset of Java Adrian Mettler David Wagner
- Insecurity in ATM-based passive optical networks Stephen Thomas
- Diesel: Applying Privilege Separation to Database Access Adrienne Porter Felt
- Dynamic Pharming Attacks and Locked Sameorigin Policies for Web Browsers
- Janus: an approach for con nement of untrusted applications by David A. Wagner
- From Weak to Strong Watermarking Nicholas Hopper1
- Private Circuits: Securing Hardware against Probing Attacks
- A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags
- Cryptanalysis Homomorphism
- Cryptanalysis of the Yi-Lam hash David Wagner
- C H A P T E R 1 4 Killing, Recoding, and Beyond
- Theoretical Computer Science 345 (2005) 122138 www.elsevier.com/locate/tcs
- A Survey of Mobile Malware in the Wild Adrienne Porter Felt, Matthew Finifter, Erika Chin, Steven Hanna, and David Wagner
- Android Permissions Demystified Adrienne Porter Felt, Erika Chin, Steve Hanna, Dawn Song, David Wagner
- An Analysis of Write-in Marks on Optical Scan Ballots Theron Ji Eric Kim Raji Srikantan Alan Tsai Arel Cordero David Wagner
- Association for Computing Machinery Advancing Computing as a Science & Profession
