Daniel Reynaud

According to our database, Daniel Reynaud authored at least 6 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Recognizing malicious software behaviors with tree automata inference.

Domagoj Babic, Daniel Reynaud, Dawn Song

Formal Methods Syst. Des., 2012

FreeMarket: Shopping for free in Android applications.

Daniel Reynaud, Dawn Xiaodong Song, Thomas R. Magrino, Edward XueJun Wu, Eui Chul Richard Shin

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

2011

Differential Slicing: Identifying Causal Execution Differences for Security Applications.

Noah M. Johnson, Juan Caballero, Kevin Zhijie Chen, Stephen McCamant, Pongsin Poosankam, Daniel Reynaud, Dawn Song

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Malware Analysis with Tree Automata Inference.

Domagoj Babic, Daniel Reynaud, Dawn Song

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Analyse de codes auto-modifiants pour la sécurité logicielle. (Self-modifying code analysis for software security).

Daniel Reynaud

PhD thesis, 2010

Unconditional self-modifying code elimination with dynamic compiler optimizations.

Isabelle Gnaedig, Matthieu Kaczmarek, Daniel Reynaud, Stéphane Wloka

Proceedings of the 5th International Conference on Malicious and Unwanted Software, 2010