Jean-Louis Roch

Publications

Article dans une revue (4)

Formally and Practically Verifying Flow Integrity Properties in Industrial Systems Jannik Dreier,Maxime Puys,Marie-Laure Potet,Pascal Lafourcade,Jean-Louis Roch Computers & Security, 2019, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩ Article dans une revue hal-01959766v2
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 istex hal-02018773v1
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 istex inria-00545017v1

Communication dans un congrès (35)

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
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
Security Architecture for Point-to-Point Splitting Protocols Benoit Badrignans,Vincent Danjean,Jean-Guillaume Dumas,Philippe Elbaz-Vincent,Sabine Machenaudet al. WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom Communication dans un congrès hal-01657605v1
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
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
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
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
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
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
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
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
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
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
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
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
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 istex hal-00788864v1
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
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
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
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
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
Adaptive algorithms: theory and application Van-Dat Cung,Jean-Guillaume Dumas,Thierry Gautier,Guillaume Huard,Bruno Raffinet al. 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
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
Safe Distributed Architecture for Image-based Computer Assisted Diagnosis Sébastien Varette,Jean-Louis Roch,Johan Montagnat,Ludwig Seitz,Jean-Marc Piersonet al. 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
Adaptive and Hybrid Algorithms: classification and illustration on triangular system solving Van-Dat Cung,Vincent Danjean,Jean-Guillaume Dumas,Thierry Gautier,Guillaume Huardet al. 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
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
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 istex hal-00685314v1
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
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
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

Ouvrages (5)

Théorie des codes - 3e édition Jean-Guillaume Dumas,Jean-Louis Roch,Eric Tannier,Sébastien Varrette Dunod, pp.416, 2018, 9782100781096 Ouvrages hal-02639412v1
Foundations of Coding: Compression, Encryption, Error-Correction Jean-Guillaume Dumas,Jean-Louis Roch,Eric Tannier,Sébastien Varrette Wiley, pp.376, 2015, 978-1-118-88144-6. ⟨10.1002/9781119005940⟩ Ouvrages hal-00765802v1
Théorie des Codes : compression, cryptage, correction, 2e edition Jean-Guillaume Dumas,Jean-Louis Roch,Eric Tannier,Sébastien Varrette Dunod, pp.384, 2013, Sciences Sup, 9782100599110 Ouvrages hal-00932851v1
PASCO '10: Proceedings of the 4th International Workshop on Parallel and Symbolic Computation Marc Moreno Maza,Jean-Louis Roch Moreno Maza, Marc and Roch, Jean-Louis. ACM, pp.192, 2010, 978-1-4503-0067-4 Ouvrages hal-00798454v1
Théorie des Codes : compression, cryptage, correction Jean-Guillaume Dumas,Jean-Louis Roch,Eric Tannier,Sébastien Varrette Dunod, pp.352, 2007, Sciences Sup, 9782100506927 Ouvrages hal-00318546v1

Chapitre d'ouvrage (3)

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
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

Pré-publication, Document de travail (2)

Algorithm-Based Secure and Fault Tolerant Outsourcing of Matrix Computations Amrit Kumar,Jean-Louis Roch 2013 Pré-publication, Document de travail hal-00876156v1
ICMP: an Attack Vector against IPsec Gateways Ludovic Jacquin,Vincent Roca,Jean-Louis Roch 2013 Pré-publication, Document de travail hal-00879997v1

Rapport (5)

IBTrack: An ICMP Black holes Tracker Ludovic Jacquin,Vincent Roca,Mohamed Ali Kaafar,Fabrice Schuler,Jean-Louis Roch 2012 Rapport hal-00695746v1
List Scheduling: The Price of Distribution Marc Tchiboukdjian,Denis Trystram,Jean-Louis Roch,Julien Bernard [Research Report] RR-7208, INRIA. 2010, pp.20 Rapport (rapport de recherche) inria-00458133v1
Tradeoff to minimize extra-computations and stopping criterion tests for parallel iterative schemes Olivier Beaumont,El Mostafa Daoudi,Nicolas Maillard,Pierre Manneback,Jean-Louis Roch [Research Report] 2004, pp.13 Rapport (rapport de recherche) hal-00777293v1
Athapascan : an API for Asynchronous Parallel Programming User's Guide Jean-Louis Roch,Rémi Revire,Thierry Gautier [Research Report] RT-0276, INRIA. 2003, pp.77 Rapport (rapport de recherche) inria-00069901v1
Two-dimensional Block Partitionings for the Parallel Sparse Cholesky Factorization : the Fan-in Method Bogdan Dumitrescu,Mathias Doreille,Jean-Louis Roch,Denis Trystram [Research Report] RR-3156, INRIA. 1997 Rapport (rapport de recherche) inria-00073533v1

Thèse (1)

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