Marie-Laure Potet
Marie-Laure Potet
laboratoire VERIMAG - Grenoble Alpes University
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
Composition and Refinement in the B-Method
ML Potet, Y Rouzaud
International Conference of B Users, 46-65, 1998
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
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
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
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
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
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
Spécification formelle avec B
H Habrias, JY Lafaye, ML Potet
Hermes Science Publications, 2001
FISSC: A fault injection and simulation secure collection
L Dureuil, G Petiot, ML Potet, TH Le, A Crohen, P de Choudens
International Conference on Computer Safety, Reliability, and Security, 3-11, 2016
A study on components and assembly primitives in B
D Bert, ML Potet, Y Rouzaud
Proceedings of the first B conference, 47-62, 1996
Protection des forêts contre l'incendie
PY Colin, M Jappiot, A Mariel
Cemagref, 2001
Liability in software engineering: overview of the LISE approach and illustration on a case study
D Le Métayer, M Maarek, VVT Tong, E Mazza, ML Potet, N Craipeau, ...
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
Security policy enforcement through refinement process
N Stouls, ML Potet
International Conference of B Users, 216-231, 2007
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
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
An Access Control Model Based Testing Approach for Smart Card Applications: Results of the {POSÉ} Project
PA Masson, ML Potet, J Julliand, R Tissot, G Debois, B Legeard, B Chetali, ...
JIAS, Journal of Information Assurance and Security 5, 335-351, 2010
The system can't perform the operation now. Try again later.
Articles 1–20