Accéder directement au contenu

Jean-Louis Roch

65
Documents

Publications

Image document

Formally and Practically Verifying Flow Integrity Properties in Industrial Systems

Jannik Dreier , Maxime Puys , Marie-Laure Potet , Pascal Lafourcade , Jean-Louis Roch
Computers and Security, 2018, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩
Article dans une revue hal-01959766v2
Image document

Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination

Jean-Guillaume Dumas , Thierry Gautier , Clément Pernet , Jean-Louis Roch , Ziad Sultan
Parallel Computing, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩
Article dans une revue hal-01084238v2

On parallel block algorithms for exact triangularizations

Jean-Guillaume Dumas , Jean-Louis Roch
Parallel Computing, 2002, 28 (11), pp.1531-1548. ⟨10.1016/S0167-8191(02)00161-8⟩
Article dans une revue hal-02018773v1

Entre draperie rurale et draperie urbaine ? La draperie foraine de Rouen à la fin du Moyen Âge

Jean-Louis Roch
Annales de Normandie, 1998, 47/3, p. 211-230
Article dans une revue hal-03306048v1

Parallel evaluation of arithmetic circuits

Nathalie Revol , Jean-Louis Roch
Theoretical Computer Science, 1996, A, 162 (1), pp.133-150. ⟨10.1016/0304-3975(95)00252-9⟩
Article dans une revue inria-00545017v1

Bélîtres, marauds et autres gueux : de l'histoire à l'étymologie

Jean-Louis Roch
Travaux de linguistique et de philologie de l'Université de Strasbourg, 1992, 30, p. 37-63
Article dans une revue hal-03306044v1

Le roi, le peuple et l'Âge d'or : la figure de Bon Temps entre le théâtre, la fête et la politique (1450-1550)

Jean-Louis Roch
Médiévales, 1992, 22-23, pp.187-206
Article dans une revue hal-03306046v1
Image document

Optimizing dm-crypt for XTS-AES: Getting the Best of Atmel Cryptographic Co-Processors (long version)

Levent Demir , Mathieu Thiery , Vincent Roca , Jean-Michel Tenkes , Jean-Louis Roch
SECRYPT 2020 - 17th International Conference on Security and Cryptography, Jul 2020, Paris, France. pp.1-11
Communication dans un congrès hal-02555457v1
Image document

Formally Verifying Flow Properties in Industrial Systems

Jannik Dreier , Maxime Puys , Marie-Laure Potet , Pascal Lafourcade , Jean-Louis Roch
SECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩
Communication dans un congrès hal-01527913v1
Image document

Security Architecture for Point-to-Point Splitting Protocols

Benoit Badrignans , Vincent Danjean , Jean-Guillaume Dumas , Philippe Elbaz-Vincent , Sabine Machenaud
WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Communication dans un congrès hal-01657605v1
Image document

Génération systématique de scénarios d'attaques contre des systèmes industriels

Maxime Puys , Marie-Laure Potet , Jean-Louis Roch
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Communication dans un congrès hal-01330949v1
Image document

Domain Specific Stateful Filtering with Worst-Case Bandwidth

Maxime Puys , Jean-Louis Roch , Marie-Laure Potet
11th International Conference on Critical Information Infrastructures Security (CRITIS 2016), UIC, Oct 2016, Paris, France
Communication dans un congrès hal-01393829v1
Image document

Filtrage et vérification de flux métiers dans les systèmes industriels

Maxime Puys , Marie-Laure Potet , Jean-Louis Roch
Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2016), May 2016, Toulouse, France
Communication dans un congrès hal-01316590v1
Image document

Improving dm-crypt performance for XTS-AES mode through extended requests: first results

Levent Demir , Mathieu Thiery , Vincent Roca , Jean-Louis Roch , Jean-Michel Tenkes
GreHack 2016. The 4th International Symposium on Research in Grey-Hat Hacking - aka GreHack , Nov 2016, Grenoble, France
Communication dans un congrès hal-01399967v1
Image document

New Results for the PTB-PTS Attack on Tunneling Gateways

