Thomas Genet

55
Documents

Publications

Publications

Deposit thumbnail

Regular Language Type Inference with Term Rewriting - extended version

Timothée Haudebourg , Thomas Genet , Thomas Jensen

Proceedings of the ACM on Programming Languages, 2020, International Conference on Functional Programming (ICFP), 4 (ICFP), pp.1-29. ⟨10.1145/3408994⟩

Article dans une revue hal-02795484v1
Deposit thumbnail

Reachability Analysis of Innermost Rewriting - extended version

Thomas Genet , Yann Salmon

Logical Methods in Computer Science, 2017, ⟨10.2168/LMCS-???⟩

Article dans une revue hal-01532090v1
Deposit thumbnail

Termination criteria for tree automata completion

Thomas Genet

Journal of Logical and Algebraic Methods in Programming, 2016, 85, Issue 1, part 1, pp.3-33. ⟨10.1016/j.jlamp.2015.05.003⟩

Article dans une revue hal-01194533v1
Deposit thumbnail

Equational Approximations for Tree Automata Completion

Thomas Genet , Vlad Rusu

Journal of Symbolic Computation, 2010, 45(5):574-597, May 2010 (5), pp.574-597

Article dans une revue inria-00495405v1

Le protocole cryptographique de paiement par carte bancaire

Thomas Genet

Interstices, 2008

Article dans une revue inria-00335338v1
Deposit thumbnail

Finding Regular Herbrand Models for CHCs using Answer Set Programming

Grégoire Maire , Thomas Genet

HCVS 2025 - 12th Workshop on Horn Clauses for Verification and Synthesis, Emanuele De Angelis, Florian Frohn, Jul 2025, Zagreb, Croatia

Communication dans un congrès hal-05459509v1
Deposit thumbnail

Verification of programs with ADTs using Shallow Horn Clauses

Théo Losekoot , Thomas Genet , Thomas Jensen

Static Analysis Symposium, Roberto Giacobazzi, Alessandra Gorla, Oct 2024, Pasadena (CA), United States

Communication dans un congrès hal-04820358v1
Deposit thumbnail

Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures

Théo Losekoot , Thomas Genet , Thomas Jensen

FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jun 2023, Rome, Italy. pp.1-21, ⟨10.4230/LIPIcs.FSCD.2023.7⟩

Communication dans un congrès hal-04216680v1
Deposit thumbnail

Termination of Ethereum’s Smart Contracts

Thomas Genet , Thomas Jensen , Justine Sauvage

SECRYPT 2020 - 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris / Virtual, France. pp.39-51, ⟨10.5220/0009564100390051⟩

Communication dans un congrès hal-03122008v1
Deposit thumbnail

Completeness of Tree Automata Completion

Thomas Genet

FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction, Jul 2018, Oxford, United Kingdom. pp.1-20, ⟨10.4230/LIPIcs.FSCD.2018.15⟩

Communication dans un congrès hal-01778407v1

Automata and Equations based Approximations for Reachability Analysis

Thomas Genet

WRLA 2018 - 12th International Workshop on Rewriting Logic and its Applications, Apr 2018, Thessalonique, Greece. pp.1

Communication dans un congrès hal-01775202v1
Deposit thumbnail

Vérifier des fonctions d'ordre supérieur à l'aide d'automates d'arbre

Thomas Genet , Timothée Haudebourg , Thomas Jensen

17èmes Journées AFADL 2018 - Approches Formelles dans l'Assistance au Développement de Logiciels, May 2018, Grenoble, France. pp.1-3

Communication dans un congrès hal-01790916v1
Deposit thumbnail

Extending Timbuk to Verify Functional Programs

Thomas Genet , Tristan Gillard , Timothée Haudebourg , Sébastien Lê Cong

WRLA 2018 - 12th International Worshop on Rewriting Logic and its Applications, Apr 2018, Thessalonique, Greece. pp.153-163, ⟨10.1007/978-3-319-99840-4_9⟩

Communication dans un congrès hal-01775190v1
Deposit thumbnail

GPFinder: Tracking the Invisible in Android Malware

Mourad Leslous , Valérie Viet Triem Tong , Jean-François Lalande , Thomas Genet

12th International Conference on Malicious and Unwanted Software, Oct 2017, Fajardo, Puerto Rico. pp.39-46, ⟨10.1109/MALWARE.2017.8323955⟩

Communication dans un congrès hal-01584989v1
Deposit thumbnail

