| Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine | 0 | 0.34 | 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" | 0 | 0.34 | 2021 |
| Countermeasures Optimization in Multiple Fault-Injection Context | 0 | 0.34 | 2020 |
| Get Rid of Inline Assembly through Verification-Oriented Lifting. | 1 | 0.35 | 2019 |
| Get rid of inline assembly through trustable verification-oriented lifting. | 0 | 0.34 | 2019 |
| Output-Sensitive Information Flow Analysis. | 1 | 0.35 | 2019 |
| Compositional Verification in Action. | 2 | 0.38 | 2018 |
| Metrics for runtime detection of allocators in binaries. | 0 | 0.34 | 2017 |
| Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. | 3 | 0.36 | 2016 |
| Toward Large-Scale Vulnerability Discovery using Machine Learning. | 21 | 0.83 | 2016 |
| Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. | 2 | 0.37 | 2016 |
| BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis | 11 | 0.49 | 2016 |
| Specification of concretization and symbolization policies in symbolic execution. | 4 | 0.40 | 2016 |
| On the Expressiveness of some Runtime Validation Techniques. | 0 | 0.34 | 2014 |
| Statically detecting use after free on binary code. | 23 | 0.85 | 2014 |
| Combining Static and Dynamic Analysis for Vulnerability Detection | 2 | 0.38 | 2013 |
| Synchronous programming of device drivers for global resource control in embedded operating systems | 2 | 0.39 | 2013 |
| A Stack Model for Symbolic Buffer Overflow Exploitability Analysis | 1 | 0.37 | 2013 |
| Predictive Taint Analysis for Extended Testing of Parallel Executions. | 0 | 0.34 | 2013 |
| Finding Buffer Overflow Inducing Loops in Binary Executables | 9 | 0.65 | 2012 |
| What can you verify and enforce at runtime? | 31 | 1.14 | 2012 |
| More testable properties | 0 | 0.34 | 2012 |
| Politiques de gestion de protections pour l'implémentation de sections critiques. | 0 | 0.34 | 2012 |
| A Taint Based Approach for Smart Fuzzing | 17 | 0.94 | 2012 |
| Dynamic information-flow analysis for multi-threaded applications | 1 | 0.35 | 2012 |
| Finding Software Vulnerabilities by Smart Fuzzing | 21 | 1.20 | 2011 |
| Runtime enforcement monitors: composition, synthesis, and enforcement abilities | 45 | 1.35 | 2011 |
| Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results | 8 | 0.64 | 2011 |
| More Testable Properties | 6 | 0.49 | 2010 |
| Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences | 12 | 0.77 | 2010 |
| Enforcement monitoring wrt. the safety-progress classification of properties | 4 | 0.50 | 2009 |
| Runtime Verification of Safety-Progress Properties | 46 | 1.41 | 2009 |
| j-POST: a Java Toolchain for Property-Oriented Software Testing | 4 | 0.39 | 2008 |
| Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties | 17 | 0.79 | 2008 |
| A compositional testing framework driven by partial specifications | 7 | 0.64 | 2007 |
| Worst-case lifetime computation of a wireless sensor network by model-checking | 9 | 0.56 | 2007 |
| Test Generation from Security Policies Specified in Or-BAC | 22 | 0.99 | 2007 |
| Confirmation of deadlock potentials detected by runtime analysis | 27 | 1.02 | 2006 |
| Test generation for network security rules | 19 | 1.48 | 2006 |
| A test calculus framework applied to network security policies | 4 | 0.48 | 2006 |
| GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks | 18 | 0.95 | 2006 |
| A model-based approach for robustness testing | 18 | 0.90 | 2005 |
| Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings | 25 | 2.24 | 2004 |
| IF Validation Environment Tutorial | 6 | 0.56 | 2004 |
| Modeling CHP descriptions in labeled transitions systems for an efficient formal validation of asynchronous circuit specifications | 2 | 0.38 | 2003 |
| Property Oriented Test Case Generation | 15 | 0.70 | 2003 |
| IF-2.0: A Validation Environment for Component-Based Real-Time Systems | 67 | 2.77 | 2002 |
| Timed Extensions for SDL | 24 | 1.13 | 2001 |
| Automated Validation of Distributed Software Using the IF Environment | 14 | 1.00 | 2001 |
| Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems | 7 | 0.54 | 2000 |
