Search - Archive ouverte HAL Access content directly

Filter your results

381 Results
Structure: Internal structure identifier : 50592
Image document

Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL

Karthikeyan Bhargavan , Ioana Boureanu , Pierre-Alain Fouque , Cristina Onete , Benjamin Richard et al.
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⟩
Documents associated with scientific events hal-01673853v2
Image document

A Formal Treatment of Accountable Proxying over TLS

Karthikeyan Bhargavan , Ioana Boureanu , Antoine Delignat-Lavaud , Pierre-Alain Fouque , Cristina Onete et al.
SP 2018 - IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States
Conference papers hal-01948722v1

Water-Transferred, Inkjet-Printed Supercapacitors toward Conformal and Epidermal Energy Storage

Pavlos Giannakou , Mehmet O Tas , Brice Le Borgne , Maxim Shkunov
ACS Applied Materials & Interfaces, 2020, 12 (7), pp.8456-8465. ⟨10.1021/acsami.9b21283⟩
Journal articles hal-02590667v1
Image document

Machine-checked proofs for electronic voting: privacy and verifiability for Belenios

Véronique Cortier , Constantin Catalin Dragan , François Dupressoir , Bogdan Warinschi
CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom
Conference papers hal-01900081v1
Image document

RemoveDebris Preliminary Mission Results

Ben Taylor , Guglielmo Aglietti , Simon Fellowes , Thierry Salmon , Alexander Hall et al.
IAC 2018 - 69th International Astronautical Congress, Oct 2018, Bremen, Germany. pp.1-8
Conference papers hal-01888659v1

Short Length Non-binary Rate-Adaptive LDPC Codes for Slepian-Wolf Source Coding

Zeina Mheich , Elsa Dupraz
WCNC 2018 : IEEE Wireless Communications and Networking Conference, Apr 2018, Barcelone, Spain. ⟨10.1109/WCNC.2018.8377291⟩
Conference papers hal-01721764v1

Non-radiative recombination mechanisms in 2.37 µm InGaAsSb/GaSb lasers

K. O'Brien , S.J. Sweeney , A.R. Adams , B.N. Murdin , S.R. Jin et al.
International Conference on Mid-Infrared Optoelectronics Materials and Devices (MIOMD), 2005, Lancaster, United Kingdom
Conference papers hal-01798569v1

Computing the Maslov index of solitary waves. Part 2:Phase space with dimension greater than four

Frédéric Chardard , Frédéric Dias , Thomas Bridges
Physica D: Nonlinear Phenomena, 2011, 240 (17), p.1334-1344. ⟨10.1016/j.physd.2011.05.014⟩
Journal articles hal-00793165v1
Image document

Shape of $^{44}$Ar: Onset of deformation in neutron rich nuclei near $^{48}$Ca

M. Zielinska , A. Görgen , E. Clément , J. P. Delaroche , M. Girod et al.
Physical Review C, 2009, 80, pp.014317. ⟨10.1103/PhysRevC.80.014317⟩
Journal articles in2p3-00403065v1
Image document

Computational intelligence modelling of pharmaceutical tabletting processes using bio-inspired optimization algorithms

Hossam Zawbaa , Serena Schiano , Lucia Perez-Gandarillas , Crina Grosan , Abderrahim Michrafy et al.
Advanced Powder Technology, 2018, 29 (12), p.2966-2977. ⟨10.1016/j.apt.2018.11.008⟩
Journal articles hal-01944490v1
Image document

Polyphonic Sound Event Tracking using Linear Dynamical Systems

Emmanouil Benetos , Grégoire Lafay , Mathieu Lagrange , Mark D Plumbley
IEEE Transactions on Audio, Speech and Language Processing, 2017, 25 (6), pp.1266-1277
Journal articles hal-01520194v1
Image document

Special Section on the 2011 Joint Symposium on Computational Aesthetics (CAe), Non-Photorealistic Animation and Rendering (NPAR), and Sketch-Based Interfaces and Modeling (SBIM)

Tobias Isenberg , Paul Asente , John Collomosse , T. Metin Sezgin
Computers and Graphics, 2012, 36 (6), pp.A3-A5. ⟨10.1016/j.cag.2012.04.010⟩
Journal articles hal-00781243v1

Controlling Network Stability and Performance (UC2 White Paper, Univerself)

Manzalini Antonio , Bantouna Aimilia , Rémi Badonnel , Martín Barrère , Festor Olivier et al.
2012
Other publications hal-00747529v1

Localized radial bumps of a neural field equation on the Euclidean plane and the Poincaré disk

Grégory Faye , James Rankin , David J. B. Lloyd
Nonlinearity, 2012, 26 (2), pp.437-478. ⟨10.1088/0951-7715/26/2/437⟩
Journal articles hal-00845586v1

Coulomb excitation of neutron-rich $^{44}$Ar at SPIRAL

M. Zielińska , A. Görgen , A. Bürger , W. Catford , E. Clément et al.
XXX Mazurian Lakes Conference on Physics, Sep 2007, Piaski, Poland. pp.519-524
Conference papers in2p3-00406400v1
Image document

