Skip to Main content Skip to Navigation

hal-01674096v2  Conference papers
Karthikeyan BhargavanAntoine Delignat-LavaudCédric FournetMarkulf KohlweissJianyang Pan et al.  Implementing and Proving the TLS 1.3 Record Layer
SP 2017 - 38th IEEE Symposium on Security and Privacy, May 2017, San Jose, United States. pp.463-482, ⟨10.1109/SP.2017.58⟩
hal-01673853v2  Documents associated with scientific events
Karthikeyan BhargavanIoana BoureanuPierre-Alain FouqueCristina OneteBenjamin Richard. Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL
EuroS&P 2017 - 2nd IEEE European Symposium on Security and Privacy, Apr 2017, Paris, France. IEEE, pp.600-615, 2017, ⟨10.1109/EuroSP.2017.52⟩
hal-01588421v2  Conference papers
Jean-Karim ZinzindohouéKarthikeyan BhargavanJonathan ProtzenkoBenjamin Beurdouche. HACL * : A Verified Modern Cryptographic Library
ACM Conference on Computer and Communications Security (CCS), Oct 2017, Dallas, United States
hal-01896731v1  Journal articles
Philippe DjondinéJean-Pierre Barbot. Dynamical Properties and Chaos of the Multicellular Converter Associated With a Nonlinear Load
International Journal of Advanced Research in Electrical, Electronics and Instrumentation Engineering, SPS Publications, 2017, 6 (11), pp.8014-8022. ⟨10.15662/IJAREEIE.2017.0611018⟩
hal-01848431v1  Documents associated with scientific events
Emmanuel PietrigaOlivier Chapuis. Monitoring Air Quality in Korea's Metropolises on Ultra-High Resolution Wall-Sized Displays
International Workshop on Urban Data Science and Technology at Asia Data Week, Nov 2017, Jeju, South Korea
hal-01504624v1  Conference papers
Agata SavaryCarlos RamischSilvio CordeiroFederico SangatiVeronika Vincze et al.  The PARSEME Shared Task on Automatic Identification of Verbal Multiword Expressions
MWE 2017 - Proceedings of the 13th Workshop on Multiword Expressions, Apr 2017, Valencia, Spain. pp.31 - 47
tel-01670352v2  Theses
Romain Horsin. Comportement en temps long d'équations de type Vlasov : études mathématiques et numériques
Equations aux dérivées partielles [math.AP]. Université Rennes 1, 2017. Français. ⟨NNT : 2017REN1S062⟩
hal-01556289v1  Book sections
Martin SerranoAmelie GyrardMichael BonifacePaul GraceNikolaos Georgantas et al.  Cross-Domain Interoperability Using Federated Interoperable Semantic IoT/Cloud Testbeds and Applications: The FIESTA-IoT Approach
Building the Future Internet through FIRE 2016 FIRE Book: A Research and Experiment based Approach, River Publishers, 2017, 978-87-93519-11-4
hal-01660580v1  Conference papers
Imen Ben OthmaneJoseph Di MartinoKaïs Ouni. Enhancement of esophageal speech using voice conversion techniques
International Conference on Natural Language, Signal and Speech Processing - ICNLSSP 2017, Dec 2017, Casablanca, Morocco
hal-01648694v1  Conference papers
Russell BradfordJames DavenportMatthew EnglandHassan ErramiVladimir Gerdt et al.  A Case Study on the Parametric Occurrence of Multiple Steady States
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.45-52, ⟨10.1145/3087604.3087622⟩
tel-01677884v2  Habilitation à diriger des recherches
Sara Alouf. From Wireless Networks to Green IT - A Journey Through Stochastic Models and Tools
Networking and Internet Architecture [cs.NI]. Université Côte D'Azur, 2017
hal-02514840v1  Conference papers
Mohsen SaidiAmani GhanmiFaouzi SlimaniSamir GhanmiAbel Cherouat. Étude de l’élaboration des matériaux bio-composites en utilisant les fibres de palmiers dattiers
Conference: Design and Modelling of Mechanical Systems, Mar 2017, Hammamet, Tunisie
tel-02092297v1  Theses
Rudyar Cortés. Scalable location-temporal range query processing for structured peer-to-peer networks
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066106⟩
tel-01817612v1  Theses
Vinh Tao Thanh. Ensuring availability and managing consistency in geo-replicated file systems
Systems and Control [cs.SY]. Université Pierre et Marie Curie - Paris VI, 2017. English. ⟨NNT : 2017PA066521⟩
hal-01614892v1  Journal articles
Jonatha Anselmi. Asymptotically optimal open-loop load balancing
Queueing Systems, Springer Verlag, 2017, pp.1-23. ⟨10.1007/s11134-017-9547-9⟩
hal-01676007v1  Journal articles
Jean ThoreyVivien MalletPaul Baudin. Online learning with the Continuous Ranked Probability Score for ensemble forecasting
Quarterly Journal of the Royal Meteorological Society, Wiley, 2017, 143 (702), pp.521 - 529. ⟨10.1002/qj.2940⟩
hal-01167837v2  Journal articles
Catherine MatiasVincent Miele. Statistical clustering of temporal networks through a dynamic stochastic block model
Journal of the Royal Statistical Society: Series B, Royal Statistical Society, 2017, 79 (4), pp.1119-1141. ⟨10.1111/rssb.12200⟩
hal-01274645v1  Journal articles
Benoîte de SaportaFrançois DufourChristophe Nivot. Partially observed optimal stopping problem for discrete-time Markov processes
4OR: A Quarterly Journal of Operations Research, Springer Verlag, 2017, 15, pp.277-302. ⟨10.1007/s10288-016-0337-8⟩