output
20172021
most citedA Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm

4 citations

researchers with a paper here
collaborating institutions
Showing 2020Show all

2 papers · 1 filter

cs.DS2020★ 1 cited

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…

cs.CR2020

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…