Jean-Louis Roch
65
Documents
Publications
|
Optimizing dm-crypt for XTS-AES: Getting the Best of Atmel Cryptographic Co-Processors (long version)SECRYPT 2020 - 17th International Conference on Security and Cryptography, Jul 2020, Paris, France. pp.1-11
Conference papers
hal-02555457v1
|
|
Formally Verifying Flow Properties in Industrial SystemsSECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩
Conference papers
hal-01527913v1
|
|
Security Architecture for Point-to-Point Splitting ProtocolsWCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Conference papers
hal-01657605v1
|
|
Domain Specific Stateful Filtering with Worst-Case Bandwidth11th International Conference on Critical Information Infrastructures Security (CRITIS 2016), UIC, Oct 2016, Paris, France
Conference papers
hal-01393829v1
|
|
Génération systématique de scénarios d'attaques contre des systèmes industriels15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Conference papers
hal-01330949v1
|
|
Filtrage et vérification de flux métiers dans les systèmes industrielsRendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2016), May 2016, Toulouse, France
Conference papers
hal-01316590v1
|
|
Improving dm-crypt performance for XTS-AES mode through extended requests: first resultsGreHack 2016. The 4th International Symposium on Research in Grey-Hat Hacking - aka GreHack , Nov 2016, Grenoble, France
Conference papers
hal-01399967v1
|
Parallel Algebraic Linear Algebra Dedicated InterfacePASCO: International Workshop on Parallel Symbolic Computation, Jul 2015, Bath, United Kingdom. pp.34-43, ⟨10.1145/2790282.2790286⟩
Conference papers
hal-01221106v1
|
|
|
New Results for the PTB-PTS Attack on Tunneling GatewaysGreHack 2015, Cédric Lauradoux, Florent Autréau, Nov 2015, Grenoble, France
Conference papers
hal-01245629v2
|
|
Too Big or Too Small? The PTB-PTS ICMP-based Attack against IPsec GatewaysIEEE Global Communications Conference (GLOBECOM'14), John Donovan (general chair), Dec 2014, Austin, United States
Conference papers
hal-01052994v1
|
|
Generic Deterministic Random Number Generation in Dynamic-Multithreaded PlatformsEuro-Par 2014 Parallel Processing - 20th International Conference, Aug 2014, Porto, Portugal. pp.427 - 438, ⟨10.1007/978-3-319-09873-9_36⟩
Conference papers
hal-01102365v1
|
|
Secured Outsourced Linear AlgebraSafecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Conference papers
hal-00926445v1
|
|
Generic design of Chinese remaindering schemesPASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩
Conference papers
hal-00449864v2
|
Output-sensitive decoding for redundant residue systemsISSAC'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⟩
Conference papers
hal-00798446v1
|
|
|
Parallel arithmetic encryption for high-bandwidth communications on multicore/GPGPU platforms.PASCO '10 - 4th International Workshop on Parallel and Symbolic Computation, Jul 2010, Grenoble, France. pp.Pages 73-79, ⟨10.1145/1837210.1837223⟩
Conference papers
hal-00493044v1
|
A Tighter Analysis of Work StealingThe 21st International Symposium on Algorithms and Computation (ISAAC), 2010, Jeju Island, South Korea. pp.291-302, ⟨10.1007/978-3-642-17514-5_25⟩
Conference papers
hal-00788864v1
|
|
|
Algorithm-based fault tolerance applied to P2P computing networksIEEE First International Conference on Advances in P2P Systems, Oct 2009, Sliema, Malta. pp.144 - 149, ⟨10.1109/AP2PS.2009.30⟩
Conference papers
hal-00786217v1
|
|
Work Stealing for Time-constrained Octree Exploration: Application to Real-time 3D ModelingEurographics 2008 Symposium on Parallel Graphics and Visualization (EGPGV'08), 2007, Lugano, Switzerland. pp.61--68
Conference papers
hal-01856374v1
|
|
Parallel Adaptive Octree Carving for Real-time 3D ModelingIEEE Virtual Reality Conference (VR '07), Mar 2007, Charlotte, United States. pp.273--274, ⟨10.1109/VR.2007.352498⟩
Conference papers
inria-00590242v1
|
Un algorithme adaptatif optimal pour le calcul parallèle des préfixes8ème colloque Africain sur la recherche en Informatique, Nov 2006, Cotonou, Bénin
Conference papers
hal-00694537v1
|
|
CCK: An Improved Coordinated Checkpoint/Rollback Protocol for Dataflow Applications in KAAPIICTTA'06 IEEE Conference on Information and Communication Technologies: from Theory to Applications, Apr 2006, Damascus, Syria. ⟨10.1109/ICTTA.2006.1684955⟩
Conference papers
hal-00684864v1
|
|
On-line adaptive parallel prefix computationEuro-Par 2006, Aug 2006, Dresdren, Germany. pp.841-850, ⟨10.1007/11823285_88⟩
Conference papers
hal-00689026v1
|
|
|
Methods for Partitioning Data to Improve Parallel Execution Time for Sorting on Heterogeneous ClustersGPC 2006, 2006, France. pp.175-186
Conference papers
hal-00084822v1
|
|
Adaptive triangular system solvingChallenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770
Conference papers
hal-00318543v1
|
|
Safe Distributed Architecture for Image-based Computer Assisted Diagnosis1st IEEE International Workshop on Health Pervasive Systems (HPS 2006) in conjunction with ICPS 06, IEEE, Jun 2006, Lyon, France. pp.1-10
Conference papers
hal-00683206v1
|
Adaptive algorithms: theory and applicationSIAM Parallel Processing 2006, Mini-Symposium MS1: Adaptive algorithms for scientific computing, Feb 2006, San Francisco, United States. pp.49--50
Conference papers
hal-01856375v1
|
|
Applicative Solutions for Safe Computations in Distributed EnvironmentsWorkshop "Trustworthy Software", May 2006, Saarbrücken, Germany
Conference papers
hal-00691883v1
|
|
|
Adaptive and Hybrid Algorithms: classification and illustration on triangular system solvingTransgressive Computing 2006, Apr 2006, Grenade, Spain. pp.131-148
Conference papers
hal-00318540v1
|
Modèle de coût algorithmique intégrant des mécanismes de tolérance aux pannes et expérimentationsRenPar'16 :, Apr 2005, Le Croisic, France. pp.125-136
Conference papers
hal-00689018v1
|
|
Theft-Induced Checkpointing for Reconfigurable Dataflow ApplicationsIEEE Electro/Information Technology Conference (EIT 2005), May 2005, Lincoln, United States. ⟨10.1109/EIT.2005.1626998⟩
Conference papers
hal-00683887v1
|
|
Authentification Distribuée sur Grille de Grappes basée sur LDAPRenPar'16 : 16ème Rencontres Francophones du Parallélisme, Apr 2005, Le Croisic, France
Conference papers
hal-00694940v1
|
|
A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-StealingEuro-Par 2005, Aug 2005, Lisbonne, Portugal. ⟨10.1007/11549468_74⟩
Conference papers
hal-00685314v1
|
|
|
Distributed Authentication in GRID5000Grid Computing and its Application to Data Analysis (GADA'05), Nov 2005, Agia Napa, Cyprus. pp.314-326, ⟨10.1007/11575863_51⟩
Conference papers
hal-00691609v1
|
|
Using Data-Flow Analysis for Resilence and Result Checking in Peer to Peer Computations2004, pp.512--516
Conference papers
hal-00005856v1
|
|
Certification logicielle de Calcul Global avec dépendances sur grille.2003, pp.169--176
Conference papers
hal-00005851v1
|
Théorie des codes - 3e éditionDunod, pp.416, 2018, 9782100781096
Books
hal-02639412v1
|
|
Foundations of Coding: Compression, Encryption, Error-CorrectionWiley, pp.376, 2015, 978-1-118-88144-6
Books
hal-00765802v1
|
|
Théorie des Codes : compression, cryptage, correction, 2e editionDunod, pp.384, 2013, Sciences Sup, 9782100599110
Books
hal-00932851v1
|
|
PASCO '10: Proceedings of the 4th International Workshop on Parallel and Symbolic ComputationMoreno Maza, Marc and Roch, Jean-Louis. ACM, pp.192, 2010, 978-1-4503-0067-4
Books
hal-00798454v1
|
|
Théorie des Codes : compression, cryptage, correctionDunod, pp.352, 2007, Sciences Sup, 9782100506927
Books
hal-00318546v1
|
La crise de la draperie rouennaise à la fin du XVe siècleLa 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
Book sections
hal-03310194v1
|
|
Au sujet des élites rouennaises aux derniers siècles du Moyen ÂgeDes 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
Book sections
hal-03310193v1
|
|
L'organisation sociale de la draperie rouennaise aux XIVe et XVe sièclesLes 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
Book sections
hal-03310733v1
|
|
Cryptographie à clef publiqueTouradj 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
Book sections
hal-00318555v1
|
|
Architectures PKIT. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.187-210, 2006
Book sections
hal-00318550v1
|
|
Cryptographie à clef secrèteT. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.23-102, 2006
Book sections
hal-00318553v1
|
|
Les métiers en procession: une image de la hiérarchie sociale dans les villes du Bas Moyen AgeDieux 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
Book sections
hal-03309548v1
|
|
Les guerres du peuple: autodéfense, révolte et pillage dans la guerre de Cent AnsImages de la guerre de Cent Ans Actes du colloque de Rouen, p. 47-61, 2002, Publ. de l'Université de Rouen
Book sections
hal-03308419v1
|
|
De l'usage social des lieux communs : le pauvre peuple et le gueux sans souci à la fin du Moyen ÂgeLieux communs, topiî, stéréotypes, clichés, Kymé, pp.204-217, 1993
Book sections
hal-03306037v1
|
|
Aux marges de la nomenclature sociale, le faux mendiant dans les textes littéraires et non littéraires (1350-1630)Grammaire des fautes et français non conventionnels, Presses de l'ENS, p. 85-94, 1992
Book sections
hal-03306043v1
|
|
ICMP: an Attack Vector against IPsec Gateways2013
Preprints, Working Papers, ...
hal-00879997v1
|
|
Algorithm-Based Secure and Fault Tolerant Outsourcing of Matrix Computations2013
Preprints, Working Papers, ...
hal-00876156v1
|
|
IBTrack: An ICMP Black holes Tracker2012
Reports
hal-00695746v1
|
|
List Scheduling: The Price of Distribution[Research Report] RR-7208, INRIA. 2010, pp.20
Reports
inria-00458133v1
|
|
Tradeoff to minimize extra-computations and stopping criterion tests for parallel iterative schemes[Research Report] 2004, pp.13
Reports
hal-00777293v1
|
|
Athapascan : an API for Asynchronous Parallel Programming User's Guide[Research Report] RT-0276, INRIA. 2003, pp.77
Reports
inria-00069901v1
|
|
Two-dimensional Block Partitionings for the Parallel Sparse Cholesky Factorization : the Fan-in Method[Research Report] RR-3156, INRIA. 1997
Reports
inria-00073533v1
|
|
Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelleModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1989. Français. ⟨NNT : ⟩
Theses
tel-00334457v1
|