David Evans

Nikolas Fechner, George Papadatos, David Evans, John Richard Morphy, Suzanne Clare Brewerton, David Thorner, Michael Bodkin: ChEMBLSpace - a graphical explorer of the chemogenomic space covered by the ChEMBL database. Bioinformatics 29(4): 523-524 (2013)

David Evans, David M. Eyers: Efficient Data Tagging for Managing Privacy in the Internet of Things. GreenCom 2012: 244-248

Yan Huang, Jonathan Katz, David Evans: Quid-Pro-Quo-tocols: Strengthening Semi-honest Protocols with Dual Execution. IEEE Symposium on Security and Privacy 2012: 272-284

David Evans, Salvatore J. Stolfo: Guest Editors' Introduction: The Science of Security. IEEE Security & Privacy 9(3): 16-17 (2011)

Salvatore J. Stolfo, Steven M. Bellovin, David Evans: Measuring Security. IEEE Security & Privacy 9(3): 60-65 (2011)

Alfonso Caiazzo, David Evans, Jean-Luc Falcone, Jan Hegewald, Eric Lorenz, Bernd Stahl, Dinan Wang, Jörg Bernsdorf, Bastien Chopard, Julian Gunn, D. Rodney Hose, Manfred Krafczyk, Patricia V. Lawford, Rod Smallwood, Dawn Walker, Alfons G. Hoekstra: A Complex Automata approach for in-stent restenosis: Two-dimensional multiscale modelling and simulations. J. Comput. Science 2(1): 9-17 (2011)

Jean Bacon, Andrei Iu. Bejan, Alastair R. Beresford, David Evans, Richard J. Gibbens, Ken Moody: Using Real-Time Road Traffic Data to Evaluate Congestion. Dependable and Historic Computing 2011: 93-117

Peter Chapman, David Evans: Automated black-box detection of side-channel vulnerabilities in web applications. ACM Conference on Computer and Communications Security 2011: 263-274

Yuchen Zhou, David Evans: Protecting Private Web Content from Embedded Scripts. ESORICS 2011: 60-79

Yan Huang, David Evans: Private Editing Using Untrusted Cloud Services. ICDCS Workshops 2011: 263-272

Yan Huang, Chih-Hao Shen, David Evans, Jonathan Katz, Abhi Shelat: Efficient Secure Computation with Garbled Circuits. ICISS 2011: 28-48

Christoph Rathfelder, Samuel Kounev, David Evans: Capacity planning for event-based systems using automated performance predictions. ASE 2011: 352-361

Petr Hosek, Matteo Migliavacca, Ioannis Papagiannis, David M. Eyers, David Evans, Brian Shand, Jean Bacon, Peter Pietzuch: SafeWeb: A Middleware for Securing Ruby-Based Web Applications. Middleware 2011: 491-511

Yan Huang, Lior Malka, David Evans, Jonathan Katz: Efficient Privacy-Preserving Biometric Identification. NDSS 2011

Yikan Chen, David Evans: Auditing Information Leakage for Distance Metrics. SocialCom/PASSAT 2011: 1131-1140

Yan Huang, David Evans, Jonathan Katz, Lior Malka: Faster Secure Two-Party Computation Using Garbled Circuits. USENIX Security Symposium 2011

David Evans, Anh Nguyen-Tuong, John C. Knight: Effectiveness of Moving Target Defenses. Moving Target Defense 2011: 29-48

Ken Moody, Jean Bacon, David Evans, Scarlet Schwiderski-Grosche: Implementing a Practical Spatio-Temporal Composite Event Language. From Active Data Management to Event-Based Systems and More 2010: 108-123

Christoph Rathfelder, Benjamin Klatt, Samuel Kounev, David Evans: Towards middleware-aware integration of event-based communication into the Palladio component model. DEBS 2010: 97-98

Christoph Rathfelder, David Evans, Samuel Kounev: Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems. EPEW 2010: 219-235

Jean Bacon, David Evans, David M. Eyers, Matteo Migliavacca, Peter R. Pietzuch, Brian Shand: Enforcing End-to-End Application Security in the Cloud - (Big Ideas Paper). Middleware 2010: 293-312

David Evans, David M. Eyers, Jean Bacon: Linking Policies to the Spatial Environment. POLICY 2010: 73-76

David Evans, David M. Eyers: Efficient Policy Checking across Administrative Domains. POLICY 2010: 146-153

Karsten Nohl, David Evans: Privacy through Noise: A Design Space for Private Identification. ACSAC 2009: 518-527

David Evans, Robert H. Warren: Anonymity Properties of Stored or Transmitted Data Taken from Bluetooth Scans. CSE (3) 2009: 133-138

