| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Moses Liskov, Ronald L. Rivest, David Wagner |
Tweakable Block Ciphers.  |
J. Cryptology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Sturton, Matthew Hicks, David Wagner, Samuel T. King |
Defeating UCI: Building Stealthy and Malicious Hardware. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
security, hardware, attack |
| 1 | Erika Chin, Adrienne Porter Felt, Kate Greenwood, David Wagner |
Analyzing inter-application communication in Android. |
MobiSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrienne Porter Felt, Matthew Finifter, Joel Weinberger, David Wagner |
Diesel: applying privilege separation to database access. |
ASIACCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrienne Porter Felt, Erika Chin, Steve Hanna, Dawn Song, David Wagner |
Android permissions demystified. |
ACM Conference on Computer and Communications Security |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner, Jens Mödeker |
Towards Dynamic Protocol Configuration and its Configuration and Control in Autonomous Communication Environments. |
MOBILIGHT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis P. Chochliouros, Evangelos Sfakianakis, Apostolos Kousaridas, Jens Mödeker, David Wagner, Anastasia S. Spiliopoulou, George Agapiou, Andrej Mihailovic, Dev Pramil Audsin, Maria Belesioti, Andreas Rigas, Konstantinos Chelidonis, Evangelos N. Gazis, Gérard Nguengang, Nancy Alonistioti, Christos Mizikakis, Dimitrios Katsaros 0002, Tilemachos Doukoglou |
Design and Development of Essential Use-Cases for Self-management in Future Internet Wireless Networks. |
MOBILIGHT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshay Krishnamurthy, Adrian Mettler, David Wagner |
Fine-grained privilege separation for web applications. |
WWW |
2010 |
DBLP DOI BibTeX RDF |
object-capabilities, privilege separation, web applications |
| 1 | Susana Sargento, Janusz Gozdecki, David Wagner, José Rocha, Janusz Moedeker |
Mobility with QoS in Broadcast Unidirectional Technologies: Experimental Validation. |
ICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Mettler, David Wagner, Tyler Close |
Joe-E: A Security-Oriented Subset of Java. |
NDSS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hsin-Yi Tsai, Yu-Lun Huang, David Wagner |
A graph approach to quantitative analysis of control-flow obfuscating transformations. |
IEEE Transactions on Information Forensics and Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Karlof, J. D. Tygar, David Wagner |
Conditioned-safe ceremonies and a user study of an application to web authentication. |
SOUPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Molnar, Xue Cong Li, David Wagner |
Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs. |
USENIX Security Symposium |
2009 |
DBLP BibTeX RDF |
|
| 1 | Susana Sargento, David Wagner, José Rocha, Fabio Mitrano, Janusz Gozdecki, Jens Mödeker |
Multicast Mobility in Heterogeneous Technologies: Experimental Validation. |
GLOBECOM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Chin, David Wagner |
Efficient character-level taint tracking for Java. |
SWS |
2009 |
DBLP DOI BibTeX RDF |
dynamic taint tracking, java, web applications, information flow |
| 1 | Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David Wagner |
On voting machine design for verification and testability. |
ACM Conference on Computer and Communications Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Karlof, J. Doug Tygar, David Wagner |
Conditioned-safe Ceremonies and a User Study of an Application to Web Authentication. |
NDSS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva |
Portably solving file races with hardness amplification. |
TOS |
2008 |
DBLP DOI BibTeX RDF |
TOCTTOU, time-of-check-to-time-of-use, Race conditions |
| 1 | Chris Karlof, J. Doug Tygar, David Wagner |
A User Study Design for Comparing the Security of Registration Protocols. |
UPSEC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Courtois, Gregory V. Bard, David Wagner |
Algebraic and Slide Attacks on KeeLoq. |
FSE |
2008 |
DBLP DOI BibTeX RDF |
unbalanced Feistel ciphers, Gröbner bases, KeeLoq, block ciphers, SAT solvers, algebraic cryptanalysis, slide attacks |
| 1 | Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup, David Wagner |
C++ Dynamic Cast in Autonomous Space Systems. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Alex Halderman, Eric Rescorla, Hovav Shacham, David Wagner |
You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting Systems. |
EVT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Arel Cordero, David Wagner |
Replayable Voting Machine Audit Logs. |
EVT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva |
Portably Solving File TOCTTOU Races with Hardness Amplification. |
FAST |
2008 |
DBLP BibTeX RDF |
|
| 1 | David Wagner (eds.) |
Advances in Cryptology - CRYPTO 2008, 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings |
CRYPTO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner |
Verifiable functional purity in java. |
ACM Conference on Computer and Communications Security |
2008 |
DBLP DOI BibTeX RDF |
object-capabilities, pure functions, static analysis, determinism |
| 1 | Nicolas Courtois, Gregory V. Bard, David Wagner |
Algebraic and Slide Attacks on KeeLoq. |
IACR Cryptology ePrint Archive |
2007 |
DBLP BibTeX RDF |
|
| 1 | Matt Bishop, David Wagner |
Risks of e-voting. |
Commun. ACM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Golle, David Wagner |
Cryptanalysis of a Cognitive Authentication Scheme (Extended Abstract). |
IEEE Symposium on Security and Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Chen, David Wagner |
Large-scale analysis of format string vulnerabilities in Debian Linux. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
format string vulnerability, large-scale analysis, type-qualifier inference |
| 1 | Pedro A. Aranda-Gutiérrez, David Wagner, Ilka Miloucheva, Christof Brandauer, Ulrich Hofmann |
Policy based QoS Monitoring: Automated Learning Strategies for Policy Enhancement. |
WINSYS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nicholas Hopper, David Molnar, David Wagner |
From Weak to Strong Watermarking. |
TCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Karlof, Umesh Shankar, J. Doug Tygar, David Wagner |
Dynamic pharming attacks and locked same-origin policies for web browsers. |
ACM Conference on Computer and Communications Security |
2007 |
DBLP DOI BibTeX RDF |
same-origin policy, pharming, web authentication |
| 1 | David Molnar, Tadayoshi Kohno, Naveen Sastry, David Wagner |
Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage -or- How to Store Ballots on a Voting Machine. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nicholas Hopper, David Molnar, David Wagner |
From Weak to Strong Watermarking. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Philippe Golle, David Wagner |
Cryptanalysis of a Cognitive Authentication Scheme. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Raphael Chung-Wei Phan, David Wagner |
Security considerations for incremental hash functions based on pair block chaining. |
Computers & Security |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Molnar, Tadayoshi Kohno, Naveen Sastry, David Wagner |
Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract). |
IEEE Symposium on Security and Privacy |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner |
Object capabilities for security. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Crutchfield, David Molnar, David Turner, David Wagner |
Generic On-Line/Off-Line Threshold Signatures. |
Public Key Cryptography |
2006 |
DBLP DOI BibTeX RDF |
On-line/Off-line, Chameleon Hash Functions, Threshold Cryptography, Signature Schemes, Bursty Traffic |
| 1 | Yuval Ishai, Manoj Prabhakaran, Amit Sahai, David Wagner |
Private Circuits II: Keeping Secrets in Tamperable Circuits. |
EUROCRYPT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner |
Cryptographic Protocols for Electronic Voting. |
CRYPTO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhendong Su, David Wagner |
A class of polynomially solvable range constraints for interval analysis without widenings. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Crutchfield, David Molnar, David Turner, David Wagner |
Generic On-Line/Off-Line Threshold Signatures. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ari Juels, David Molnar, David Wagner |
Security and Privacy Issues in E-passports. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Molnar, Matt Piotrowski, David Schultz, David Wagner |
The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Molnar, Andrea Soppera, David Wagner |
A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stark C. Draper, Prakash Ishwar, David Molnar, Vinod M. Prabhakaran, Kannan Ramchandran, Daniel Schonberg, David Wagner |
An Analysis of Empirical PMF Based Tests for Least Significant Bit Image Steganography. |
Information Hiding |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Molnar, Matt Piotrowski, David Schultz, David Wagner |
The Program Counter Security Model: Automatic Detection and Removal of Control-Flow Side Channel Attacks. |
ICISC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Schwarz, Hao Chen, David Wagner, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West |
Model Checking An Entire Linux Distribution for Security Violations. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Waddle, David Wagner |
Fault Attacks on Dual-Rail Encoded Systems. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner |
Pushdown Model Checking for Security. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ari Juels, David Molnar, David Wagner |
Security and Privacy Issues in E-passports. |
SecureComm |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Molnar, Andrea Soppera, David Wagner |
A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags. |
Selected Areas in Cryptography |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Molnar, Andrea Soppera, David Wagner |
Privacy for RFID through trusted computing. |
WPES |
2005 |
DBLP DOI BibTeX RDF |
privacy, RFID, trusted computing, audit |
| 1 | Lillie Coney, Joseph Lorenzo Hall, Poorvi L. Vora, David Wagner |
Towards a privacy measurement criterion for voting systems. |
DG.O |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Perrig, John A. Stankovic, David Wagner |
Security in wireless sensor networks. |
Commun. ACM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Jefferson, Aviel D. Rubin, Barbara Simons, David Wagner |
Analyzing internet voting security. |
Commun. ACM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner |
Resilient aggregation in sensor networks. |
SASN |
2004 |
DBLP DOI BibTeX RDF |
node capture attack, sensor networks, aggregation, robust statistics, mean, median, multi-party computation, average |
| 1 | Zhendong Su, David Wagner |
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner |
Towards a Unifying View of Block Cipher Cryptanalysis. |
FSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihir Bellare, Phillip Rogaway, David Wagner |
The EAX Mode of Operation. |
FSE |
2004 |
DBLP DOI BibTeX RDF |
EAX, OMAC, provable security, message authentication, modes of operation, Authenticated encryption, CCM, CBC MAC |
| 1 | Naveen Sastry, David Wagner |
Security considerations for IEEE 802.15.4 networks. |
Workshop on Wireless Security |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, IEEE 802.15.4, link layer security |
| 1 | Chris Karlof, Naveen Sastry, David Wagner |
TinySec: a link layer security architecture for wireless sensor networks. |
SenSys |
2004 |
DBLP DOI BibTeX RDF |
sensor network security, link layer security |
| 1 | Robert Johnson, David Wagner |
Finding User/Kernel Pointer Bugs with Type Inference. |
USENIX Security Symposium |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jason Waddle, David Wagner |
Towards Efficient Second-Order Power Analysis. |
CHES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Good, David Molnar, Jennifer M. Urban, Deirdre K. Mulligan, Elizabeth Miles, Laura Quilter, David Wagner |
Radio frequency Id and privacy with information goods. |
WPES |
2004 |
DBLP DOI BibTeX RDF |
privacy, RFID, policy, law, information goods |
| 1 | Mark Johnson, David Wagner, Kannan Ramchandran |
On Compressing Encrypted Data without the Encryption Key. |
TCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner |
Cryptanalysis of a provably secure CRT-RSA algorithm. |
ACM Conference on Computer and Communications Security |
2004 |
DBLP DOI BibTeX RDF |
cryptanalysis, RSA, chinese remainder theorem, fault attacks |
| 1 | David Molnar, David Wagner |
Privacy and security in library RFID: issues, practices, and architectures. |
ACM Conference on Computer and Communications Security |
2004 |
DBLP DOI BibTeX RDF |
private authentication, security, privacy, RFID |
| 1 | Hao Chen, Drew Dean, David Wagner |
Model Checking One Million Lines of C Code. |
NDSS |
2004 |
DBLP BibTeX RDF |
|
| 1 | David Wagner |
A Security Evaluation of Whitenoise. |
IACR Cryptology ePrint Archive |
2003 |
DBLP BibTeX RDF |
|
| 1 | Phillip Rogaway, David Wagner |
A Critique of CCM. |
IACR Cryptology ePrint Archive |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nancy Cam-Winget, Russell Housley, David Wagner, Jesse Walker |
Security flaws in 802.11 data link protocols. |
Commun. ACM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Karlof, David Wagner |
Secure routing in wireless sensor networks: attacks and countermeasures. |
Ad Hoc Networks |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner |
Cryptanalysis of an Algebraic Privacy Homomorphism. |
ISC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen Sastry, Umesh Shankar, David Wagner |
Secure verification of location claims. |
Workshop on Wireless Security |
2003 |
DBLP DOI BibTeX RDF |
secure location authentication, secure location verification, sensor networks |
| 1 | Chris Karlof, David Wagner |
Hidden Markov Model Cryptoanalysis. |
CHES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuval Ishai, Amit Sahai, David Wagner |
Private Circuits: Securing Hardware against Probing Attacks. |
CRYPTO |
2003 |
DBLP DOI BibTeX RDF |
Cryptanalysis, provable security, side channel attacks, secure multi-party computation, circuit complexity |
| 1 | Lars R. Knudsen, David Wagner |
Integral Cryptanalysis. |
FSE |
2002 |
DBLP BibTeX RDF |
MISTY, integrals, Cryptanalysis, block ciphers |
| 1 | Nikita Borisov, Monica Chew, Robert Johnson, David Wagner |
Multiplicative Differentials. |
FSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Johnson, David Molnar, Dawn Xiaodong Song, David Wagner |
Homomorphic Signature Schemes. |
CT-RSA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Will Ivancic, David Wagner, Aviel D. Rubin, Paul Ratazzi, James P. G. Sterbenz |
Securing Wireless and Mobile Networks - Is It Possible? |
INFOCOM |
2002 |
DBLP BibTeX RDF |
|
| 1 | Hao Chen, David Wagner, Drew Dean |
Setuid Demystified. |
USENIX Security Symposium |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ben Reichardt, David Wagner |
Markov Truncated Differential Cryptanalysis of Skipjack. |
Selected Areas in Cryptography |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Moses Liskov, Ronald L. Rivest, David Wagner |
Tweakable Block Ciphers. |
CRYPTO |
2002 |
DBLP DOI BibTeX RDF |
tweakable block ciphers, initialization vector, block ciphers, modes of operation |
| 1 | David Wagner |
A Generalized Birthday Problem. |
CRYPTO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David Wagner |
Cool security trends. |
SACMAT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Chen, David Wagner |
MOPS: an infrastructure for examining security properties of software. |
ACM Conference on Computer and Communications Security |
2002 |
DBLP DOI BibTeX RDF |
security, model checking, verification, static analysis |
| 1 | David Wagner, Paolo Soto |
Mimicry attacks on host-based intrusion detection systems. |
ACM Conference on Computer and Communications Security |
2002 |
DBLP DOI BibTeX RDF |
anomaly detection, host-based intrusion detection, evasion attacks |
| 1 | Lars R. Knudsen, David Wagner |
On the structure of Skipjack. |
Discrete Applied Mathematics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Wagner, Drew Dean |
Intrusion Detection via Static Analysis. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikita Borisov, Ian Goldberg, David Wagner |
Intercepting mobile communications: the insecurity of 802.11. |
MOBICOM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner |
Relating Cryptography and Cryptographic Protocols. (PDF / PS) |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner |
Detecting Format String Vulnerabilities with Type Qualifiers. |
USENIX Security Symposium |
2001 |
DBLP BibTeX RDF |
|
| 1 | Dawn Xiaodong Song, David Wagner, Xuqing Tian |
Timing Analysis of Keystrokes and Timing Attacks on SSH. |
USENIX Security Symposium |
2001 |
DBLP BibTeX RDF |
|
| 1 | David Wagner |
Static Analysis and Software Assurance. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott A. Crosby, Ian Goldberg, Robert Johnson, Dawn Xiaodong Song, David Wagner |
A Cryptanalysis of the High-Bandwidth Digital Content Protection System. |
Digital Rights Management Workshop |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | John Kelsey, Bruce Schneier, David Wagner, Chris Hall |
Side Channel Cryptanalysis of Product Ciphers. |
Journal of Computer Security |
2000 |
DBLP BibTeX RDF |
|
| 1 | Dawn Xiaodong Song, David Wagner, Adrian Perrig |
Practical Techniques for Searches on Encrypted Data. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")