Co-authors

Researcher identifiers

Number of documents

97


Journal articles20 documents

  • Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations. Computers and Security, Elsevier, 2017, 71, pp.51-70. ⟨10.1016/j.cose.2017.04.013⟩. ⟨hal-01497866⟩
  • Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition. Journal of Symbolic Computation, Elsevier, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩. ⟨hal-01251223v2⟩
  • Brice Boyer, Jean-Guillaume Dumas. Matrix multiplication over word-size modular rings using approximate formulae. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, 42 (3-20), ⟨10.1145/2829947⟩. ⟨hal-00987812⟩
  • 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⟩
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited. Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. ⟨10.3233/JCS-150535⟩. ⟨hal-01233555⟩
  • Jean-Guillaume Dumas. On Newton-Raphson iteration for multiplicative inverses modulo prime powers. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, 63 (8), pp.2106-2109. ⟨10.1109/TC.2013.94⟩. ⟨hal-00736701v5⟩
  • Grégory Nuel, Jean-Guillaume Dumas. Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source. Theoretical Computer Science, Elsevier, 2013, 479, pp.22-42. ⟨10.1016/j.tcs.2012.10.019⟩. ⟨hal-00492738v4⟩
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, 93, pp.45-59. ⟨10.4204/EPTCS.93.3⟩. ⟨hal-00650269v2⟩
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. A duality between exceptions and states. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (4), pp.719-722. ⟨10.1017/S0960129511000752⟩. ⟨hal-00650260v2⟩
  • Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy. Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields. Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.823-840. ⟨10.1016/j.jsc.2010.08.015⟩. ⟨hal-00315772⟩
  • Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Cartesian effect categories are Freyd-categories. Journal of Symbolic Computation, Elsevier, 2011, 46 (3), pp.272-293. ⟨10.1016/j.jsc.2010.09.008⟩. ⟨hal-00369328v3⟩
  • Jean-Guillaume Dumas, Rod Gow, John Sheekey. Rank properties of subspaces of symmetric and Hermitian matrices over finite fields. Finite Fields and Their Applications, Elsevier, 2011, 17 (6), pp.504-520. ⟨10.1016/j.ffa.2011.03.001⟩. ⟨hal-00699691⟩
  • Jean-Guillaume Dumas. Les rayons des permutations spirales. Mathématiques et Sciences Humaines, Centre de Mathématique Sociale et de statistique, EPHE, 2010, 192 (4), pp.5-26. ⟨hal-00447415v5⟩
  • Jean-Guillaume Dumas, Roderick Gow, Gary Mcguire, John Sheekey. Subspaces of matrices with special rank properties. Linear Algebra and its Applications, Elsevier, 2010, 433 (1), pp.191-202. ⟨10.1016/j.laa.2010.02.015⟩. ⟨hal-00699674⟩
  • Jean-Guillaume Dumas. Caractérisation des Quenines et leur représentation spirale. Mathématiques et Sciences Humaines, Centre de Mathématique Sociale et de statistique, EPHE, 2008, 184 (4), pp.9-23. ⟨hal-00188240v7⟩
  • Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet. Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK packages. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2008, 35 (3), pp.19:1-42. ⟨10.1145/1391989.1391992⟩. ⟨hal-00018223v4⟩
  • Jean-Guillaume Dumas. Bounds on the coefficients of the characteristic and minimal polynomials. Journal of Inequalities in Pure and Applied Mathematics, School of Communications and Informatics, 2007, 8 (2), art. 31, 6pp. ⟨hal-00086820v7⟩
  • Jacques Dubrois, Jean-Guillaume Dumas. Efficient polynomial time algorithms computing industrial-strength primitive roots. Information Processing Letters, Elsevier, 2006, 97 (2), pp.41-45. ⟨hal-00002828v5⟩
  • 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-Guillaume Dumas, B. David Saunders, Gilles Villard. On Efficient Sparse Integer Matrix Smith Normal Form Computations. Journal of Symbolic Computation, Elsevier, 2001, 32 (1-2), pp.71-99. ⟨10.1006/jsco.2001.0451⟩. ⟨hal-02018782⟩

