Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
labStructName_s : Inria Nancy - Grand Est
labStructName_s : Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
Image document

Verification of concurrent design patterns with data

Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Capturing Privacy-preserving User Contexts with IndoorHash

Lakhdar Meftah , Romain Rouvoy , Isabelle Chrisment
DAIS 2020 - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. ⟨10.1007/978-3-030-50323-9_2⟩
Conference papers hal-02541391v1
Image document

FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps

Lakhdar Meftah , Romain Rouvoy , Isabelle Chrisment
DAIS 2019 - 19th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2019, Kongens Lyngby, Denmark. pp.116-132, ⟨10.1007/978-3-030-22496-7_8⟩
Conference papers hal-02121311v1