activity
20122026
most citedA non-local method for robustness analysis of floating point programs

10 citations · 19 across the 4 of their papers we have counts for

collaborators

5 papers

cs.LG2026

Uncovering Memorization in Timeseries Imputation models: LBRM Membership Inference and its link to attribute Leakage

Faiz Taleb, Ivan Gazeau, Maryline Laurent

Deep learning models for time series imputation are now essential in fields such as healthcare, the Internet of Things (IoT), and finance. However, their deployment raises critical…

cs.LG2025

A new membership inference attack that spots memorization in generative and predictive models: Loss-Based with Reference Model algorithm (LBRM)

Faiz Taleb, Ivan Gazeau, Maryline Laurent

Generative models can unintentionally memorize training data, posing significant privacy risks. This paper addresses the memorization phenomenon in time series imputation models, i…

cs.CR2017

Types for Location and Data Security in Cloud Environments

Ivan Gazeau, Tom Chothia, Dominic Duggan

Cloud service providers are often trusted to be genuine, the damage caused by being discovered to be attacking their own customers outweighs any benefits such attacks could reap. O…

cs.DB2013★ 9 cited

Preserving differential privacy under finite-precision semantics

Ivan Gazeau, Dale Miller, Catuscia Palamidessi

The approximation introduced by finite-precision representation of continuous data can induce arbitrarily large information leaks even when the computation using exact semantics is…

cs.PL2012★ 10 cited

A non-local method for robustness analysis of floating point programs

Ivan Gazeau, Dale Miller, Catuscia Palamidessi

Robustness is a standard correctness property which intuitively means that if the input to the program changes less than a fixed small amount then the output changes only slightly.…