Conference papers54 documents

  • Jean-Guillaume Dumas, Joris Van Der Hoeven, Clément Pernet, Daniel Roche. LU factorization with errors. ISSAC'19, Jul 2019, Beijing, China. ⟨hal-01997592⟩
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, et al.. Physical Zero-Knowledge Proof for Makaro. SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩. ⟨hal-01898048⟩
  • Jean-Guillaume Dumas, Clément Pernet. Symmetric indefinite triangular factorization revealing the rank profile matrix. ISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩. ⟨hal-01704793⟩
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. A Cryptographer's Conspiracy Santa. FUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩. ⟨hal-01777997v2⟩
  • Jean-Guillaume Dumas. Proof-of-work certificates that can be efficiently computed in the cloud. The 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.1-17, ⟨10.1007/978-3-319-99639-4_1⟩. ⟨hal-01825779v2⟩
  • Jean-Guillaume Dumas, David Lucas, Clement Pernet. Certificates for triangular equivalence and rank profiles. ACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩. ⟨hal-01466093⟩
  • Benoit Badrignans, Vincent Danjean, Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Sabine Machenaud, et al.. Security Architecture for Point-to-Point Splitting Protocols. WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom. ⟨hal-01657605⟩
  • Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel. LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. 14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩. ⟨hal-01564696⟩
  • Jean-Guillaume Dumas, Erich Kaltofen, Gilles Villard, Lihong Zhi. Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩. ⟨hal-01657873⟩
  • Jean-Guillaume Dumas, Vincent Zucca. Prover efficient public verification of dense or sparse/structured matrix-vector multiplication. ACISP 2017 - 22nd Australasian Conference on Information Security and Privacy, Jul 2017, Auckland, New Zealand. pp.115-134, ⟨10.1007/978-3-319-59870-3_7⟩. ⟨hal-01503870⟩
  • Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩. ⟨hal-01266041⟩
  • Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. 8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩. ⟨hal-01326059⟩
  • Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi. Recursive double-size fixed precision arithmetic. ICMS: International Congress of Mathematical Software, Jul 2016, Berlin, Germany. pp.223--231, ⟨10.1007/978-3-319-42432-3_28⟩. ⟨hal-00582593v2⟩
  • Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Private Multi-party Matrix Multiplication and Trust Computations. 13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩. ⟨hal-01344750v2⟩
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud, Damien Pous. Hilbert-Post completeness for the state and the exception effects. Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩. ⟨hal-01121924v3⟩
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Computing the Rank Profile Matrix. ISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩. ⟨hal-01107722v2⟩
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous. Formal verification in Coq of program properties involving the global state effect. JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17. ⟨hal-00869230v2⟩
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud. Certified proofs in programs involving exceptions. Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16. ⟨hal-00867237v3⟩
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library. ICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩. ⟨hal-01015138⟩
  • Jean-Guillaume Dumas, Erich Kaltofen. Essentially optimal interactive certificates in linear algebra. ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩. ⟨hal-00932846v2⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan. Parallel computation of echelon forms. EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩. ⟨hal-00947013⟩
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Simultaneous computation of the row and column rank profiles. ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. pp.181-188, ⟨10.1145/2465506.2465517⟩. ⟨hal-00778136⟩
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's Fully Private Auction Protocol Revisited. Africacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩. ⟨hal-00745247v3⟩
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States. ACCAT, 2012, -, Estonia. ⟨hal-00828544⟩
  • Jean-Guillaume Dumas, Hicham Hossayni. Matrix powers algorithms for trust evaluation in PKI architectures. STM 2012 - 8th International Workshop on Security and Trust Management (co-ESORICS 2012), Sep 2012, Pise, Italy. pp16. ⟨hal-00607478v4⟩
  • 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⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders. LinBox founding scope allocation, parallel building blocks, and separate compilation. ICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.77-83, ⟨10.1007/978-3-642-15582-6_16⟩. ⟨hal-00506599⟩
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi. Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures. PASCO'10: 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.80-88, ⟨10.1145/1837210.1837224⟩. ⟨hal-00475185⟩
  • Alexandre Berzati, Cécile Canovas, Jean-Guillaume Dumas, Louis Goubin. Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable. RSA Conference 2009 - Cryptographers' Track, Apr 2009, San Francisco, United States. pp.414--428, ⟨10.1007/978-3-642-00862-7_28⟩. ⟨hal-00348416v3⟩
  • Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou. Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩. ⟨hal-00163141v5⟩
  • Jean-Guillaume Dumas, Clément Pernet, B. David Saunders. On finding multiplicities of characteristic polynomial factors of black-box matrices. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.135-142, ⟨10.1145/1576702.1576723⟩. ⟨hal-00357262v2⟩
  • Dominique Duval, Jean-Guillaume Dumas, Jean-Claude Reynaud. Sequential products for effects. ACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom. ⟨hal-00388686⟩
  • Jean-Guillaume Dumas. Q-adic Transform revisited. ISSAC '08 - 21st International Symposium on Symbolic and Algebraic Computation 2008, Jul 2008, Hagenberg, Austria. pp.63-70, ⟨10.1145/1390768.1390780⟩. ⟨hal-00173894v6⟩
  • Jean-Guillaume Dumas. Compromis temps/mémoire en algèbre linéaire dense sur des corps finis. Journée nationale du GDR Informatique Mathématique, Jan 2008, Paris, France. ⟨hal-00770315⟩
  • Jean-Guillaume Dumas. Arithmétique compressée pour des petits corps finis. Rencontres Arithmétique de l'Informatique Mathématique, Jun 2008, Lille, France. ⟨hal-00770318⟩
  • Jean-Guillaume Dumas. Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields. Sage Days 10, Oct 2008, Nancy, France. ⟨hal-00770321⟩
  • Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy. Compressed Modular Matrix Multiplication. MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140. ⟨hal-00259950v2⟩
  • Jean-Guillaume Dumas. Outils pour un intergiciel générique en calcul formel. JCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France. ⟨hal-00770312⟩
  • Dominique Duval, Jean-Guillaume Dumas, Jean-Claude Reynaud. Sequential products in effect categories. Journées ARROWS, Jun 2007, Nancy, France. ⟨hal-00770341⟩
  • Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska. Parallel computation of the rank of large sparse matrices from algebraic K-theory. PASCO '07 - International Workshop on Parallel Symbolic Computation, Jul 2007, London, Canada. pp.43-52, ⟨10.1145/1278177.1278186⟩. ⟨hal-00142141v2⟩
  • Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch. Adaptive triangular system solving. Challenges in Symbolic Computation Software, Oct 2006, Dagstuhl, Germany. pp.770. ⟨hal-00318543⟩
  • 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, 2006, San Francisco, USA, Unknown Region. pp.49--50. ⟨hal-01856375⟩
  • Jean-Guillaume Dumas, Dominique Duval. Towards a diagrammatic modeling of the LinBox C++ linear algebra library. Langages et Modèles à Objets, 2006, Nîmes, France. pp.117-132. ⟨hal-00012346v2⟩
  • Jean-Guillaume Dumas, Anna Urbanska. An introspective algorithm for the integer determinant. Transgressive Computing 2006, Apr 2006, Grenade, Spain. pp.185-202. ⟨hal-00014044v5⟩
  • Dominique Duval, Jean-Guillaume Dumas. Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox. Langages et Modèles à Objet (LMO'06), Mar 2006, Nimes, France. p.117-132. ⟨hal-00388393⟩
  • Jean-Guillaume Dumas, Aude Rondepierre. Algorithms for Symbolic/Numeric Control of Affine Dynamical Systems *. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2005, Beijing, China. ⟨10.1145/1073884.1073923⟩. ⟨hal-01807149⟩
  • Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan. Efficient Computation of the Characteristic Polynomial. International Symposium on Symbolic and Algebraic Computation (ISSAC'15), Jul 2005, Beijing, China. pp.140-147. ⟨hal-00004056v2⟩
  • Jean-Guillaume Dumas. Efficient dot product over word-size finite fields. Computer Algebra in Scientific Computing, Jul 2004, Saint Petersburg, Russia. pp.139--154. ⟨hal-00001380v2⟩
  • Jean-Guillaume Dumas, Pascal Giorgi, Clement Pernet. FFPACK: finite field linear algebra package. International Symposium on Symbolic and Algebraic Computation (ISSAC'04), Jul 2004, Santander, Spain. pp.119-126, ⟨10.1145/1005285.1005304⟩. ⟨hal-02018838⟩
  • Jean-Guillaume Dumas, Aude Rondepierre. Modeling the electrical activity of a neuron by a continuous and piecewise affine hybrid system. Hybrid Systems: Computation and Control , Mar 2003, Prague, Czech Republic. ⟨hal-01807138⟩
  • Jean-Guillaume Dumas, Gilles Villard. Computing the Rank of Large Sparse Matrices over Finite Fields. Computer Algebra in Scientific Computing (CASC) 2002, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, Sep 2002, Yalta, Ukraine. pp.47--62. ⟨hal-02068056⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clement Pernet. Finite field linear algebra subroutines. International Symposium on Symbolic and Algebraic Computation (ISSAC'02), Jul 2002, Lille, France. pp.63-74, ⟨10.1145/780506.780515⟩. ⟨hal-02018841⟩
  • Jean-Guillaume Dumas, B. David Saunders, Gilles Villard. Integer Smith form via the valence. International Symposium on Symbolic and Algebraic Computation (ISSAC'00), 2000, St. Andrews, United Kingdom. pp.95-105, ⟨10.1145/345542.345590⟩. ⟨hal-02018851⟩

Books5 documents

Book sections5 documents

  • Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel. LocalPKI: An Interoperable and IoT Friendly PKI. E-Business and Telecommunications, 990, pp.224-252, 2019, Communications in Computer and Information Science. ICETE 2017, ⟨10.1007/978-3-030-11039-0_11⟩. ⟨hal-01963269⟩
  • Jean-Guillaume Dumas, Clément Pernet. Computational linear algebra over finite fields. Gary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786. 〈hal-00688254〉
  • 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. T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.103-186, 2006. ⟨hal-00318555⟩
  • 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⟩

Preprints, Working Papers, ...8 documents

  • Jean-Guillaume Dumas, Pascal Lafourcade, Julio Fenner, David Lucas, Jean-Baptiste Orfila, et al.. Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm. 2019. ⟨hal-01781554v3⟩
  • Jean-Guillaume Dumas, Victor Pan. Fast Matrix Multiplication and Symbolic Computation. 2016. ⟨hal-01417524⟩
  • Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé. Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices. 2015. ⟨hal-01171249⟩
  • Jean-Guillaume Dumas, Jean-Baptiste Orfila. Generating S-Boxes from Semi-fields Pseudo-extensions. 2014. ⟨hal-01075148⟩
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: Exceptions. 11 pages. 2012. 〈hal-00678738〉
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. States and exceptions considered as dual effects. 2011. ⟨hal-00445873v4⟩
  • Jean-Guillaume Dumas, Aude Rondepierre. An hybrid system approach to nonlinear optimal control problems. 2008. ⟨hal-00004191v4⟩
  • Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Sequential products in effect categories. 2007. ⟨hal-00161303⟩

Reports3 documents

  • Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Breaking a monad-comonad symmetry between computational effects. [Research Report] arXiV. 2014. ⟨hal-00941653⟩
  • Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Patterns for computational effects arising from a monad or a comonad. 2013. ⟨hal-00868831v2⟩
  • Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Adjunctions for exceptions. 2012. ⟨hal-00714710v2⟩

Theses1 document

  • Jean-Guillaume Dumas. Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriques. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2000. Français. ⟨tel-00002742v2⟩

Habilitation à diriger des recherches1 document

  • Jean-Guillaume Dumas. Contributions au calcul exact intensif. Calcul formel [cs.SC]. Université de Grenoble, 2010. ⟨tel-00514925⟩