|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 39 occurrences of 36 keywords
|
|
|
|
|
Results
Found 73 publication records. Showing 73 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, Salvatore J. Stolfo |
Guest Editors' Introduction: The Science of Security. |
IEEE Security & Privacy |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore J. Stolfo, Steven M. Bellovin, David Evans |
Measuring Security. |
IEEE Security & Privacy |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, Anh Nguyen-Tuong, John C. Knight |
Effectiveness of Moving Target Defenses. |
Moving Target Defense |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Huang, David Evans |
Private Editing Using Untrusted Cloud Services. |
ICDCS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yikan Chen, David Evans |
Auditing Information Leakage for Distance Metrics. |
SocialCom/PASSAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Rathfelder, Samuel Kounev, David Evans |
Capacity planning for event-based systems using automated performance predictions. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Huang, Chih-Hao Shen, David Evans, Jonathan Katz, Abhi Shelat |
Efficient Secure Computation with Garbled Circuits. |
ICISS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Huang, David Evans, Jonathan Katz, Lior Malka |
Faster Secure Two-Party Computation Using Garbled Circuits. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Chapman, David Evans |
Automated black-box detection of side-channel vulnerabilities in web applications. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuchen Zhou, David Evans |
Protecting Private Web Content from Embedded Scripts. |
ESORICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Huang, Lior Malka, David Evans, Jonathan Katz |
Efficient Privacy-Preserving Biometric Identification. |
NDSS |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Evans, David M. Eyers, Jean Bacon |
Linking Policies to the Spatial Environment. |
POLICY |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, David M. Eyers |
Efficient Policy Checking across Administrative Domains. |
POLICY |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Rathfelder, Benjamin Klatt, Samuel Kounev, David Evans |
Towards middleware-aware integration of event-based communication into the Palladio component model. |
DEBS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Rathfelder, David Evans, Samuel Kounev |
Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems. |
EPEW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, Robert H. Warren |
Anonymity Properties of Stored or Transmitted Data Taken from Bluetooth Scans. |
CSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
Complex Automata, in-stent restenosis, multiscale modeling |
| 1 | Karsten Nohl, David Evans |
Privacy through Noise: A Design Space for Private Identification. |
ACSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Nohl, David Evans |
Hiding in Groups: On the Expressiveness of Privacy Distributions. |
SEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anh Nguyen-Tuong, David Evans, John C. Knight, Benjamin Cox, Jack W. Davidson |
Security through redundant data diversity. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Nohl, David Evans, Starbug, Henryk Plötz |
Reverse-Engineering a Cryptographic RFID Tag. |
USENIX Security Symposium |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Evans, David M. Eyers |
Deontic logic for modelling data flow and use compliance. |
MPAC |
2008 |
DBLP DOI BibTeX RDF |
middleware, contract, deontic logic, event calculus |
| 1 | Nigel Turner, David Evans |
Data Quality? Don't Waste Your Time. |
ICIQ |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Evans, Alastair R. Beresford, Trevor Burbridge, Andrea Soppera |
Context-Derived Pseudonyms for Protection of Privacy in Transport Middleware and Applications. |
PerCom Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
RIAO |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathanael Paul, David Evans |
Comparing Java and .NET security: Lessons learned and missed. |
Computers & Security |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Nohl, David Evans |
Quantifying Information Leakage in Tree-Based Hash Protocols (Short Paper). |
ICICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
cerebral autoregulation, Support Vector Machine, biological signals |
| 1 | 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 |
DBLP DOI BibTeX RDF |
software dynamic translation, virtual execution |
| 1 | Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das |
Perracotta: mining temporal API rules from imperfect traces. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
dynamic analysis, temporal properties, specification inference |
| 1 | David Evans, Michael Peck |
Inculcating invariants in introductory courses. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
dynamic inference, introductory software engineering, security, software engineering, static analysis, dependability, invariants |
| 1 | Gregory E. Graham, M. Anzar Afaq, David Evans, Gerald Guglielmo, Eric Wicklund, Peter Love |
Contextual Constraint Modeling in Grid Application Workflows |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Anh Nguyen-Tuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley, David Evans |
Automatically Hardening Web Applications Using Precise Tainting. |
SEC |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Chacón, Cristopher Blanco, Ronney Panerai, David Evans |
Nonlinear Modeling of Dynamic Cerebral Autoregulation Using Recurrent Neural Networks. |
CIARP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans |
Toasters, Seat Belts, and Inferring Program Properties. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, Nathanael Paul |
Election Security: Perception and Reality. |
IEEE Security & Privacy |
2004 |
DBLP DOI BibTeX RDF |
mechanisms, elections, E-voting, voting systems |
| 1 | Christopher Frost, Michael Peck, David Evans |
Pancakes, puzzles, and polynomials: cracking the Cracker Barrel. |
SIGACT News |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, Raimondas Lencevicius |
ICSE 2004 workshop summary second international workshop on dynamic analysis (WODA 2004). |
ACM SIGSOFT Software Engineering Notes |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingxuan Hu, David Evans |
Localization for mobile sensor networks. |
MOBICOM |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, mobility, localization, Monte Carlo localization |
| 1 | Nathanael Paul, David Evans |
.NET Security: Lessons Learned and Missed from Java. |
ACSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans |
What Biology Can (and Can't) Teach Us About Security. |
USENIX Security Symposium |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jinlin Yang, David Evans |
Dynamically inferring temporal properties. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
property patterns, dynamic analysis, concurrent programming, invariants, temporal properties |
| 1 | Jinlin Yang, David Evans |
Automatically Inferring Temporal Properties for Program Evolution . |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, Raimondas Lencevicius |
Second International Workshop on Dynamic Analysis (WODA 2004). |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingxuan Hu, David Evans |
Using Directional Antennas to Prevent Wormhole Attacks. |
NDSS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Johnny W. Wong, David Evans, Michael Kwok |
On Staleness and the Delivery of Web Pages. |
Information Systems Frontiers |
2003 |
DBLP DOI BibTeX RDF |
staleness, performance, scalability, multicast, web caching, resource-consumption |
| 1 | Gregory E. Graham, David Evans, Iain Bertram |
McRunjob: A High Energy Physics Workflow Planner for Grid Production Processing |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lingxuan Hu, David Evans |
Secure Aggregation for Wireless Network. (PDF / PS) |
SAINT Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, David Larochelle |
Improving Security Using Extensible Lightweight Static Analysis. |
IEEE Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Selvin George, David Evans, Lance Davidson |
A biologically inspired programming model for self-healing systems. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
biological programming, self-healing systems, amorphous computing |
| 1 | Keen Browne, Jon McCune, Adam Trost, David Evans, David C. Brogan |
Behavior Combination and Swarm Programming. |
RoboCup |
2001 |
DBLP BibTeX RDF |
|
| 1 | David Larochelle, David Evans |
Statically Detecting Likely Buffer Overflow Vulnerabilities. |
USENIX Security Symposium |
2001 |
DBLP BibTeX RDF |
|
| 1 | Johnny W. Wong, David Evans, Michael Kwok |
On staleness and the delivery of web pages. |
CASCON |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilia Stoica, David Evans |
Dynamic term selection in learning a query from examples. |
RIAO |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yonggang Du, Christoph Herrmann, Klaus Peter May, David Evans |
A flat wireless ATM LAN architecture with distributed ATM switching in base stations. |
Computer Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans, Andrew Twyman |
Flexible Policy-Directed Code Safety. (PDF / PS) |
IEEE Symposium on Security and Privacy |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1998 |
DBLP BibTeX RDF |
|
| 1 | Johnny W. Wong, Kelly A. Lyons, David Evans, Rolf J. Velthuys, Gregor von Bochmann, Eric Dubois 0002, 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 |
1997 |
DBLP BibTeX RDF |
|
| 1 | David Evans, Salim Ghanemi |
Computer assisted programming for systolic sytems. |
BIAA |
1996 |
DBLP BibTeX RDF |
|
| 1 | David Evans |
Static Detection of Dynamic Memory Errors. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Evans |
An architecture for enforcement of usage contracts in distributed multimedia systems. |
CASCON |
1996 |
DBLP DOI BibTeX RDF |
World Wide Web (WWW) |
| 1 | Floor Rikkens, David Evans, Rein Vos |
Specifying Adverse Drug Reactions by Formulating Contexts. |
RIAO |
1994 |
DBLP BibTeX RDF |
|
| 1 | David Evans, John V. Guttag, James J. Horning, Yang Meng Tan |
LCLint: A Tool for Using Specifications to Check Code. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
LCLint, lint, specifications, C, static checking, Larch |
| 1 | David Evans, Andries van Dam |
Data Structure Programming System. |
IFIP Congress |
1968 |
DBLP BibTeX RDF |
|
Displaying result #1 - #73 of 73 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")