Reachability Analysis of Innermost Rewriting

Thomas Genet , Yann Salmon

Rewriting Techniques and Applications 2015, 2015, Warshaw, Poland

Communication dans un congrès hal-01194530v1
Deposit thumbnail

Kharon : Découvrir, comprendre et reconnaître des malware Android par suivi de flux d'information

Radoniaina Andriatsimandefitra Ratsisahanana , Thomas Genet , Laurent Guillo , Jean-François Lalande , David Pichardie et al.

Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2015, Troyes, France

Communication dans un congrès hal-01154368v1
Deposit thumbnail

Vers un outil de vérification formelle légere pour OCaml

Thomas Genet , Barbara Kordy , Amaury Vansyngel

AFADL, 2015, Bordeaux, France. pp.6

Communication dans un congrès hal-01194538v1
Deposit thumbnail

Towards Static Analysis of Functional Programs Using Tree Automata Completion

Thomas Genet

Workshop on Rewriting Logic and its Applications, Santiago Escobar, Apr 2014, Grenoble, France. pp.147 - 161, ⟨10.1007/978-3-319-12904-4_8⟩

Communication dans un congrès hal-01089993v1

A completion algorithm for lattice tree automata

Thomas Genet , Tristan Le Gall , Axel Legay , Valérie Murat

CIAA 2013 - 18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, NS, Canada. pp.134-145, ⟨10.1007/978-3-642-39274-0_13⟩

Communication dans un congrès istex cea-01834984v1
Deposit thumbnail

Equational Abstraction Refinement for Certified Tree Regular Model Checking

Yohan Boichut , Benoit Boyer , Thomas Genet , Axel Legay

ICFEM, Nov 2012, Kyoto, Japan. pp.299-315

Communication dans un congrès hal-00759149v1
Deposit thumbnail

Proving Reachability Properties on Term Rewriting Systems with Strategies

Thomas Genet , Yann Salmon

Workshop on Strategies in Rewriting, Proving and Programming, 2012, London, United Kingdom

Communication dans un congrès hal-01111038v1
Deposit thumbnail

Verifying Temporal Regular properties of Abstractions of Term Rewriting Systems

Benoît Boyer , Thomas Genet

RULE'09, 2009, France. pp.99-108

Communication dans un congrès hal-00780491v1
Deposit thumbnail

On the Unobservability of a Trust Relation in Mobile Ad Hoc Networks

Olivier Heen , Gilles Guette , Thomas Genet

Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks, 2009, Belgium. pp.1-11

Communication dans un congrès hal-00780724v1
Deposit thumbnail

Towards an Efficient Implementation of Tree Automata Completion

Emilie Balland , Yohan Boichut , Thomas Genet , Pierre-Etienne Moreau

12th International Conference on Algebraic Methodology and Software Technology - AMAST'08, Jul 2008, Urbana, Illinois, United States. pp.67-82

Communication dans un congrès inria-00304010v1

Rewriting Approximations for Fast Prototyping of Static Analyzers

Yohan Boichut , Thomas Genet , Thomas P. Jensen , Luka Le Roux

Rewriting Techniques and Applications, 2007, France. pp.48-62

Communication dans un congrès hal-00463418v1

Using Animation to Improve Formal Specifications of Security Protocols

Yohan Boichut , Thomas Genet , Olivier Heen , Yann Glouche

The 2nd National Conference on Security in Network Architectures and Information Systems, 2007, France

Communication dans un congrès hal-00468718v1

Feasible Trace Reconstruction for Rewriting Approximations

Yohan Boichut , Thomas Genet

RTA'2006, Aug 2006, Seattle, United States. pp.123-135

Communication dans un congrès hal-00463426v1
Deposit thumbnail

Decidable Approximations of Sets of Descendants and Sets of Normal forms

Thomas Genet

9th Conference on Rewriting Techniques and Applications, 1998, Tsukuba, Japan, pp.151-165

Communication dans un congrès inria-00098700v1
Deposit thumbnail

Complete Abstractions for Verification of Polymorphic Functions with Equality -- extended version

Malo Revel , Thomas Genet , Thomas Jensen

IRISA. 2026

Rapport hal-05454439v2
Deposit thumbnail

Termination of Ethereum's Smart Contracts

Thomas Genet , Thomas Jensen , Justine Sauvage

