Filter your results
- 138
- 31
- 109
- 22
- 19
- 11
- 2
- 2
- 1
- 1
- 1
- 1
- 160
- 6
- 1
- 1
- 18
- 26
- 27
- 23
- 21
- 13
- 22
- 15
- 1
- 1
- 1
- 157
- 12
- 169
- 169
- 11
- 10
- 7
- 6
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 39
- 29
- 21
- 20
- 18
- 17
- 14
- 10
- 10
- 9
- 9
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Formal Verification of Loop Bound Estimation for WCET AnalysisVSTTE - Verified Software: Theories, Tools and Experiments, Natarajan Shankar, May 2013, Menlo Park, United States. pp.281-303
Conference papers
hal-00848703v1
|
||
|
Statistical Properties of Short RSA Distribution and Their Cryptographic ApplicationsComputing and Combinatorics, Aug 2014, Atlanta, United States. pp.525 - 536, ⟨10.1007/978-3-319-08783-2_45⟩
Conference papers
hal-01094059v1
|
||
|
HOCore in CoqInteractive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_19⟩
Conference papers
hal-01243017v1
|
||
|
Verified static analyzes for low-level languagesProgramming Languages [cs.PL]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S078⟩
Theses
tel-01285624v1
|
||
|
Hybrid Monitoring of Attacker Knowledge29th IEEE Computer Security Foundations Symposium, 2016, Lisboa, Portugal
Conference papers
hal-01310572v1
|
||
|
Formal Verification of an SSA-based Middle-end for CompCert[University works] 2011
Reports
inria-00634702v3
|
||
|
Recovering Private Keys Generated with Weak PRNGsCryptography and Coding - 14th {IMA} International Conference, Dec 2013, Oxford, United Kingdom. pp.158 - 172, ⟨10.1007/978-3-642-45239-0_10⟩
Conference papers
hal-01094296v1
|
||
|
De la KAM avec un Processus d'Ordre SupérieurJFLAs 2014, Jan 2014, Fréjus, France. pp.1-12
Conference papers
hal-00966097v2
|
||
|
Dioïdes et idéaux de polynômes en analyse statiqueAutre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. Français. ⟨NNT : 2012DENS0004⟩
Theses
tel-00881301v1
|
||
|
Howe's Method for Contextual SemanticsCONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩
Conference papers
hal-01192699v1
|
||
|
Scenario realizability with constraint optimization[Research Report] 2013
Reports
hal-00769656v1
|
||
|
Tree Regular Model Checking for Lattice-Based Automata[Technical Report] RT-0424, INRIA. 2012, pp.33
Reports
hal-00687310v2
|
||
|
Equational Abstraction Refinement for Certified Tree Regular Model CheckingICFEM, Nov 2012, Kyoto, Japan. pp.299-315
Conference papers
hal-00759149v1
|
||
|
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. ProceedingsBlazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David. Springer, 7998, pp.500, 2013, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-39634-2⟩
Books
hal-00908865v1
|
||
|
Measuring the Robustness of Source Program Obfuscation - Studying the Impact of Compiler Optimizations on the Obfuscation of C ProgramsFourth ACM Conference on Data and Application Security and Privacy - SIGSAC ACM CODASPY 2014, Mar 2014, San Antonio, United States
Conference papers
hal-00927427v1
|
||
|
Equational Approximations for Tree Automata CompletionJournal of Symbolic Computation, 2010, 45(5):574-597, May 2010 (5), pp.574-597
Journal articles
inria-00495405v1
|
||
|
Dynamic optimization of interval narrowing algorithmsJournal of Logic Programming, 1998, 37 (1-3), pp.165-183. ⟨10.1016/S0743-1066(98)10007-9⟩
Journal articles
inria-00540302v1
|
||
|
Control-flow analysis of function call and returns by abstract interpretationACM International Conference on Functional Programming, Sep 2009, Edinburgh, United Kingdom. ⟨10.1145/1596550.1596592⟩
Conference papers
inria-00574944v1
|
||
A Certified Data Race Analysis for a Java-like LanguageTPHOL'09, 2009, Germany. pp.212--227
Conference papers
hal-00465547v1
|
|||
|
On Testing Constraint Programs[Research Report] RR-7291, INRIA. 2010
Reports
inria-00483410v1
|
||
|
Using JavaScript Monitoring to Prevent Device Fingerprinting2016
Other publications
hal-01353997v1
|
||
|
Formal Verification of an SSA-based Middle-end for CompCertACM Transactions on Programming Languages and Systems (TOPLAS), 2014, 36 (1), pp.35. ⟨10.1145/2579080⟩
Journal articles
hal-01097677v1
|
||
|
Verifying Temporal Regular properties of Abstractions of Term Rewriting SystemsRULE'09, 2009, France. pp.99-108
Conference papers
hal-00780491v1
|
||
|
Inference of polynomial invariants for imperative programs: a farewell to Gröbner basesScience of Computer Programming, 2014, 93, pp.21. ⟨10.1016/j.scico.2014.02.028⟩
Journal articles
hal-00932351v1
|
||
|
Extensions des automates d'arbres pour la vérification de systèmes à états infinisPerformance et fiabilité [cs.PF]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S033⟩
Theses
tel-01065696v1
|
||
|
Filtering by ULP MaximumProc. of the IEEE Int. Conf. on Tools for Artificial Intelligence (ICTAI'11), Nov 2011, Floride, United States
Conference papers
hal-00699565v1
|
||
|
Constraint-Based Test Input Generation for Java BytecodeProc. of the 21st IEEE Int. Symp. on Softw. Reliability Engineering (ISSRE'10), Nov 2010, San Jose, CA, USA, United States
Conference papers
hal-00699236v1
|
||
|
Contributions à la génération de tests à base de contraintesGénie logiciel [cs.SE]. Université Européenne de Bretagne, 2011
Habilitation à diriger des recherches
tel-00699260v1
|
||
Correlating Structured Inputs and Outputs in Functional SpecificationsSoftware Engineering and Formal Methods, Jul 2016, Vienna, Austria. pp.19, ⟨10.1007/978-3-319-41591-8_7⟩
Conference papers
hal-01394178v1
|
|||
|
Attacking RSA–CRT Signatures with Faults on Montgomery MultiplicationCryptographic Hardware and Embedded Systems - {CHES} 2012, Sep 2012, Leuven, Belgium. pp.16, ⟨10.1007/978-3-642-33027-8_26⟩
Conference papers
hal-01094316v1
|