Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch. Formally and Practically Verifying Flow Integrity Properties in Industrial Systems. Computers and Security, Elsevier, 2018, 86, pp.453-470. ⟨10.1016/j.cose.2018.09.018⟩. ⟨hal-01959766v2⟩

Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan. Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Computing, Elsevier, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩. ⟨hal-01084238v2⟩

Jean-Guillaume Dumas, Jean-Louis Roch. On parallel block algorithms for exact triangularizations. Parallel Computing, Elsevier, 2002, 28 (11), pp.1531-1548. ⟨10.1016/S0167-8191(02)00161-8⟩. ⟨hal-02018773⟩

Jean-Louis Roch. Entre draperie rurale et draperie urbaine ? La draperie foraine de Rouen à la fin du Moyen Âge. Annales de Normandie, 1998, 47/3, p. 211-230. ⟨hal-03306048⟩

Nathalie Revol, Jean-Louis Roch. Parallel evaluation of arithmetic circuits. Theoretical Computer Science, Elsevier, 1996, A, 162 (1), pp.133-150. ⟨10.1016/0304-3975(95)00252-9⟩. ⟨inria-00545017⟩

Jean-Louis Roch. 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). Médiévales, 1992, 22-23, pp.187-206. ⟨hal-03306046⟩

Jean-Louis Roch. Bélîtres, marauds et autres gueux : de l'histoire à l'étymologie. Travaux de linguistique et de philologie de l'Université de Strasbourg, 1992, 30, p. 37-63. ⟨hal-03306044⟩

Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch. Formally Verifying Flow Properties in Industrial Systems. SECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩. ⟨hal-01527913⟩

Maxime Puys, Jean-Louis Roch, Marie-Laure Potet. Domain Specific Stateful Filtering with Worst-Case Bandwidth. 11th International Conference on Critical Information Infrastructures Security (CRITIS 2016), UIC, Oct 2016, Paris, France. ⟨hal-01393829⟩

Maxime Puys, Marie-Laure Potet, Jean-Louis Roch. Génération systématique de scénarios d'attaques contre des systèmes industriels. 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. ⟨hal-01330949⟩

Maxime Puys, Marie-Laure Potet, Jean-Louis Roch. Filtrage et vérification de flux métiers dans les systèmes industriels. Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2016), May 2016, Toulouse, France. ⟨hal-01316590⟩

Vincent Roca, Ludovic Jacquin, Saikou Fall, Jean-Louis Roch. New Results for the PTB-PTS Attack on Tunneling Gateways. GreHack 2015, Cédric Lauradoux, Florent Autréau, Nov 2015, Grenoble, France. ⟨hal-01245629v2⟩

Thierry Gautier, Jean-Louis Roch, Ziad Sultan, Bastien Vialla. Parallel Algebraic Linear Algebra Dedicated Interface. PASCO: International Workshop on Parallel Symbolic Computation, Jul 2015, Bath, United Kingdom. pp.34-43, ⟨10.1145/2790282.2790286⟩. ⟨hal-01221106⟩

