Publications
- Damien Octeau, Daniel Luchaup, Matthew Dering, Somesh Jha, Patrick McDaniel:
Composite Constant Propagation: Application to Android Inter-Component Communication Analysis
to appear in: Proceedings of the 37th International Conference on Software Engineering (ICSE 2015)
- Daniel Luchaup, Thomas Shrimpton, Thomas Ristenpart, Somesh Jha:
Formatted Encryption beyond Regular Languages (code)
21st ACM Conference on Computer and Communications Security (ACM CCS 2014)
- Daniel Luchaup, Kevin P. Dyer, Somesh Jha, Thomas Ristenpart, Thomas Shrimpton:
LibFTE: A Toolkit for Constructing Practical, Format-Abiding Encryption Schemes
The 23rd USENIX Security Symposium (USENIX Security 2014)
- Daniel Luchaup, Lorenzo De Carli, Somesh Jha, Eric Bach:
Deep Packet Inspection with DFA-trees and Parametrized Language Overapproximation
The 33rd Annual IEEE International Conference on Computer Communications (INFOCOM 2014)
- Patrice Godefroid, Daniel Luchaup:
Automatic Partial Loop Summarization in Dynamic Test Generation
2011 International Symposium on Software Testing and
Analysis (ISSTA 2011)
ACM SIGSOFT Distinguished Paper Award
- Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha:
Speculative Parallel Pattern Matching
IEEE Transactions on Information Forensics and Security, Volume
6, March 2011
- Catalin Radu, Catalin Leordeanu, Valentin Cristea, Daniel Luchaup:
Using Cell Processors for Intrusion Detection through Regular
Expression Matching with Speculation
International Conference on Complex, Intelligent and
Software Intensive Systems (CISIS 2011)
- Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha:
Multi-Byte Regular Expression Matching with Speculation
12th International Symposium On Recent Advances In Intrusion
Detection, Saint-Malo, France, September 23-25 (RAID 2009)
|
