Skip to Main content Skip to Navigation

hal-01426852v1  Conference papers
Kelsey CairnsHarry HalpinGraham Steel. Security Analysis of the W3C Web Cryptography API
Proceedings of Security Standardisation Research (SSR), Dec 2017, Gaithersberg, United States. pp.112 - 140, ⟨10.1007/978-3-319-49100-4_5⟩
hal-01161759v4  Journal articles
K. S. Sesh KumarFrancis Bach. Active-set Methods for Submodular Minimization Problems
Journal of Machine Learning Research, Microtome Publishing, 2017, pp.1-31
hal-01278214v1  Journal articles
Pierre-Louis CurienJovana Obradovic. A formal language for cyclic operads
Higher Structures, Macquarie University 2017
hal-01666797v1  Conference papers
Adilla SusungiNorman A. RinkJeronimo CastrillonImmo HuismannAlbert Cohen et al.  Towards Compositional and Generative Tensor Optimizations
GPCE 2017 - 16th International Conference on Generative Programming: Concepts & Experience, Oct 2017, Vancouver, Canada. pp.Pages 169-175
hal-01613794v1  Conference papers
Marc BeunardeauAisling ConnollyHouda FerradiRémi GéraudDavid Naccache et al.  Reusing Nonces in Schnorr Signatures
Computer Security - ESORICS 2017, Sep 2017, Oslo, Norway. pp.224-241, ⟨10.1007/978-3-319-66402-6_14⟩
hal-01540785v1  Conference papers
Ludovic Le FriouxSouheib BaarirJulien SopenaFabrice Kordon. PaInleSS: a Framework for Parallel SAT Solving.
The 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia. pp.233-250, ⟨10.1007/978-3-319-66263-3_15⟩
hal-01613773v1  Conference papers
Sonia BelaidFabrice BenhamoudaAlain PasselègueEmmanuel ProuffAdrian Thillard et al.  Private Multiplication over Finite Fields
Advances in Cryptology - CRYPTO 2017, Aug 2017, Santa Barbara, United States. pp.397-426, ⟨10.1007/978-3-319-63697-9_14⟩
hal-01968436v1  Journal articles
George BosilcaAurelien BouteillerAmina GuermoucheThomas HeraultYves Robert et al.  A failure detector for HPC platforms
International Journal of High Performance Computing Applications, SAGE Publications, 2017, 32 (1), pp.139-158. ⟨10.1177/1094342017711505⟩
hal-01555711v1  Conference papers
Julia LawallGilles Muller. JMake: Dependable Compilation for Kernel Janitors
The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, IEEE/IFIP, Jun 2017, Denver,Colorado, United States. ⟨10.1109/DSN.2017.62⟩
hal-01519132v1  Conference papers
Benjamin BilletValerie IssarnyGéraldine Texier. Composing Continuous Services in a CoAP-based IoT
AIMS - 6th IEEE International Conference on AI & Mobile Services, Jun 2017, Honolulu, United States
hal-01511559v1  Conference papers
Denis JeanneauThibault RieutordLuciana ArantesPierre Sens. Détecteur de fautes pour le k-accord dans les systèmes inconnus et dynamiques
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
hal-01672707v1  Conference papers
Karthikeyan BhargavanBarry BondAntoine Delignat‐lavaudCédric FournetChris Hawblitzel et al.  Everest: Towards a Verified, Drop‐in Replacement of HTTPS
2nd Summit on Advances in Programming Languages (SNAPL), May 2017, Asilomar, CA, United States. ⟨10.4230/LIPIcs.SNAPL.2017.1⟩
hal-01471901v1  Conference papers
Geoffroy CouteauThomas PetersDavid Pointcheval. Removing the Strong RSA Assumption from Arguments over the Integers
EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2017, Paris, France. ⟨10.1007/978-3-319-56614-6_11⟩
hal-01511360v1  Conference papers
Jonathan LejeuneFrederico AlvaresThomas Ledoux. Towards a generic autonomic model to manage Cloud Services
The 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), Apr 2017, Porto, Portugal. pp.175-186, ⟨10.5220/0006302801750186⟩
hal-01515359v1  Conference papers
Gauthier VoronGaël ThomasVivien QuemaPierre Sens. An interface to implement NUMA policies in the Xen hypervisor
Twelfth European Conference on Computer Systems, EuroSys 2017, Apr 2017, Belgrade, Serbia. pp.15
hal-01408657v2  Conference papers
Arthur CharguéraudFrançois Pottier. Temporary Read-Only Permissions for Separation Logic
Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
hal-02357978v1  Conference papers
Thomas EhrhardPierre BoutillierJean Krivine. Incremental Update for Graph Rewriting
European Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩
hal-01471876v1  Conference papers
David PointchevalOlivier SandersJacques Traoré. Cut Down the Tree to Achieve Constant Complexity in Divisible E-Cash
Public-Key Cryptography - PKC 2017 - 20th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.61-90, ⟨10.1007/978-3-662-54365-8_4⟩
hal-01471896v1  Conference papers
Michel AbdallaFabrice BenhamoudaDavid Pointcheval. Removing Erasures with Explainable Hash Proof Systems
Public-Key Cryptography - PKC 2017 - 20th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2017, Amsterdam, Netherlands. pp.151-174, ⟨10.1007/978-3-662-54365-8_7⟩
hal-01515369v1  Conference papers
Janine KniessLuciana ArantesPierre SensCélio Albuquerque. Saving Resources in Discovery Protocol on Delay-Sensitive Rescue Mobile Networks
The 31st IEEE International Conference on. Advanced Information Networking and Applications (AINA-2017), Mar 2017, Tapei, Taiwan
hal-01441264v1  Conference papers
Mohamed HaddedPaul MuhlethalerAnis LaouitiLeila Azouz Saidane. TDMA-aware Routing Protocol for Multi-hop Communications in Vehicular Ad Hoc Networks
WCNC 2017 - IEEE Wireless Communications and Networking Conference, Mar 2017, San Francisco, United States
hal-01419907v1  Poster communications
Tadanori MatsuiGeorgios PapadopoulosPascal ThubertThomas WatteyneNicolas Montavont. Poster: 4th Industrial Revolution: Toward Deterministic Wireless Industrial Networks
EWSN 2017 : International Conference on Embedded Wireless Systems and Networks, Feb 2017, Uppsala, Sweden. 2017
hal-01399482v1  Conference papers
Daniel KästnerXavier LeroySandrine BlazyBernhard SchommerMichael Schmidt et al.  Closing the Gap – The Formally Verified Optimizing Compiler CompCert
SSS'17: Safety-critical Systems Symposium 2017, Feb 2017, Bristol, United Kingdom. pp.163-180