Marie-Laure Potet
Orcid: 0000-0002-7070-6290
According to our database1,
Marie-Laure Potet
authored at least 61 papers
between 1984 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
An end-to-end approach to identify and exploit multi-fault injection vulnerabilities on microcontrollers.
J. Cryptogr. Eng., June, 2023
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities.
CoRR, 2023
CoRR, 2023
Proceedings of the Workshop on Fault Detection and Tolerance in Cryptography, 2023
Proceedings of the Programming Languages and Systems, 2023
2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
2021
RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine".
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Fast Calibration of Fault Injection Equipment with Hyperparameter Optimization Techniques.
Proceedings of the Smart Card Research and Advanced Applications, 2021
2020
Proceedings of the 17th Workshop on Fault Detection and Tolerance in Cryptography, 2020
Proceedings of the 17th Workshop on Fault Detection and Tolerance in Cryptography, 2020
2019
CoRR, 2019
Comput. Secur., 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 6th International Conference on Control, 2019
2018
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017
Proceedings of the Foundations and Practice of Security - 10th International Symposium, 2017
2016
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016
Proceedings of the Critical Information Infrastructures Security, 2016
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free.
Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016
2015
From Code Review to Fault Injection Attacks: Filling the Gap Using Fault Model Inference.
Proceedings of the Smart Card Research and Advanced Applications, 2015
2014
J. Comput. Virol. Hacking Tech., 2014
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel.
Tech. Sci. Informatiques, 2014
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks.
Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014
LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis.
Proceedings of the Ninth International Conference on Availability, 2014
2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2011
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties.
Commun. ACM, 2011
2010
GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel
CoRR, 2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences.
Proceedings of the Third International Conference on Software Testing, 2010
Liability in software engineering: overview of the LISE approach and illustration on a case study.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control <i>a la</i>Spec#.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009
2008
A B Formal Framework for Security Developments in the Domain of Smart Card Applications.
Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Proceedings of the B 2007: Formal Specification and Development in B, 2007
Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions.
Proceedings of the B 2007: Formal Specification and Development in B, 2007
2005
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005
2004
Tech. Sci. Informatiques, 2004
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.
Tech. Sci. Informatiques, 2004
2003
Tech. Sci. Informatiques, 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. (Formal specifications and developments: a study of compositional aspects in the B-method).
, 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
2000
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
1998
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998
1995
Proceedings of the Formal Methods for Industrial Applications, 1995
1991
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
1988
Preuves et stratégies pour la synthèse déductive de programmes. (Proofs and strategies for deductive program synthesis).
PhD thesis, 1988
1986
Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis).
Proceedings of the Advances in Artificial Intelligence II, 1986
1984
Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization.
Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984