Daniel Luchaup

I was a PhD student in the CS department at University of Wisconsin at Madison, under the supervision of Professor Somesh Jha. I had my PhD defense in September 2014, and then I moved to CyLab in Carnegie Mellon University where I work with Professor David Brumley. My current research interests include the application of programming languages theory and compiler techniques to computer security.


Old drawing by
Costache Ottescu


Replace <user> with my last name, and fill in the dots:

  CS wisc email: <user> at cs wisc edu
  CyLab   email: <user> at andrew cmu edu


 4720 Forbes Ave., Room 2126
 Carnegie Mellon University
 Pittsburgh, PA 15213


  1. 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)

  2. 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)

  3. 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)

  4. 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)

  5. 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

  6. Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha:
    Speculative Parallel Pattern Matching
    IEEE Transactions on Information Forensics and Security, Volume 6, March 2011

  7. 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)

  8. 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)

Last Updated: 2014-11-24