Laurent Mounier

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2017

scat: Learning from a single execution of a binary.

[BibT_eX]

[DOI]

Franck de Goër

Christopher Ferreira

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Metrics for runtime detection of allocators in binaries.

[BibT_eX]

[DOI]

Franck de Goër

Proceedings of the 10th USENIX Workshop on Cyber Security Experimentation and Test, 2017

2016

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

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information.

[BibT_eX]

[DOI]

Josselin Feist

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Specification of concretization and symbolization policies in symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Toward Large-Scale Vulnerability Discovery using Machine Learning.

[BibT_eX]

[DOI]

Gustavo Grieco

Guillermo Luis Grinblat

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016

2015

Lightweight heuristics to retrieve parameter associations from binaries.

[BibT_eX]

[DOI]

Franck de Goër

Proceedings of the 5th Program Protection and Reverse Engineering Workshop, 2015

2014

Statically detecting use after free on binary code.

[BibT_eX]

[DOI]

Josselin Feist

J. Comput. Virol. Hacking Tech., 2014

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

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

On the Expressiveness of some Runtime Validation Techniques.

[BibT_eX]

[DOI]

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis.

[BibT_eX]

[DOI]

Sanjay Rawat

Proceedings of the Ninth International Conference on Availability, 2014

2013

Synchronous programming of device drivers for global resource control in embedded operating systems.

[BibT_eX]

[DOI]

Nicolas Berthier

Florence Maraninchi

ACM Trans. Embed. Comput. Syst., 2013

Combining Static and Dynamic Analysis for Vulnerability Detection

[BibT_eX]

[DOI]

CoRR, 2013

A Stack Model for Symbolic Buffer Overflow Exploitability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Predictive Taint Analysis for Extended Testing of Parallel Executions.

[BibT_eX]

[DOI]

Emmanuel Sifakis

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Politiques de gestion de protections pour l'implémentation de sections critiques.

[BibT_eX]

[DOI]

Emmanuel Sifakis

Tech. Sci. Informatiques, 2012

What can you verify and enforce at runtime?

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

More testable properties.

[BibT_eX]

[DOI]

Thierry Jéron

Hervé Marchand

Int. J. Softw. Tools Technol. Transf., 2012

Finding Buffer Overflow Inducing Loops in Binary Executables.

[BibT_eX]

[DOI]

Sanjay Rawat

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Dynamic Information-Flow Analysis for Multi-threaded Applications.

[BibT_eX]

[DOI]

Emmanuel Sifakis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

A Taint Based Approach for Smart Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Runtime enforcement monitors: composition, synthesis, and enforcement abilities.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results.

[BibT_eX]

[DOI]

Sanjay Rawat

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Finding Software Vulnerabilities by Smart Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences.

[BibT_eX]

[DOI]

Dumitru Ceara

Proceedings of the Third International Conference on Software Testing, 2010

2009

Enforcement monitoring wrt. the safety-progress classification of properties.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Runtime Verification of Safety-Progress Properties.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

j-POST: a Java Toolchain for Property-Oriented Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security, 4th International Conference, 2008

2007

The ARESA Project: Facilitating Research, Development and Commercialization of WSNs.

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual IEEE Communications Society Conference on Sensor, 2007

A Compositional Testing Framework Driven by Partial Specifications.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2007

Worst-case lifetime computation of a wireless sensor network by model-checking.

[BibT_eX]

[DOI]

Ludovic Samper

Wassim Znaidi

Proceedings of the 4th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2007

Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Test Generation from Security Policies Specified in Or-BAC.

[BibT_eX]

[DOI]

Keqin Li

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Test Generation for Network Security Rules.

[BibT_eX]

[DOI]

Vianney Darmaillacq

Proceedings of the Testing of Communicating Systems, 2006

Confirmation of deadlock potentials detected by runtime analysis.

[BibT_eX]

[DOI]

Saddek Bensalem

Klaus Havelund

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks.

[BibT_eX]

[DOI]

Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, 2006

A Test Calculus Framework Applied to Network Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

A Model-Based Approach for Robustness Testing.

[BibT_eX]

[DOI]

Cyril Pachon

Proceedings of the Testing of Communicating Systems, 2005

2004

IF Validation Environment Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2004

2003

Validation of asynchronous circuit specifications using IF/CADP.

[BibT_eX]

Proceedings of the IFIP VLSI-SoC 2003, 2003

Property Oriented Test Case Generation.

[BibT_eX]

[DOI]

Cyril Pachon

Proceedings of the Formal Approaches to Software Testing, 2003

2002

IF-2.0: A Validation Environment for Component-Based Real-Time Systems.

[BibT_eX]

[DOI]

Susanne Graf

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Automated validation of distributed software using the IF environment.

[BibT_eX]

[DOI]

Susanne Graf

Proceedings of the Workshop on Software Model Checking 2001, 2001

Timed Extensions for SDL.

[BibT_eX]

[DOI]

Proceedings of the SDL 2001: Meeting UML, 2001

2000

Verification and test generation for the SSCOP protocol.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2000

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems.

[BibT_eX]

[DOI]

Jean-Pierre Krimm

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

SDL for Real-Time: What is Missing?

[BibT_eX]

Proceedings of the SAM 2000, 2000

IF: A Validation Environment for Timed Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

IF: An intermediate representation for SDL and its applications.

[BibT_eX]

Proceedings of the SDL '99 The Next Millennium, 1999

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1997

Protocol Verification with the ALDÉBARAN Toolset.

[BibT_eX]

[DOI]

Alain Kerbrat

Int. J. Softw. Tools Technol. Transf., 1997

Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks.

[BibT_eX]

[DOI]

Hubert Garavel

Sci. Comput. Program., 1997

Compositional State Space Generation from Lotos Programs.

[BibT_eX]

[DOI]

Jean-Pierre Krimm

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1996

Specification and Verification of the PowerScale<sup>TM</sup> Bus Arbitration Protocol: An Industrial Experiment with LOTOS.

[BibT_eX]

Proceedings of the Formal Description Techniques IX: Theory, 1996

CADP - A Protocol Validation and Verification Toolbox.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1993

Symbolic Equivalence Checking.

[BibT_eX]

[DOI]

Alain Kerbrat

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Méthodes de vérification de spécifications comportementales : étude et mise en œuvre. (Verification methods for behavioural specifications).

[BibT_eX]

[DOI]

PhD thesis, 1992

On-the-fly Verification of Finite Transition Systems.

[BibT_eX]

[DOI]

Claude Jard

Thierry Jéron

Formal Methods Syst. Des., 1992

A Toolbox for the Verification of LOTOS Programs.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Software Engineering, 1992

1991

A Tool Set for deciding Behavioral Equivalences.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

"On the Fly" Verification of Behavioural Equivalences and Preorders.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Verifying Bisimulations "On the Fly".

[BibT_eX]