Vincent Roca , Ludovic Jacquin , Saikou Fall , Jean-Louis Roch
GreHack 2015, Cédric Lauradoux, Florent Autréau, Nov 2015, Grenoble, France
Communication dans un congrès hal-01245629v2

Parallel Algebraic Linear Algebra Dedicated Interface

Thierry Gautier , Jean-Louis Roch , Ziad Sultan , Bastien Vialla
PASCO: International Workshop on Parallel Symbolic Computation, Jul 2015, Bath, United Kingdom. pp.34-43, ⟨10.1145/2790282.2790286⟩
Communication dans un congrès hal-01221106v1
Image document

Generic Deterministic Random Number Generation in Dynamic-Multithreaded Platforms

Stefano Mor , Jean-Louis Roch , Nicolas Maillard
Euro-Par 2014 Parallel Processing - 20th International Conference, Aug 2014, Porto, Portugal. pp.427 - 438, ⟨10.1007/978-3-319-09873-9_36⟩
Communication dans un congrès hal-01102365v1
Image document

Too Big or Too Small? The PTB-PTS ICMP-based Attack against IPsec Gateways

Ludovic Jacquin , Vincent Roca , Jean-Louis Roch
IEEE Global Communications Conference (GLOBECOM'14), John Donovan (general chair), Dec 2014, Austin, United States
Communication dans un congrès hal-01052994v1
Image document

Secured Outsourced Linear Algebra

Amrit Kumar , Jean-Louis Roch , Clément Pernet
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Communication dans un congrès hal-00926445v1
Image document

Generic design of Chinese remaindering schemes

Jean-Guillaume Dumas , Thierry Gautier , Jean-Louis Roch
PASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩
Communication dans un congrès hal-00449864v2

A Tighter Analysis of Work Stealing

Marc Tchiboukdjian , Nicolas Gast , Denis Trystram , Jean-Louis Roch , Julien Bernard
The 21st International Symposium on Algorithms and Computation (ISAAC), 2010, Jeju Island, South Korea. pp.291-302, ⟨10.1007/978-3-642-17514-5_25⟩
Communication dans un congrès hal-00788864v1
Image document

Parallel arithmetic encryption for high-bandwidth communications on multicore/GPGPU platforms.

Ludovic Jacquin , Vincent Roca , Jean-Louis Roch , Mohamed Alali
PASCO '10 - 4th International Workshop on Parallel and Symbolic Computation, Jul 2010, Grenoble, France. pp.Pages 73-79, ⟨10.1145/1837210.1837223⟩
Communication dans un congrès hal-00493044v1

Output-sensitive decoding for redundant residue systems

Majid Khonji , Clément Pernet , Jean-Louis Roch , Thomas Roche , Thomas Stalinski
ISSAC'10: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 2010, New York, NY, United States. pp.265―272, ⟨10.1145/1837934.1837985⟩
Communication dans un congrès hal-00798446v1
Image document

Algorithm-based fault tolerance applied to P2P computing networks

Thomas Roche , Jean-Louis Roch , Mathieu Cunche
IEEE First International Conference on Advances in P2P Systems, Oct 2009, Sliema, Malta. pp.144 - 149, ⟨10.1109/AP2PS.2009.30⟩
Communication dans un congrès hal-00786217v1
Image document

Work Stealing for Time-constrained Octree Exploration: Application to Real-time 3D Modeling

Luciano P. Soares , Clément Ménier , Bruno Raffin , Jean-Louis Roch
Eurographics 2008 Symposium on Parallel Graphics and Visualization (EGPGV'08), 2007, Lugano, Switzerland. pp.61--68
Communication dans un congrès hal-01856374v1
Image document

Parallel Adaptive Octree Carving for Real-time 3D Modeling

Luciano Soares , Clément Ménier , Bruno Raffin , Jean-Louis Roch
IEEE Virtual Reality Conference (VR '07), Mar 2007, Charlotte, United States. pp.273--274, ⟨10.1109/VR.2007.352498⟩
Communication dans un congrès inria-00590242v1
Image document

Methods for Partitioning Data to Improve Parallel Execution Time for Sorting on Heterogeneous Clusters

Christophe Cérin , Jean-Christophe Dubacq , Jean-Louis Roch
GPC 2006, 2006, France. pp.175-186
Communication dans un congrès hal-00084822v1
Image document

Adaptive triangular system solving

Jean-Guillaume Dumas , Clément Pernet , Jean-Louis Roch
Challenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770
Communication dans un congrès hal-00318543v1
Image document

Adaptive and Hybrid Algorithms: classification and illustration on triangular system solving

Van-Dat Cung , Vincent Danjean , Jean-Guillaume Dumas , Thierry Gautier , Guillaume Huard
Transgressive Computing 2006, Apr 2006, Grenade, Spain. pp.131-148
Communication dans un congrès hal-00318540v1

On-line adaptive parallel prefix computation

Jean-Louis Roch , Daouda Traoré , Julien Bernard
Euro-Par 2006, Aug 2006, Dresdren, Germany. pp.841-850, ⟨10.1007/11823285_88⟩
Communication dans un congrès hal-00689026v1

CCK: An Improved Coordinated Checkpoint/Rollback Protocol for Dataflow Applications in KAAPI

Xavier Besseron , Samir Jafar , Thierry Gautier , Jean-Louis Roch
ICTTA'06 IEEE Conference on Information and Communication Technologies: from Theory to Applications, Apr 2006, Damascus, Syria. ⟨10.1109/ICTTA.2006.1684955⟩
Communication dans un congrès hal-00684864v1

Un algorithme adaptatif optimal pour le calcul parallèle des préfixes

Jean-Louis Roch , Daouda A. K. Traoré
8ème colloque Africain sur la recherche en Informatique, Nov 2006, Cotonou, Bénin
Communication dans un congrès hal-00694537v1
Image document

Safe Distributed Architecture for Image-based Computer Assisted Diagnosis

Sébastien Varette , Jean-Louis Roch , Johan Montagnat , Ludwig Seitz , Jean-Marc Pierson
1st IEEE International Workshop on Health Pervasive Systems (HPS 2006) in conjunction with ICPS 06, IEEE, Jun 2006, Lyon, France. pp.1-10
Communication dans un congrès hal-00683206v1

Applicative Solutions for Safe Computations in Distributed Environments

Sébastien Varette , Jean-Louis Roch , Franck Leprévost
Workshop "Trustworthy Software", May 2006, Saarbrücken, Germany
Communication dans un congrès hal-00691883v1

Adaptive algorithms: theory and application

Van-Dat Cung , Jean-Guillaume Dumas , Thierry Gautier , Guillaume Huard , Bruno Raffin
SIAM Parallel Processing 2006, Mini-Symposium MS1: Adaptive algorithms for scientific computing, Feb 2006, San Francisco, United States. pp.49--50
Communication dans un congrès hal-01856375v1

Modèle de coût algorithmique intégrant des mécanismes de tolérance aux pannes et expérimentations

Samir Jafar , Thierry Gautier , Jean-Louis Roch
RenPar'16 :, Apr 2005, Le Croisic, France. pp.125-136
Communication dans un congrès hal-00689018v1

Theft-Induced Checkpointing for Reconfigurable Dataflow Applications

Samir Jafar , Axel W. Krings , Thierry Gautier , Jean-Louis Roch
IEEE Electro/Information Technology Conference (EIT 2005), May 2005, Lincoln, United States. ⟨10.1109/EIT.2005.1626998⟩
Communication dans un congrès hal-00683887v1
Image document

Distributed Authentication in GRID5000

Sébastien Varette , Sébastien Georget , Johan Montagnat , Jean-Louis Roch , Franck Leprévost
Grid Computing and its Application to Data Analysis (GADA'05), Nov 2005, Agia Napa, Cyprus. pp.314-326, ⟨10.1007/11575863_51⟩
Communication dans un congrès hal-00691609v1

A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing

Samir Jafar , Thierry Gautier , Axel W. Krings , Jean-Louis Roch
Euro-Par 2005, Aug 2005, Lisbonne, Portugal. ⟨10.1007/11549468_74⟩
Communication dans un congrès hal-00685314v1

Authentification Distribuée sur Grille de Grappes basée sur LDAP

Sébastien Varrette , Sébastien Georget , Jean-Louis Roch , Franck Leprévost
RenPar'16 : 16ème Rencontres Francophones du Parallélisme, Apr 2005, Le Croisic, France
Communication dans un congrès hal-00694940v1
Image document

Using Data-Flow Analysis for Resilence and Result Checking in Peer to Peer Computations

Samir Jafar , Sébastien Varrette , Jean-Louis Roch
2004, pp.512--516
Communication dans un congrès hal-00005856v1
Image document

Certification logicielle de Calcul Global avec dépendances sur grille.

Sébastien Varrette , Jean-Louis Roch
2003, pp.169--176
Communication dans un congrès hal-00005851v1

La crise de la draperie rouennaise à la fin du XVe siècle

Jean-Louis Roch
La Normandie dans l'économie européenne (XIIe-XVIIe siècle) Actes du colloque de Cerisy-la-Salle (4-8 octobre 2006), Publications du CRAHM, p.153-177, 2010
Chapitre d'ouvrage hal-03310194v1

Au sujet des élites rouennaises aux derniers siècles du Moyen Âge

Jean-Louis Roch
Des chÂteaux et des sources. Archéologie et histoire dans la Normandie médiévale. Mélanges en l'honneur d'Anne-Marie Flambard Héricher, Publications des Universités de Rouen et du Havre, p. 429-448, 2008
Chapitre d'ouvrage hal-03310193v1

L'organisation sociale de la draperie rouennaise aux XIVe et XVe siècles

Jean-Louis Roch
Les villes normandes au Moyen Âge, renaissance, essor, crise Actes du colloque international de Cerisy-la-Salle, sept. 2003, Presses Universitaires de Caen, pp.225-240, 2006
Chapitre d'ouvrage hal-03310733v1

Architectures PKI

Jean-Guillaume Dumas , Franck Leprévost , Jean-Louis Roch , Sébastien Varrette
T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.187-210, 2006
Chapitre d'ouvrage hal-00318550v1

Cryptographie à clef secrète

Jean-Guillaume Dumas , Pascal Bouvry , Roland Gillard , Jean-Louis Roch , Sébastien Varrette
T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.23-102, 2006
Chapitre d'ouvrage hal-00318553v1

Cryptographie à clef publique

Jean-Guillaume Dumas , Franck Leprévost , Jean-Louis Roch , Sébastien Varrette , Valentin Savin
Touradj Ebrahimi; Franck Leprevost; Bertrand Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.103-186, 2006, Collection Traité IC2 - Informatique et systèmes d'information
Chapitre d'ouvrage hal-00318555v1

Les métiers en procession: une image de la hiérarchie sociale dans les villes du Bas Moyen Age

Jean-Louis Roch
Dieux et hommes. Histoire et iconographie des sociétés païennes et chrétiennes de l'antiquité à nos jours. Mélanges Françoise Thélamon, Publications des universités de Rouen et du Havre, pp.431-457, 2005
Chapitre d'ouvrage hal-03309548v1

Les guerres du peuple: autodéfense, révolte et pillage dans la guerre de Cent Ans

Jean-Louis Roch
Images de la guerre de Cent Ans Actes du colloque de Rouen, p. 47-61, 2002, Publ. de l'Université de Rouen
Chapitre d'ouvrage hal-03308419v1

De l'usage social des lieux communs : le pauvre peuple et le gueux sans souci à la fin du Moyen Âge

Jean-Louis Roch
Lieux communs, topiî, stéréotypes, clichés, Kymé, pp.204-217, 1993
Chapitre d'ouvrage hal-03306037v1

Aux marges de la nomenclature sociale, le faux mendiant dans les textes littéraires et non littéraires (1350-1630)

Jean-Louis Roch
Grammaire des fautes et français non conventionnels, Presses de l'ENS, p. 85-94, 1992
Chapitre d'ouvrage hal-03306043v1
Image document

Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle

Jean-Louis Roch
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1989. Français. ⟨NNT : ⟩
Thèse tel-00334457v1