Alfonso Caiazzo, David Evans, Jean-Luc Falcone, Jan Hegewald, Eric Lorenz, Bernd Stahl, Dinan Wang, Jörg Bernsdorf, Bastien Chopard, Julian Gunn, D. Rodney Hose, Manfred Krafczyk, Patricia V. Lawford, Rod Smallwood, Dawn Walker, Alfons G. Hoekstra: Towards a Complex Automata Multiscale Model of In-Stent Restenosis. ICCS (1) 2009: 705-714

Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson: Security through redundant data diversity. DSN 2008: 187-196

David Evans, David M. Eyers: Deontic logic for modelling data flow and use compliance. MPAC 2008: 19-24

Jeff Shirley, David Evans: The user is not the enemy: fighting malware by tracking user intentions. NSPW 2008: 33-45

Karsten Nohl, David Evans: Hiding in Groups: On the Expressiveness of Privacy Distributions. SEC 2008: 1-15

Adrienne Felt, Pieter Hooimeijer, David Evans, Westley Weimer: Talking to strangers without taking their candy: isolating proxied content. SNS 2008: 25-30

Karsten Nohl, David Evans, Starbug, Henryk Plötz: Reverse-Engineering a Cryptographic RFID Tag. USENIX Security Symposium 2008: 185-194

Nigel Turner, David Evans: Data Quality? Don't Waste Your Time. ICIQ 2007: 177-208

David Evans, Alastair R. Beresford, Trevor Burbridge, Andrea Soppera: Context-Derived Pseudonyms for Protection of Privacy in Transport Middleware and Applications. PerCom Workshops 2007: 395-400

David Evans, Sadaoki Furui, Chantal Soulé-Dupuy (Eds.): Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications) - RIAO 2007, 8th International Conference, Carnegie Mellon University, Pittsburgh, PA, USA, May 30 - June 1, 2007. Proceedings, CD-ROM. CID 2007

Nathanael Paul, David Evans: Comparing Java and .NET security: Lessons learned and missed. Computers & Security 25(5): 338-350 (2006)

Gregory E. Graham, M. Anzar Afaq, David Evans, Gerald Guglielmo, Eric Wicklund, Peter Love: Contextual constraint modeling in Grid application workflows. Concurrency and Computation: Practice and Experience 18(10): 1277-1292 (2006)

Max Chacón, Darwin Diaz, Luis Ríos, David Evans, Ronney Panerai: Support Vector Machine with External Recurrences for Modeling Dynamic Cerebral Autoregulation. CIARP 2006: 954-963

Karsten Nohl, David Evans: Quantifying Information Leakage in Tree-Based Hash Protocols (Short Paper). ICICS 2006: 228-237

Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das: Perracotta: mining temporal API rules from imperfect traces. ICSE 2006: 282-291

David Evans, Michael Peck: Inculcating invariants in introductory courses. ICSE 2006: 673-678

Wei Hu, Jason Hiser, Daniel W. Williams, Adrian Filipi, Jack W. Davidson, David Evans, John C. Knight, Anh Nguyen-Tuong, Jonathan C. Rowanhill: Secure and practical defense against code-injection attacks using software dynamic translation. VEE 2006: 2-12

Max Chacón, Cristopher Blanco, Ronney Panerai, David Evans: Nonlinear Modeling of Dynamic Cerebral Autoregulation Using Recurrent Neural Networks. CIARP 2005: 205-213

Anh Nguyen-Tuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley, David Evans: Automatically Hardening Web Applications Using Precise Tainting. SEC 2005: 295-308

Mahnas Jean Mohammadi-Aragh, Ikuko Fujisaki, Derek Irby, David Evans, Robert J. Moorhead, Scott Roberts: Visualization of Computer-Modeled Forests for Forest Management. EuroVis 2005: 183-190

David Evans: Toasters, Seat Belts, and Inferring Program Properties. VSTTE 2005: 354-361

Gregory E. Graham, M. Anzar Afaq, David Evans, Gerald Guglielmo, Eric Wicklund, Peter Love: Contextual Constraint Modeling in Grid Application Workflows. CoRR abs/cs/0503045 (2005)

David Evans, Nathanael Paul: Election Security: Perception and Reality. IEEE Security & Privacy 2(1): 24-31 (2004)

Zhuo Kang, Li Yan, Hugo de Garis, David Evans, Lishan Kang: Multi-modal function optimization with the ZEDS (zoomed evolutionary dual strategy) algorithmzoomed evolutionary algorithm. Int. J. Comput. Math. 81(6): 675-684 (2004)

Christopher Frost, Michael Peck, David Evans: Pancakes, puzzles, and polynomials: cracking the Cracker Barrel. SIGACT News 35(1): 80-84 (2004)

David Evans, Raimondas Lencevicius: ICSE 2004 workshop summary second international workshop on dynamic analysis (WODA 2004). ACM SIGSOFT Software Engineering Notes 29(5): 1-2 (2004)

