Daniel Luchaup

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Topics

Encryption Scheme

Regular Languages

Statistical Queries

Top Venues

USENIX Security Symposium

Publications

Damien Octeau, Daniel Luchaup, Somesh Jha, Patrick D. McDaniel
Composite Constant Propagation and its Application to Android Program Analysis. IEEE Trans. Software Eng. 42 (11) (2016)
Damien Octeau, Daniel Luchaup, Matthew Dering, Somesh Jha, Patrick D. McDaniel
Composite Constant Propagation: Application to Android Inter-Component Communication Analysis. ICSE (1) (2015)
Daniel Luchaup, Thomas Shrimpton, Thomas Ristenpart, Somesh Jha
Formatted Encryption Beyond Regular Languages. CCS (2014)
Daniel Luchaup, Kevin P. Dyer, Somesh Jha, Thomas Ristenpart, Thomas Shrimpton
LibFTE: A Toolkit for Constructing Practical, Format-Abiding Encryption Schemes. USENIX Security Symposium (2014)
Daniel Luchaup, Lorenzo De Carli, Somesh Jha, Eric Bach
Deep packet inspection with DFA-trees and parametrized language overapproximation. INFOCOM (2014)
Patrice Godefroid, Daniel Luchaup
Automatic partial loop summarization in dynamic test generation. ISSTA (2011)
Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha
Speculative Parallel Pattern Matching. IEEE Trans. Inf. Forensics Secur. 6 (2) (2011)
Catalin Radu, Catalin Adrian Leordeanu, Valentin Cristea, Daniel Luchaup
Using Cell Processors for Intrusion Detection through Regular Expression Matching with Speculation. CISIS (2011)
Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha
Multi-byte Regular Expression Matching with Speculation. RAID (2009)