Follow
Marie-Laure Potet
Marie-Laure Potet
laboratoire VERIMAG - Grenoble Alpes University
Verified email at univ-grenoble-alpes.fr - Homepage
Title
Cited by
Cited by
Year
Statically detecting use after free on binary code
J Feist, L Mounier, ML Potet
Journal of Computer Virology and Hacking Techniques 10 (3), 211-217, 2014
1102014
BINSEC/SE: A dynamic symbolic execution toolkit for binary-level analysis
R David, S Bardin, TD Ta, L Mounier, J Feist, ML Potet, JY Marion
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
992016
Symbolic deobfuscation: From virtualized code back to the original
J Salwan, S Bardin, ML Potet
International Conference on Detection of Intrusions and Malware, and …, 2018
712018
Adaptable translator of B specifications to embedded C programs
D Bert, S Boulmé, ML Potet, A Requet, L Voisin
International Symposium of Formal Methods Europe, 94-113, 2003
692003
From code review to fault injection attacks: Filling the gap using fault model inference
L Dureuil, ML Potet, P de Choudens, C Dumas, J Clédière
International conference on smart card research and advanced applications …, 2015
642015
FISSC: A fault injection and simulation secure collection
L Dureuil, G Petiot, ML Potet, TH Le, A Crohen, P de Choudens
Computer Safety, Reliability, and Security: 35th International Conference …, 2016
622016
Lazart: A symbolic approach for evaluation the robustness of secured codes against control flow injections
ML Potet, L Mounier, M Puys, L Dureuil
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
582014
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties
D Bert, ML Potet, N Stouls
International Conference of B and Z Users, 299-318, 2005
532005
Composition and Refinement in the B-Method
ML Potet, Y Rouzaud
International Conference of B Users, 46-65, 1998
491998
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free
J Feist, L Mounier, S Bardin, R David, ML Potet
Proceedings of the 6th Workshop on Software Security, Protection, and …, 2016
422016
Specification of concretization and symbolization policies in symbolic execution
R David, S Bardin, J Feist, L Mounier, ML Potet, TD Ta, JY Marion
Proceedings of the 25th International Symposium on Software Testing and …, 2016
382016
Taint dependency sequences: A characterization of insecure execution paths based on input-sensitive cause sequences
D Ceara, L Mounier, ML Potet
2010 Third International Conference on Software Testing, Verification, and …, 2010
362010
Test purposes: adapting the notion of specification to testing
Y Ledru, L du Bousquet, P Bontron, O Maury, C Oriat, ML Potet
Proceedings 16th Annual International Conference on Automated Software …, 2001
352001
Get rid of inline assembly through verification-oriented lifting
F Recoules, S Bardin, R Bonichon, L Mounier, ML Potet
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
332019
Formal analysis of security properties on the OPC-UA SCADA protocol
M Puys, ML Potet, P Lafourcade
International Conference on Computer Safety, Reliability, and Security, 67-75, 2016
292016
Protection des forêts contre l’incendie
PY COLIN, M JAPPIOT, A MARIEL, C Cabaret, S Veillon, F Brocchiero
Cahier FAO Conservation 36, 2001
272001
Spécification formelle avec B
H Habrias, JY Lafaye, ML Potet
Hermès Science Publications, 2001
272001
A review of intrusion detection systems for industrial control systems
M Kaouk, JM Flaus, ML Potet, R Groz
2019 6th International Conference on Control, Decision and Information …, 2019
252019
Combining high-level and low-level approaches to evaluate software implementations robustness against multiple fault injection attacks
L Rivière, ML Potet, TH Le, J Bringer, H Chabanne, M Puys
International Symposium on Foundations and Practice of Security, 92-111, 2014
252014
Security policy enforcement through refinement process
N Stouls, ML Potet
International Conference of B Users, 216-231, 2007
242007
The system can't perform the operation now. Try again later.
Articles 1–20