Jean-Louis Roch

55
Documents

Publications

Publications

Deposit thumbnail

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

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

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-01657605v1
Deposit thumbnail

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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-00683206v1
Deposit thumbnail

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

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

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

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

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

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

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

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

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

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