Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes.

David Baelde Alexandre Debant Stéphanie Delaune

Published in: CSF (2023)

Keyphrases

business intelligence
computational models
database
real time
data sets
image segmentation
similarity measure
mobile robot