Simone Leão, Ian Bishop, David Evans: Spatial-temporal model for demand and allocation of waste landfills in growing urban regions. Computers, Environment and Urban Systems 28(4): 353-385 (2004)

Nathanael Paul, David Evans: .NET Security: Lessons Learned and Missed from Java. ACSAC 2004: 272-281

Tarek F. Abdelzaher, Brian M. Blum, Qing Cao, Yong Chen, David Evans, J. George, Selvin George, Lin Gu, Tian He, Sudha Krishnamurthy, Liqian Luo, Sang Hyuk Son, Jack A. Stankovic, Radu Stoleru, Anthony D. Wood: EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks. ICDCS 2004: 582-589

David Evans, Raimondas Lencevicius: Second International Workshop on Dynamic Analysis (WODA 2004). ICSE 2004: 763

Jinlin Yang, David Evans: Automatically Inferring Temporal Properties for Program Evolution . ISSRE 2004: 340-351

Lingxuan Hu, David Evans: Localization for mobile sensor networks. MOBICOM 2004: 45-57

Lingxuan Hu, David Evans: Using Directional Antennas to Prevent Wormhole Attacks. NDSS 2004

Jinlin Yang, David Evans: Dynamically inferring temporal properties. PASTE 2004: 23-28

David Evans: What Biology Can (and Can't) Teach Us About Security. USENIX Security Symposium 2004

Johnny W. Wong, David Evans, Michael Kwok: On Staleness and the Delivery of Web Pages. Information Systems Frontiers 5(2): 129-136 (2003)

Lingxuan Hu, David Evans: Secure Aggregation for Wireless Network. SAINT Workshops 2003: 384-394

Gregory E. Graham, David Evans, Iain Bertram: McRunjob: A High Energy Physics Workflow Planner for Grid Production Processing. CoRR cs.DC/0305063 (2003)

David Evans, David Larochelle: Improving Security Using Extensible Lightweight Static Analysis. IEEE Software 19(1): 42-51 (2002)

Selvin George, David Evans, Lance Davidson: A biologically inspired programming model for self-healing systems. WOSS 2002: 102-104

Johnny W. Wong, David Evans, Michael Kwok: On staleness and the delivery of web pages. CASCON 2001: 17

Keen Browne, Jon McCune, Adam Trost, David Evans, David C. Brogan: Behavior Combination and Swarm Programming. RoboCup 2001: 499-502

David Larochelle, David Evans: Statically Detecting Likely Buffer Overflow Vulnerabilities. USENIX Security Symposium 2001

Emilia Stoica, David Evans: Dynamic term selection in learning a query from examples. RIAO 2000: 1703-1719

Yonggang Du, Christoph Herrmann, Klaus Peter May, David Evans: A flat wireless ATM LAN architecture with distributed ATM switching in base stations. Computer Networks 31(9-10): 931-942 (1999)

David Evans, Andrew Twyman: Flexible Policy-Directed Code Safety. IEEE Symposium on Security and Privacy 1999: 32-45

Steve Hitchcock, Les Carr, Wendy Hall, Steve Harris, Steve G. Probets, David Evans, David F. Brailsford: Linking Electronic Journals: Lessons from the Open Journal Project. D-Lib Magazine 4(12) (1998)

Johnny W. Wong, Kelly A. Lyons, David Evans, Rolf J. Velthuys, Gregor von Bochmann, Eric Dubois, Nicolas D. Georganas, Gerald W. Neufeld, M. Tamer Özsu, Jeff Brinskelle, Abdelhakim Hafid, Norman C. Hutchinson, Paul Iglinski, Brigitte Kerhervé, Louise Lamont, Dwight J. Makaroff, Duane Szafron: Enabling Technology for Distributed Multimedia Applications. IBM Systems Journal 36(4): 489-507 (1997)

David Evans, Salim Ghanemi: Computer assisted programming for systolic sytems. BIAA 44: 5-12 (1996)

David Evans: An architecture for enforcement of usage contracts in distributed multimedia systems. CASCON 1996: 10

David Evans: Static Detection of Dynamic Memory Errors. PLDI 1996: 44-53

Floor Rikkens, David Evans, Rein Vos: Specifying Adverse Drug Reactions by Formulating Contexts. RIAO 1994: 82-94

David Evans, John V. Guttag, James J. Horning, Yang Meng Tan: LCLint: A Tool for Using Specifications to Check Code. SIGSOFT FSE 1994: 87-96

David Evans, Andries van Dam: Data Structure Programming System. IFIP Congress (1) 1968: 557-564

Andries van Dam, David Evans: A compact data structure for storing, retrieving and manipulating line drawings. AFIPS Spring Joint Computing Conference 1967: 601-610