A proton density bubble in the doubly magic $^{34}$Si nucleus

A. Mutschler , A. Lemasson , O. Sorlin , D. Bazin , C. Borcea et al.
Nature Physics, 2017, 13 (2), pp.142-146. ⟨10.1038/NPHYS3916⟩
Journal articles in2p3-01387617v1

Final payload test results for the RemoveDebris active debris removal mission

Jason L. Forshaw , Guglielmo S. Aglietti , Thierry Salmon , Ingo Retat , Mark Roe et al.
Acta Astronautica, 2017, 138, pp.326 - 342. ⟨10.1016/j.actaastro.2017.06.003⟩
Journal articles hal-01546097v1

The structural elucidation of a Novel iridoid derivative from Tachiadenus longiflorus (Gentianaceae) using the LSD Programme and Quantum Chemical Computations

D.A. Mulholland , A. Langlois , M. Randrianarivelojosia , E. Derat , Jean-Marc Nuzillard et al.
Phytochemical Analysis, 2006, 17, pp.87-90. ⟨10.1002/pca.890⟩
Journal articles istex hal-00021711v1

D0.11 : Quarterly Management Report 11

Olivier Festor , Gabi Dreo Rodosek , George Pavlou , Aiko Pras , Juergen Schoenwaelder et al.
[Contract] 2008, pp.20
Reports inria-00337630v1

Evidence for Nucleon-Resonance Excitation in $\omega$-Meson Photoproduction

J. Ajaka , Y. Assafiri , S. Bouchigny , J. P. Didelez , L. Fichen et al.
Physical Review Letters, 2006, 96, pp.132003. ⟨10.1103/PhysRevLett.96.132003⟩
Journal articles in2p3-00025969v1

On the Geometry Arising in Some Meteorological Models in Two and Three Dimensions

Bertrand Banos , Volodya Roubtsov , Ian Roulstone
On the Geometry Arising in Some Meteorological Models in Two and Three Dimensions, pp.185-207, 2019, ⟨10.1007/978-3-030-17031-8_5⟩
Book sections hal-02381035v1

Vlasov moment flows and geodesics on the Jacobi group

Francois Gay-Balmaz , Cesare Tronci
Journal of Mathematical Physics, 2012, 53 (12), pp.123502. ⟨10.1063/1.4763467⟩
Journal articles hal-01116277v1

Applying CSP|| B to Information Systems

Neil Evans , Helen Treharne , Régine Laleau , Marc Frappier
Software and Systems Modeling, 2008, 7 (1), pp.85--102
Journal articles hal-01224658v1
Image document

Evaluation of fast atmospheric dispersion models in a regular street network

Denise Hertwig , Lionel Soulhac , Vladimír Fuka , Torsten Auerswald , Matteo Carpentieri et al.
Environmental Fluid Mechanics, 2018, ⟨10.1007/s10652-018-9587-7⟩
Journal articles hal-01761232v1
Image document

Energy-Casimir stability of hybrid Vlasov-MHD models

Cesare Tronci , Emanuele Tassi , Philip Morrison
Journal of Physics A: Mathematical and Theoretical, 2015, 48, pp.185501. ⟨10.1088/1751-8113/48/18/185501⟩
Journal articles hal-01152003v1

When perfect means plural: the Present Perfect in Northeastern Brazilian Portuguese

Patricia Cabredo Hofherr , Brenda Laca , Sandra de Carvalho
Cabredo Hofherr, Patricia & Laca, Brenda. Layers of Aspect, CSLI Publications, pp.67-100, 2010
Book sections halshs-00606963v1

Verschmelzungsformen von Präposition und Artikel. Deutsch und Französisch kontrastiv

Patricia Cabredo Hofherr
47. Jahrestagung des Instituts für deutsche Sprache Deutsch im Sprachvergleich Grammatische Kontraste und Konvergenzen, Mar 2011, Mannheim, Germany
Conference papers halshs-00606966v1

Recombination processes in 1.55µm InAs/InP quantum dot lasers

Nicolas Massé , Estelle Homeyer , Olivier Dehaese , Rozenn Piron , Frederic Grillot et al.
Semiconductor and Integrated Optoelectronics (SIOE), Apr 2007, Cardiff, United Kingdom. pp.1
Conference papers hal-00496879v1
Image document

GANIL / SPIRAL - 2001-2007 - Achievements, Highlights and Perspectives

F. Azaiez , D. Beaumel , Bertram Blank , W. Catford , F. Chautard et al.
[Research Report] GANIL. 2008, pp.1-225
Reports in2p3-00336915v1
Image document

Federation of Internet of Things Testbeds for the Realization of a Semantically-Enabled Multi-Domain Data Marketplace

Luis Sanchez , Jorge Lanza , Juan Ramón Santana , Rachit Agarwal , Pierre Guillaume Raverdy et al.
Sensors, 2018, 18 (10), pp.34. ⟨10.3390/s18103375⟩
Journal articles hal-01889896v1