Multi-byte Regular Expression Matching with Speculation. - Daniel Luchaup; Randy Smith; Cristian Estan; Somesh Jha (RAID, 2009)

Using Cell Processors for Intrusion Detection through Regular Expression Matching with Speculation. - Catalin Radu; Catalin Adrian Leordeanu; Valentin Cristea; Daniel Luchaup (CISIS, 2011)

Automatic partial loop summarization in dynamic test generation. - Patrice Godefroid; Daniel Luchaup (ISSTA, 2011)

Speculative Parallel Pattern Matching. - Daniel Luchaup; Randy Smith; Cristian Estan; Somesh Jha (IEEE Trans. Inf. Forensics Secur., 2011)

Formatted Encryption Beyond Regular Languages. - Daniel Luchaup; Thomas Shrimpton; Thomas Ristenpart; Somesh Jha (CCS, 2014)

Deep packet inspection with DFA-trees and parametrized language overapproximation. - Daniel Luchaup; Lorenzo De Carli; Somesh Jha; Eric Bach 001 (INFOCOM, 2014)

LibFTE: A Toolkit for Constructing Practical, Format-Abiding Encryption Schemes. - Daniel Luchaup; Kevin P. Dyer; Somesh Jha; Thomas Ristenpart; Thomas Shrimpton (USENIX Security Symposium, 2014)

Composite Constant Propagation: Application to Android Inter-Component Communication Analysis. - Damien Octeau; Daniel Luchaup; Matthew L. Dering; Somesh Jha; Patrick D. McDaniel (ICSE (1), 2015)

Composite Constant Propagation and its Application to Android Program Analysis. - Damien Octeau; Daniel Luchaup; Somesh Jha; Patrick D. McDaniel (IEEE Trans. Software Eng., 2016)