Concepedia

Marie-Laure Potet

MP

Statistics

Publications

12

Citations

338

H-Index

12

Active since

2005

Affiliations

Verimag(Current)

Université Grenoble Alpes

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Centre National de la Recherche Scientifique

CEA Grenoble

Marie-Laure Potet is an author at Verimag specializing in computing, computer science, and computer engineering.

Publications per year

2005–2023

12

Publications

12

Statically detecting use after free on binary code

Josselin Feist, Laurent Mounier, Marie-Laure Potet · Journal of Computer Virology and Hacking Techniques · 2014 · 72 citations

Computing, Computer Engineering, Computer Science +11

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis

Robin David, Sébastien Bardin, Thanh Dinh Ta et al. · 2016 · 65 citations

Computing, Computer Science, Formal Methods +15

Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections

Marie-Laure Potet, Laurent Mounier, Maxime Puys et al. · 2014 · 41 citations · Full text

Computing, Computer Engineering, Computer Science +14

Finding the needle in the heap

Josselin Feist, Laurent Mounier, Sébastien Bardin et al. · 2016 · 24 citations

Computing, Computer Science, Cybersecurity +17

Test purposes: adapting the notion of specification to testing

Yves Ledru, Lydie du Bousquet, Pierre Bontron et al. · 2005 · 23 citations

Computing, Computer Science, Design Automation +15

1–5 of 12