|
| [84] | Chris Karlof, J. Doug Tygar, David Wagner. Conditioned-safe Ceremonies and a User Study of an Application to Web Authentication. NDSS'2009. Cited By 4[Bibtex] |
| [83] | Erika Chin, David Wagner. Efficient character-level taint tracking for Java. SWS'2009. pp.3~12 Cited By 2[Bibtex] |
| [82] | Chris Karlof, J. D. Tygar, David Wagner. Conditioned-safe ceremonies and a user study of an application to web authentication. SOUPS'2009. Cited By 4[Bibtex] |
|
| [81] | Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner. Verifiable functional purity in java. ACM Conference on Computer and Communications Security'2008. pp.161~174 Cited By 9[Bibtex] |
| [80] | Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva. Portably Solving File TOCTTOU Races with Hardness Amplification. FAST'2008. pp.189~206 Cited By 8[Bibtex] |
| [79] | Nicolas Courtois, Gregory V. Bard, David Wagner. Algebraic and Slide Attacks on KeeLoq. FSE'2008. pp.97~115 Cited By 48[Bibtex] |
| [78] | Chris Karlof, J. Doug Tygar, David Wagner. A User Study Design for Comparing the Security of Registration Protocols. UPSEC'2008. Cited By 6[Bibtex] |
| [77] | Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva. Portably solving file races with hardness amplification. TOS, 2008. [Bibtex] |
|
| [76] | 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. pp.58~71 Cited By 43[Bibtex] |
| [75] | Karl Chen, David Wagner. Large-scale analysis of format string vulnerabilities in Debian Linux. PLAS'2007. pp.75~84 Cited By 17[Bibtex] |
| [74] | Philippe Golle, David Wagner. Cryptanalysis of a Cognitive Authentication Scheme (Extended Abstract). IEEE Symposium on Security and Privacy'2007. pp.66~70 Cited By 42[Bibtex] |
| [73] | Nicholas Hopper, David Molnar, David Wagner. From Weak to Strong Watermarking. TCC'2007. pp.362~382 Cited By 8[Bibtex] |
| [72] | Matt Bishop, David Wagner. Risks of e-voting. Commun. ACM, 2007: 120~120 Cited By 19[Bibtex] |
|
| [71] | Chris Crutchfield, David Molnar, David Turner, David Wagner. Generic On-Line/Off-Line Threshold Signatures. Public Key Cryptography'2006. pp.58~74 Cited By 11[Bibtex] [PDF] |
| [70] | David Wagner. Object capabilities for security. PLAS'2006. pp.1~2 Cited By 4[Bibtex] |
| [69] | 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. pp.365~370 [Bibtex] |
|
| [68] | 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. pp.13~22 Cited By 36[Bibtex] |
| [67] | Jason Waddle, David Wagner. Fault Attacks on Dual-Rail Encoded Systems. ACSAC'2005. pp.483~494 Cited By 6[Bibtex] |
| [66] | 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. pp.156~168 Cited By 17[Bibtex] [PDF] |
| [65] | 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. pp.327~341 Cited By 4[Bibtex] [PDF] |
| [64] | David Molnar, Andrea Soppera, David Wagner. A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags. Selected Areas in Cryptography'2005. pp.276~290 [Bibtex] |
| [63] | David Molnar, Andrea Soppera, David Wagner. Privacy for RFID through trusted computing. WPES'2005. pp.31~34 [Bibtex] |
| [62] | Zhendong Su, David Wagner. A class of polynomially solvable range constraints for interval analysis without widenings. Theor. Comput. Sci., 2005: 122~138 Cited By 16[Bibtex] |
|
| [61] | David Molnar, David Wagner. Privacy and security in library RFID: issues, practices, and architectures. ACM Conference on Computer and Communications Security'2004. pp.210~219 Cited By 399[Bibtex] [PDF] |
| [60] | David Wagner. Cryptanalysis of a provably secure CRT-RSA algorithm. ACM Conference on Computer and Communications Security'2004. pp.92~97 Cited By 50[Bibtex] [PDF] |
| [59] | Jason Waddle, David Wagner. Towards Efficient Second-Order Power Analysis. CHES'2004. pp.1~15 Cited By 83[Bibtex] |
| [58] | Mihir Bellare, Phillip Rogaway, David Wagner. The EAX Mode of Operation. FSE'2004. pp.389~407 Cited By 78[Bibtex] [PDF] |
| [57] | Hao Chen, Drew Dean, David Wagner. Model Checking One Million Lines of C Code. NDSS'2004. Cited By 118[Bibtex] [PDF] |
| [56] | David Wagner. Resilient aggregation in sensor networks. SASN'2004. pp.78~87 Cited By 221[Bibtex] |
| [55] | Chris Karlof, Naveen Sastry, David Wagner. TinySec: a link layer security architecture for wireless sensor networks. SenSys'2004. pp.162~175 Cited By 707[Bibtex] |
| [54] | Zhendong Su, David Wagner. A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. TACAS'2004. pp.280~295 Cited By 16[Bibtex] [PDF] |
| [53] | Mark Johnson, David Wagner, Kannan Ramchandran. On Compressing Encrypted Data without the Encryption Key. TCC'2004. pp.491~504 Cited By 2[Bibtex] [PDF] |
| [52] | Robert Johnson, David Wagner. Finding User/Kernel Pointer Bugs with Type Inference. USENIX Security Symposium'2004. pp.119~134 Cited By 83[Bibtex] [PDF] |
| [51] | 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. pp.41~42 Cited By 12[Bibtex] |
| [50] | Naveen Sastry, David Wagner. Security considerations for IEEE 802.15.4 networks. Workshop on Wireless Security'2004. pp.32~42 Cited By 113[Bibtex] |
| [49] | Adrian Perrig, John A. Stankovic, David Wagner. Security in wireless sensor networks. Commun. ACM, 2004: 53~57 Cited By 568[Bibtex] [PDF] |
| [48] | David Jefferson, Aviel D. Rubin, Barbara Simons, David Wagner. Analyzing internet voting security. Commun. ACM, 2004: 59~64 Cited By 51[Bibtex] |
|
| [47] | Chris Karlof, David Wagner. Hidden Markov Model Cryptoanalysis. CHES'2003. pp.17~34 [Bibtex] |
| [46] | Naveen Sastry, Umesh Shankar, David Wagner. Secure verification of location claims. Workshop on Wireless Security'2003. pp.1~10 Cited By 352[Bibtex] [PDF] |
| [45] | Chris Karlof, David Wagner. Secure routing in wireless sensor networks: attacks and countermeasures. Ad Hoc Networks, 2003: 293~315 Cited By 1333[Bibtex] [PDF] |
| [44] | Nancy Cam-Winget, Russell Housley, David Wagner, Jesse Walker. Security flaws in 802.11 data link protocols. Commun. ACM, 2003: 35~39 Cited By 127[Bibtex] [PDF] |
|
| [43] | Hao Chen, David Wagner. MOPS: an infrastructure for examining security properties of software. ACM Conference on Computer and Communications Security'2002. pp.235~244 Cited By 357[Bibtex] [PDF] |
| [42] | David Wagner, Paolo Soto. Mimicry attacks on host-based intrusion detection systems. ACM Conference on Computer and Communications Security'2002. pp.255~264 Cited By 395[Bibtex] [PDF] |
| [41] | David Wagner. A Generalized Birthday Problem. CRYPTO'2002. pp.288~303 Cited By 158[Bibtex] [PDF] |
| [40] | Moses Liskov, Ronald L. Rivest, David Wagner. Tweakable Block Ciphers. CRYPTO'2002. pp.31~46 Cited By 141[Bibtex] |
| [39] | Robert Johnson, David Molnar, Dawn Xiaodong Song, David Wagner. Homomorphic Signature Schemes. CT-RSA'2002. pp.244~262 Cited By 107[Bibtex] [PDF] |
| [38] | Nikita Borisov, Monica Chew, Robert Johnson, David Wagner. Multiplicative Differentials. FSE'2002. pp.17~33 Cited By 8[Bibtex] [PDF] |
| [37] | Lars R. Knudsen, David Wagner. Integral Cryptanalysis. FSE'2002. pp.112~127 Cited By 109[Bibtex] [PDF] |
| [36] | Will Ivancic, David Wagner, Aviel D. Rubin, Paul Ratazzi, James P. G. Sterbenz. Securing Wireless and Mobile Networks - Is It Possible?. INFOCOM'2002. [Bibtex] |
| [35] | Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David Wagner. Cool security trends. SACMAT'2002. pp.53~53 [Bibtex] |
| [34] | Hao Chen, David Wagner, Drew Dean. Setuid Demystified. USENIX Security Symposium'2002. pp.171~190 Cited By 79[Bibtex] |
|
| [33] | Scott 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. pp.192~200 Cited By 16[Bibtex] [PDF] |
| [32] | Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner. Relating Cryptography and Cryptographic Protocols. CSFW'2001. pp.111~114 [Bibtex] |
| [31] | Nikita Borisov, Ian Goldberg, David Wagner. Intercepting mobile communications: the insecurity of 802.11. MOBICOM'2001. pp.180~189 Cited By 876[Bibtex] |
| [30] | David Wagner, Drew Dean. Intrusion Detection via Static Analysis. IEEE Symposium on Security and Privacy'2001. pp.156~156 Cited By 477[Bibtex] |
| [29] | Lars R. Knudsen, David Wagner. On the structure of Skipjack. Discrete Applied Mathematics, 2001: 103~116 Cited By 8[Bibtex] |
|
| [28] | Niels Ferguson, Bruce Schneier, David Wagner. Security Weaknesses in a Randomized Stream Cipher. ACISP'2000. pp.234~241 Cited By 3[Bibtex] [PDF] |
| [27] | Bruce Schneier, John Kelsey, Doug Whiting, David Wagner, Niels Ferguson. Comments on Twofish as an AES Candidate. AES Candidate Conference'2000. pp.355~356 Cited By 5[Bibtex] |
| [26] | David Wagner, Ian Goldberg. Proofs of Security for the Unix Password Hashing Algorithm. ASIACRYPT'2000. pp.560~572 Cited By 9[Bibtex] [PDF] |
| [25] | Alex Biryukov, David Wagner. Advanced Slide Attacks. EUROCRYPT'2000. pp.589~606 Cited By 173[Bibtex] |
| [24] | Niels Ferguson, John Kelsey, Stefan Lucks, Bruce Schneier, Michael Stay, David Wagner, Doug Whiting. Improved Cryptanalysis of Rijndael. FSE'2000. pp.213~230 Cited By 200[Bibtex] [PDF] |
| [23] | Alex Biryukov, Adi Shamir, David Wagner. Real Time Cryptanalysis of A5/1 on a PC. FSE'2000. pp.1~18 Cited By 247[Bibtex] [PDF] |
| [22] | David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS'2000. Cited By 614[Bibtex] [PDF] |
| [21] | Dawn Xiaodong Song, David Wagner, Adrian Perrig. Practical Techniques for Searches on Encrypted Data. IEEE Symposium on Security and Privacy'2000. pp.44~55 Cited By 345[Bibtex] [PDF] |
| [20] | John Kelsey, Bruce Schneier, David Wagner, Chris Hall. Side Channel Cryptanalysis of Product Ciphers. Journal of Computer Security, 2000. [Bibtex] [PDF] |
|
| [19] | Bruce Schneier, Mudge, David Wagner. Cryptanalysis of Microsoft's PPTP Authentication Extensions (MS-CHAPv2). CQRE'1999. pp.192~203 [Bibtex] [PDF] |
| [18] | Lars R. Knudsen, Matthew J. B. Robshaw, David Wagner. Truncated Differentials and Skipjack. CRYPTO'1999. pp.165~180 Cited By 30[Bibtex] |
| [17] | John Kelsey, Bruce Schneier, David Wagner. Mod n Cryptanalysis, with Applications Against RC5P and M6. FSE'1999. pp.139~155 Cited By 56[Bibtex] |
| [16] | Alex Biryukov, David Wagner. Slide Attacks. FSE'1999. pp.245~259 Cited By 173[Bibtex] [PDF] |
| [15] | Ian Goldberg, Steven D. Gribble, David Wagner, Eric A. Brewer. The Ninja Jukebox. USENIX Symposium on Internet Technologies and Systems'1999. Cited By 24[Bibtex] |
|
| [14] | Chris Hall, David Wagner, John Kelsey, Bruce Schneier. Building PRFs from PRPs. CRYPTO'1998. pp.370~389 Cited By 27[Bibtex] [PDF] |
| [13] | John Kelsey, Bruce Schneier, David Wagner, Chris Hall. Side Channel Cryptanalysis of Product Ciphers. ESORICS'1998. pp.97~110 [Bibtex] [PDF] |
| [12] | Chris Hall, John Kelsey, Bruce Schneier, David Wagner. Cryptanalysis of SPEED. Financial Cryptography'1998. pp.309~310 [Bibtex] [PDF] |
| [11] | Don Coppersmith, David Wagner, Bruce Schneier, John Kelsey. Cryptanalysis of TWOPRIME. FSE'1998. pp.32~48 [Bibtex] [PDF] |
| [10] | John Kelsey, Bruce Schneier, David Wagner, Chris Hall. Cryptanalytic Attacks on Pseudorandom Number Generators. FSE'1998. pp.168~188 Cited By 95[Bibtex] [PDF] |
| [9] | Chris Hall, John Kelsey, Vincent Rijmen, Bruce Schneier, David Wagner. Cryptanalysis of SPEED. Selected Areas in Cryptography'1998. pp.319~338 Cited By 4[Bibtex] [PDF] |
| [8] | Bruce Schneier, John Kelsey, Doug Whiting, David Wagner, Chris Hall. On the Twofish Key Schedule. Selected Areas in Cryptography'1998. pp.27~42 Cited By 15[Bibtex] [PDF] |
| [7] | David Wagner, Leone Simpson, Ed Dawson, John Kelsey, William Millan, Bruce Schneier. Cryptanalysis of ORYX. Selected Areas in Cryptography'1998. pp.296~305 Cited By 24[Bibtex] |
| [6] | Ian Goldberg, David Wagner. TAZ Servers and the Rewebber Network: Enabling Anonymous Publishing on the World Wide Web. First Monday, 1998. Cited By 59[Bibtex] |
|
| [5] | David Wagner, Bruce Schneier, John Kelsey. Cryptoanalysis of the Cellular Encryption Algorithm. CRYPTO'1997. pp.526~537 Cited By 6[Bibtex] |
| [4] | John Kelsey, Bruce Schneier, David Wagner. Related-key cryptanalysis of 3-WAY, Biham-DES, CAST, DES-X, NewDES, RC2, and TEA. ICICS'1997. pp.233~246 Cited By 127[Bibtex] [PDF] |
| [3] | John Kelsey, Bruce Schneier, Chris Hall, David Wagner. Secure Applications of Low-Entropy Keys. ISW'1997. pp.121~134 Cited By 30[Bibtex] [PDF] |
| [2] | John Kelsey, Bruce Schneier, David Wagner. Protocol Interactions and the Chosen Protocol Attack. Security Protocols Workshop'1997. pp.91~104 Cited By 109[Bibtex] [PDF] |
|
| [1] | John Kelsey, Bruce Schneier, David Wagner. Key-Schedule Cryptoanalysis of IDEA, G-DES, GOST, SAFER, and Triple-DES. CRYPTO'1996. pp.237~251 [Bibtex] |