Daniel Reynaud

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Finite Automaton

Syntactic Pattern Recognition

Top Venues

Formal Methods Syst. Des.

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Daniel Reynaud, Dawn Xiaodong Song, Thomas R. Magrino, Edward XueJun Wu, Eui Chul Richard Shin
FreeMarket: Shopping for free in Android applications. NDSS (2012)
Domagoj Babic, Daniel Reynaud, Dawn Song
Recognizing malicious software behaviors with tree automata inference. Formal Methods Syst. Des. 41 (1) (2012)
Domagoj Babic, Daniel Reynaud, Dawn Song
Malware Analysis with Tree Automata Inference. CAV (2011)
Noah M. Johnson, Juan Caballero, Kevin Zhijie Chen, Stephen McCamant, Pongsin Poosankam, Daniel Reynaud, Dawn Song
Differential Slicing: Identifying Causal Execution Differences for Security Applications. IEEE Symposium on Security and Privacy (2011)
Isabelle Gnaedig, Matthieu Kaczmarek, Daniel Reynaud, Stéphane Wloka
Unconditional self-modifying code elimination with dynamic compiler optimizations. MALWARE (2010)