2 papers
cs.CL2022
Distributed Transition Systems with Tags for Privacy Analysis
Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
We present a logical framework that formally models how a given private information P stored on a given database D, can get captured progressively, by an agent/adversary querying t…
cs.CR2015
Key Exchange Protocol in the Trusted Data Servers Context
Quoc-Cuong To, Benjamin Nguyen, Philippe Pucheral
The aim of this technical report is to complement the work in [To et al. 2014] by proposing a Group Key Exchange protocol so that the Querier and TDSs (and TDSs themselves) can sec…