Ludovic Jacquin, Vincent Roca, Jean-Louis Roch. Too Big or Too Small? The PTB-PTS ICMP-based Attack against IPsec Gateways. IEEE Global Communications Conference (GLOBECOM'14), John Donovan (general chair), Dec 2014, Austin, United States. ⟨hal-01052994⟩

Amrit Kumar, Jean-Louis Roch, Clément Pernet. Secured Outsourced Linear Algebra. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00926445⟩

Marc Tchiboukdjian, Nicolas Gast, Denis Trystram, Jean-Louis Roch, Julien Bernard. A Tighter Analysis of Work Stealing. 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⟩. ⟨hal-00788864⟩

Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch. Generic design of Chinese remaindering schemes. PASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩. ⟨hal-00449864v2⟩

Ludovic Jacquin, Vincent Roca, Jean-Louis Roch, Mohamed Alali. 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⟩. ⟨hal-00493044⟩

Majid Khonji, Clement Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski. Output-sensitive decoding for redundant residue systems. 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⟩. ⟨hal-00798446⟩

Thomas Roche, Jean-Louis Roch, Mathieu Cunche. Algorithm-based fault tolerance applied to P2P computing networks. IEEE First International Conference on Advances in P2P Systems, Oct 2009, Sliema, Malta. pp.144 - 149, ⟨10.1109/AP2PS.2009.30⟩. ⟨hal-00786217⟩

Luciano P. Soares, Clément Ménier, Bruno Raffin, Jean-Louis Roch. Work Stealing for Time-constrained Octree Exploration: Application to Real-time 3D Modeling. Eurographics 2008 Symposium on Parallel Graphics and Visualization (EGPGV'08), 2007, Lugano, Switzerland. pp.61--68. ⟨hal-01856374⟩

Luciano Soares, Clément Ménier, Bruno Raffin, Jean-Louis Roch. Parallel Adaptive Octree Carving for Real-time 3D Modeling. IEEE Virtual Reality Conference (VR '07), Mar 2007, Charlotte, United States. pp.273--274, ⟨10.1109/VR.2007.352498⟩. ⟨inria-00590242⟩

Christophe Cérin, Jean-Christophe Dubacq, Jean-Louis Roch. Methods for Partitioning Data to Improve Parallel Execution Time for Sorting on Heterogeneous Clusters. GPC 2006, 2006, France. pp.175-186. ⟨hal-00084822⟩

Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch. Adaptive triangular system solving. Challenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770. ⟨hal-00318543⟩

Jean-Louis Roch, Daouda Traoré. Un algorithme adaptatif optimal pour le calcul parallèle des préfixes. 8ème colloque Africain sur la recherche en Informatique, Nov 2006, Cotonou, Bénin. ⟨hal-00694537⟩

Xavier Besseron, Samir Jafar, Thierry Gautier, Jean-Louis Roch. CCK: An Improved Coordinated Checkpoint/Rollback Protocol for Dataflow Applications in KAAPI. ICTTA'06 IEEE Conference on Information and Communication Technologies: from Theory to Applications, Apr 2006, Damascus, Syria. ⟨10.1109/ICTTA.2006.1684955⟩. ⟨hal-00684864⟩

Sébastien Varette, Jean-Louis Roch, Franck Leprévost. Applicative Solutions for Safe Computations in Distributed Environments. Workshop "Trustworthy Software", May 2006, Saarbrücken, Germany. ⟨hal-00691883⟩

Jean-Louis Roch, Daouda Traoré, Julien Bernard. On-line adaptive parallel prefix computation. Euro-Par 2006, Aug 2006, Dresdren, Germany. pp.841-850, ⟨10.1007/11823285_88⟩. ⟨hal-00689026⟩

Van-Dat Cung, Vincent Danjean, Jean-Guillaume Dumas, Thierry Gautier, Guillaume Huard, et al.. Adaptive and Hybrid Algorithms: classification and illustration on triangular system solving. Transgressive Computing 2006, Apr 2006, Grenade, Spain. pp.131-148. ⟨hal-00318540⟩

Van-Dat Cung, Jean-Guillaume Dumas, Thierry Gautier, Guillaume Huard, Bruno Raffin, et al.. Adaptive algorithms: theory and application. SIAM Parallel Processing 2006, Mini-Symposium MS1: Adaptive algorithms for scientific computing, Feb 2006, San Francisco, United States. pp.49--50. ⟨hal-01856375⟩

Sébastien Varette, Jean-Louis Roch, Johan Montagnat, Ludwig Seitz, Jean-Marc Pierson, et al.. Safe Distributed Architecture for Image-based Computer Assisted Diagnosis. Workshop on Health Pervasive Systems, Jun 2006, Lyon, France. pp.1-10. ⟨hal-00683206⟩

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

Sébastien Varrette, Sébastien Georget, Jean-Louis Roch, Franck Leprévost. Authentification Distribuée sur Grille de Grappes basée sur LDAP. RenPar'16 : 16ème Rencontres Francophones du Parallélisme, Apr 2005, Le Croisic, France. ⟨hal-00694940⟩

Samir Jafar, Axel W. Krings, Thierry Gautier, Jean-Louis Roch. Theft-Induced Checkpointing for Reconfigurable Dataflow Applications. IEEE Electro/Information Technology Conference (EIT 2005), May 2005, Lincoln, United States. ⟨10.1109/EIT.2005.1626998⟩. ⟨hal-00683887⟩

Samir Jafar, Thierry Gautier, Axel W. Krings, Jean-Louis Roch. A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing. Euro-Par 2005, Aug 2005, Lisbonne, Portugal. ⟨10.1007/11549468_74⟩. ⟨hal-00685314⟩

Samir Jafar, Thierry Gautier, Jean-Louis Roch. Modèle de coût algorithmique intégrant des mécanismes de tolérance aux pannes et expérimentations. RenPar'16 :, Apr 2005, Le Croisic, France. pp.125-136. ⟨hal-00689018⟩

Samir Jafar, Sébastien Varrette, Jean-Louis Roch. Using Data-Flow Analysis for Resilence and Result Checking in Peer to Peer Computations. 2004, pp.512--516. ⟨hal-00005856⟩

Sébastien Varrette, Jean-Louis Roch. Certification logicielle de Calcul Global avec dépendances sur grille.. 2003, pp.169--176. ⟨hal-00005851⟩

Jean-Guillaume Dumas, Jean-Louis Roch, Eric Tannier, Sébastien Varrette. Théorie des codes - 3e édition : Compression, cryptage, correction. Dunod, pp.416, 2018, 9782100781096. ⟨hal-02639412⟩

Jean-Guillaume Dumas, Jean-Louis Roch, Eric Tannier, Sébastien Varrette. Foundations of Coding: Compression, Encryption, Error-Correction. Wiley, pp.376, 2015, 978-1-118-88144-6. ⟨hal-00765802⟩

Jean-Guillaume Dumas, Jean-Louis Roch, Eric Tannier, Sébastien Varrette. Théorie des Codes : compression, cryptage, correction, 2e edition. Dunod, pp.384, 2013, Sciences Sup, 9782100599110. ⟨hal-00932851⟩

Jean-Guillaume Dumas, Jean-Louis Roch, Eric Tannier, Sébastien Varrette. Théorie des Codes : compression, cryptage, correction. Dunod, pp.352, 2007, Sciences Sup, 9782100506927. ⟨hal-00318546⟩

Jean-Louis Roch. La crise de la draperie rouennaise à la fin du XVe siècle. 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. ⟨hal-03310194⟩

Jean-Louis Roch. Au sujet des élites rouennaises aux derniers siècles du Moyen Âge. 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. ⟨hal-03310193⟩

Jean-Louis Roch. L'organisation sociale de la draperie rouennaise aux XIVe et XVe siècles. 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. ⟨hal-03310733⟩

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

Jean-Guillaume Dumas, Pascal Bouvry, Roland Gillard, Jean-Louis Roch, Sébastien Varrette. Cryptographie à clef secrète. T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.23-102, 2006. ⟨hal-00318553⟩

Jean-Guillaume Dumas, Franck Leprévost, Jean-Louis Roch, Sébastien Varrette, Valentin Savin. Cryptographie à clef publique. 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. ⟨hal-00318555⟩

Jean-Louis Roch. Les métiers en procession: une image de la hiérarchie sociale dans les villes du Bas Moyen Age. 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. ⟨hal-03309548⟩

Jean-Louis Roch. Les guerres du peuple: autodéfense, révolte et pillage dans la guerre de Cent Ans. Images de la guerre de Cent Ans Actes du colloque de Rouen, p. 47-61, 2002, Publ. de l'Université de Rouen. ⟨hal-03308419⟩

Jean-Louis Roch. De l'usage social des lieux communs : le pauvre peuple et le gueux sans souci à la fin du Moyen Âge. Lieux communs, topiî, stéréotypes, clichés, Kymé, pp.204-217, 1993. ⟨hal-03306037⟩

Jean-Louis Roch. 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. ⟨hal-03306043⟩

Marc Moreno Maza, Jean-Louis Roch. PASCO '10: Proceedings of the 4th International Workshop on Parallel and Symbolic Computation. Moreno Maza, Marc and Roch, Jean-Louis. ACM, pp.192, 2010, 978-1-4503-0067-4. ⟨hal-00798454⟩

Ludovic Jacquin, Vincent Roca, Jean-Louis Roch. ICMP: an Attack Vector against IPsec Gateways. 2013. ⟨hal-00879997⟩

Amrit Kumar, Jean-Louis Roch. Algorithm-Based Secure and Fault Tolerant Outsourcing of Matrix Computations. 2013. ⟨hal-00876156⟩

Ludovic Jacquin, Vincent Roca, Mohamed Ali Kaafar, Fabrice Schuler, Jean-Louis Roch. IBTrack: An ICMP Black holes Tracker. 2012. ⟨hal-00695746⟩

Marc Tchiboukdjian, Denis Trystram, Jean-Louis Roch, Julien Bernard. List Scheduling: The Price of Distribution. [Research Report] RR-7208, INRIA. 2010, pp.20. ⟨inria-00458133⟩

Olivier Beaumont, El Mostafa Daoudi, Nicolas Maillard, Pierre Manneback, Jean-Louis Roch. Tradeoff to minimize extra-computations and stopping criterion tests for parallel iterative schemes. [Research Report] 2004, pp.13. ⟨hal-00777293⟩

Jean-Louis Roch, Rémi Revire, Thierry Gautier. Athapascan : an API for Asynchronous Parallel Programming User's Guide. [Research Report] RT-0276, INRIA. 2003, pp.77. ⟨inria-00069901⟩

Bogdan Dumitrescu, Mathias Doreille, Jean-Louis Roch, Denis Trystram. Two-dimensional Block Partitionings for the Parallel Sparse Cholesky Factorization : the Fan-in Method. [Research Report] RR-3156, INRIA. 1997. ⟨inria-00073533⟩

Jean-Louis Roch. Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1989. Français. ⟨tel-00334457⟩