- The User is Not the Enemy: Fighting Malware by Tracking User Intentions
- Why Aren't HTTP-only Cookies More Widely Deployed?
- Authentication for Remote Voting Nathanael Paul David Evans
- Teaching Software Engineering Using Lightweight Analysis David Evans
- Workshop on Web 2.0 Security and Privacy. Oakland, CA. 22 May 2008. Privacy Protection for Social Networking Platforms
- Teaching Software Engineering Using Lightweight Analysis David Evans
- Towards Differential Program Analysis Joel Winstead and David Evans
- PolicyDirected Code Safety David E. Evans
- Using Specifications to Check Source Code David Evans
- JWBS001C-142.tex WL041/Bidgoli WL041-Bidgoli.cls September 16, 2005 9:8 Char Count= 0 Hostile Java AppletsHostile Java Applets
- Statically Detecting Likely Buffer Overflow Vulnerabilities David Larochelle
- ITR: A Framework for Environment-Aware, Massively Distributed Computing David Evans (PI), Tarek Abdelzaher, David Brogan
- Power-Efficient Adaptable Wireless Sensor Networks , David Evans2
- Quantifying Information Leakage in Tree-Based Hash Protocols Technical Report CS-2006-20
- Pancakes, Puzzles, and Polynomials: Cracking the Cracker Barrel Christopher Frost, Michael Peck, David Evans
- In What Should I Read Next?: 70 University of Virginia Professors Recommend Readings in History, Politics, Literature, Math, Science, Technology, the Arts, and More edited by Jessica
- Perracotta: Mining Temporal API Rules from Imperfect Traces Jinlin Yang, David Evans
- Structured Exception Semantics for Concurrent Loops
- When Ants Attack: Security Issues for Stigmergic Systems Weilin Zhong and David Evans
- LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan \Lambda
- 4 2 IEEE SOFTWARE Januar y/Februar y 2002 0740-7459/02/$17.00 2002 IEEE education, better interface design, and secu-
- Secure Aggregation for Wireless Networks Lingxuan Hu David Evans
- Secure Aggregation for Wireless Networks Lingxuan Hu David Evans
- Static Detection of Dynamic Memory Errors David Evans
- Flexible Policy-Directed Code Safety David Evans Andrew Twyman
- USENIX Security Symposium. San Jose, CA. 31 July 2008. Reverse-Engineering a Cryptographic RFID Tag
- Toasters, Seat Belts, and Inferring Program Properties David Evans
- Automatically Inferring Temporal Properties for Program Evolution Jinlin Yang David Evans
- In 2nd USENIX Conference on Web Application Development (WebApps 2011), Portland, OR. 15-16 June 2011. GuardRails: A Data-Centric Web Application Security Framework
- Privacy through Noise: A Design Space for Private Identification
- Talking to Strangers Without Taking Their Candy: Isolating Proxied Content
- Quantifying Information Leakage in Tree-Based Hash Protocols (Short Paper)
- One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an
- Inculcating Invariants in Introductory Courses David Evans
- emocracy depends on losers accepting the re-sults of elections. Citizens' confidence that
- A Biological Programming Model for Self-Healing Selvin George David Evans Steven Marchette
- Publish-subscribe is a communication paradigm that supports dynamic, many-to-many communications in a
- Simulating Critical Software Engineering David Evans Michael Peck
- Policy-Directed Code Safety David E. Evans
- 60 COPUBLISHED BY THE IEEE COMPUTER AND RELIABILITY SOCIETIES 1540-7993/11/$26.00 2011 IEEE MAY/JUNE 2011 On the Horizon
- Pancakes, Puzzles, and Polynomials: Cracking the Cracker Barrel Christopher Frost, Michael Peck, David Evans
- Finding Security Vulnerabilities Before Evil Doers Do David Evans
- EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks
- Static Detection of Dynamic Memory Errors David Evans
- Flexible Code Safety for Win32 Andrew R. Twyman
- In Second International Workshop on Security and Privacy in Cloud Computing, Minneapolis, MN. 24 June 2011. Private Editing Using Untrusted Cloud Services
- 23rd International Information Security Conference (SEC 2008). Milan, September 2008. Hiding in Groups
- 16 COPUBLISHED BY THE IEEE COMPUTER AND RELIABILITY SOCIETIES 1540-7993/11/$26.00 2011 IEEE MAY/JUNE 2011 Guest Editors' Introduction
- Creating a Computer Science Major for Arts & Sciences Students David Evans & J. McGrath Cohoon
- .NET Security: Lessons Learned and Missed from Java Nathanael Paul David Evans
- A Sub-0.5V Lattice-Based Public-Key Encryption Scheme for RFID Platforms in 130nm CMOS
- When Ants Attack: Security Issues for Stigmergic Systems Weilin Zhong and David Evans
- Structured Exception Semantics for Parallel Loops
- Comparing Java and .NET security: Lessons learned Nathanael Paul*, David Evans*
- David Evans Programming Swarm Programming the Swarm
- LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan
- David Evans 1 Programming the Swarm Programming the Swarm
- Hiding in Groups: On the Expressiveness of Privacy Distributions
- Using Directional Antennas to Prevent Wormhole Attacks Lingxuan Hu David Evans
- Localization for Mobile Sensor Networks Lingxuan Hu David Evans
- Thermal Attacks on Storage Systems Nathanael Paul Sudhanva Gurumurthi David Evans
- Flexible Code Safety for Win32 Andrew R. Twyman
- Where's the FEEB? The Effectiveness of Instruction Set Randomization
- Dynamically Inferring Temporal Properties Jinlin Yang David Evans
- N-Variant Systems A Secretless Framework for Security through Diversity
- Structured Exception Semantics for Parallel Loops
- AUTOMATICALLY HARDENING WEB APPLICATIONS USING PRECISE TAINTING
- Security through Redundant Data Diversity Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson
- Separation of Concerns for Security Reliable Software Technologies
- A Biologically Inspired Programming Model for Self-Healing Systems
- In 18th ACM Conference on Computer and Communications Security, Chicago, October 2011 Automated Black-Box Detection of
- Effectiveness of Moving Target Defenses David Evans, Anh Nguyen-Tuong, John Knight
- In European Symposium on Research in Computer Security (ESORICS 2011) Lueven, Belguim. 12-14 September 2011
- Automatic Inference and Effective Application of Temporal Specifications
- In 3rd IEEE Conference on Privacy, Security, Risk and Trust, Boston, October 2011 Auditing Information Leakage for Distance Metrics
- In 6th USENIX Workshop on Hot Topics in Security, San Francisco, 9 August 2011 Privacy-Preserving Applications on Smartphones
- In 20th USENIX Security Symposium, San Francisco, 8-12 August 2011 Faster Secure Two-Party Computation Using Garbled Circuits
- Invited paper in 7th International Conference on Information Systems Security, Kolkata, India, 15-19 December 2011
- In 19th Network and Distributed Security Symposium, San Diego, 5-8 February 2012 Private Set Intersection
- IEEE Symposium on Security and Privacy ("Oakland"), San Francisco, May 2012 Quid-Pro-Quo-tocols: Strengthening Semi-Honest Protocols with Dual Execution
