4 citations
- Centre Inria de l'Université Grenoble AlpesFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Laboratoire d'Informatique de GrenobleFR2 papers
- Université Grenoble AlpesFR2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Institute of EngineeringNP1 paper
- Institut polytechnique de GrenobleFR1 paper
5 papers
Is CADP an Applicable Formal Method?
Hubert Garavel, Frédéric Lang, Radu Mateescu +1
CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the e…
Proposal for Adding Useful Features to Petri-Net Model Checkers
Hubert Garavel
Solutions proposed for the longstanding problem of automatic decomposition of Petri nets into concurrent processes, as well as methods developed in Grenoble for the automatic conve…
The VLSAT-1 Benchmark Suite
Pierre Bouvier, Hubert Garavel
This report presents VLSAT-1 (an acronym for "Very Large Boolean SATisfiability problems"), the first part of a benchmark suite to be used in scientificexperiments and software com…
Bootstrap Aggregation for Point-based Generalized Membership Inference Attacks
Daniel L. Felps, Amelia D. Schwickerath, Joyce D. Williams +6
An efficient scheme is introduced that extends the generalized membership inference attack to every point in a model's training data set. Our approach leverages data partitioning t…
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm
Hubert Garavel, Lina Marsso
We present a term rewrite system that formally models the Message Authenticator Algorithm (MAA), which was one of the first cryptographic functions for computing a Message Authenti…