Jean-Louis Roch

55
Documents

Publications

Publications

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-02555457 v1
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-01527913 v1
Image document

Security Architecture for Point-to-Point Splitting Protocols

Benoit Badrignans , Vincent Danjean , Jean-Guillaume Dumas , Philippe Elbaz-Vincent , Sabine Machenaud et al.
WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Communication dans un congrès hal-01657605 v1
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-01330949 v1
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-01316590 v1
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-01399967 v1
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-01393829 v1

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-01221106 v1
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-01245629 v2
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-01102365 v1
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-01052994 v1
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-00926445 v1
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-00449864 v2

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-00798446 v1
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-00493044 v1

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-00788864 v1
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-00786217 v1
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-00590242 v1
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-01856374 v1
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-00318543 v1
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-00084822 v1
Image document

Safe Distributed Architecture for Image-based Computer Assisted Diagnosis

Sébastien Varette , Jean-Louis Roch , Johan Montagnat , Ludwig Seitz , Jean-Marc Pierson et 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-00683206 v1

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

Adaptive algorithms: theory and application

Van-Dat Cung , Jean-Guillaume Dumas , Thierry Gautier , Guillaume Huard , Bruno Raffin et 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-01856375 v1
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 et al.
Transgressive Computing 2006, Apr 2006, Grenade, Spain. pp.131-148
Communication dans un congrès hal-00318540 v1

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

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

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

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

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-00685314 v1
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-00691609 v1

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

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-00689018 v1
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-00005856 v1
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-00005851 v1

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

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

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-00318553 v1
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-00334457 v1