Skip to Main content Skip to Navigation

Search by documents

hal-00919227v1  Conference papers
Nathanaël AubertMohamed Ali AyachiChristophe BidanNicolas Prigent. The Hecate Attack
SAR-SSI 2013, Sep 2013, Mont de Marsan, France. pp.205-215
hal-00606014v1  Conference papers
Guillaume AucherCatherine Barreau-SaliouGuido BoellaAnnie BlandinSébastien Gambs et al.  The Coprelobri project: the logical approach to privacy
2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France
hal-01189596v1  Conference papers
Yves MocquardEmmanuelle AnceaumeJames AspnesYann BusnelBruno Sericola. Counting with Population Protocols
2015 IEEE 14th International Symposium on Network Computing and Applications, IEEE, Sep 2015, Cambridge, United States. pp.9, ⟨10.1109/nca.2015.35⟩
hal-03114583v1  Conference papers
Yuting WangXiangzhen XuPierre WilkeZhong Shao. CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
PACMPL 2020 - Proceedings of the ACM on Programming Languages, Nov 2020, Chicago, United States. pp.1-28