[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2020

Rapport (rapport de recherche) hal-02555738v3
Deposit thumbnail

Automata Completion and Regularity Preservation

Thomas Genet

[Research Report] IRISA, Inria Rennes. 2017

Rapport (rapport de recherche) hal-01501744v3
Deposit thumbnail

A Short Isabelle Tutorial for the Functional Programmer

Thomas Genet , Jørgen Villadsen

[Research Report] IRISA. 2017, pp.1-5

Rapport (rapport de recherche) hal-01208577v9
Deposit thumbnail

Verifying Higher-Order Functions with Tree Automata: Extended Version

Thomas Genet , Timothée Haudebourg , Thomas Jensen

[Technical Report] Irisa. 2017, pp.1-20

Rapport (rapport technique) hal-01614380v4
Deposit thumbnail

A Short SPAN+AVISPA Tutorial

Thomas Genet

[Research Report] IRISA. 2015

Rapport (rapport de recherche) hal-01213074v5
Deposit thumbnail

A Note on the Precision of the Tree Automata Completion

Thomas Genet

[Research Report] IRISA. 2014, pp.13

Rapport (rapport de recherche) hal-01091393v1
Deposit thumbnail

Reachability Analysis of Innermost Rewriting

Thomas Genet , Yann Salmon

[Research Report] 2013

Rapport (rapport de recherche) hal-00848260v5
Deposit thumbnail

Tree Automata Completion for Static Analysis of Functional Programs

Thomas Genet , Yann Salmon

2013

Rapport hal-00780124v2
Deposit thumbnail

Towards Static Analysis of Functional Programs using Tree Automata Completion

Thomas Genet

[Research Report] 2013, pp.15

Rapport (rapport de recherche) hal-00921814v1
Deposit thumbnail

Tree Regular Model Checking for Lattice-Based Automata

Thomas Genet , Tristan Le Gall , Axel Legay , Valérie Murat

[Technical Report] RT-0424, INRIA. 2012, pp.33

Rapport (rapport technique) hal-00687310v2
Deposit thumbnail

Equational Abstraction Refinement for Certified Tree Regular Model Checking

Yohan Boichut , Benoît Boyer , Thomas Genet , Axel Legay

[Technical Report] 2010

Rapport (rapport technique) inria-00501487v2
Deposit thumbnail

Certifying a Tree Automata Completion Checker

Benoît Boyer , Thomas Genet , Thomas Jensen

[Research Report] RR-6462, INRIA. 2008, pp.26

Rapport (rapport de recherche) inria-00258275v3
Deposit thumbnail

Rewriting for Fast Prototyping of Static Analyzers

Yohan Boichut , Thomas Genet , Thomas Jensen , Luka Leroux

[Research Report] RR-5997, INRIA. 2006, pp.20

Rapport (rapport de recherche) inria-00106330v2
Deposit thumbnail

Reachability Analysis over Term Rewriting Systems

Guillaume Feuillade , Thomas Genet , Valérie Viet Triem Tong

[Research Report] RR-4970, INRIA. 2003

Rapport (rapport de recherche) inria-00071609v1
Deposit thumbnail

Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation

Thomas Genet , Valérie Viet Triem Tong

[Research Report] RR-4576, INRIA. 2002

Rapport (rapport de recherche) inria-00072012v1
Deposit thumbnail

Reachability Analysis of Term Rewriting Systems with Timbuk

Thomas Genet , Valérie Viet Triem Tong

[Research Report] RR-4266, INRIA. 2001

Rapport (rapport de recherche) inria-00072321v1
Deposit thumbnail

Rewriting for Cryptographic Protocol Verification - Extended Version

Thomas Genet , Francis Klay

[Research Report] RR-3921, INRIA. 2000

Rapport (rapport de recherche) inria-00072731v1

Induction for Termination

Isabelle Gnaedig , Hélène Kirchner , Thomas Genet

[Intern report] 99-R-338 || gnaedig99a, 1999, pp.21

Rapport inria-00098943v1
Deposit thumbnail

Decidable Approximations of Sets of Descendants and Sets of Normal Forms - extended version

Thomas Genet

[Research Report] RR-3325, INRIA. 1997, pp.28

Rapport (rapport de recherche) inria-00073364v1
Deposit thumbnail

Termination Proofs Using gpo Ordering Constraints : Extended Version

Thomas Genet , Isabelle Gnaedig

[Research Report] RR-3087, INRIA. 1997, pp.37

Rapport (rapport de recherche) inria-00073604v1