Nombre de documents

80


Article dans une revue17 documents

  • 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-01251223〉
  • 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-00736701v3〉
  • 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. A duality between exceptions and states. Mathematical Structures for Computer Science, 2012, 22 (4), pp.719-722. 〈10.1017/S0960129511000752〉. 〈hal-00828521〉
  • 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, Jean-Claude Reynaud. Breaking a monad-comonad symmetry between computational effects. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (4), pp.719-722. 〈10.1017/S0960129511000752〉. 〈hal-00941653〉
  • 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, 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, 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. 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〉

Communication dans un congrès38 documents

  • 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. Springer, 10343, pp.115-134, 2017, Lecture Notes in Computer Science. 〈http://acisp.massey.ac.nz/〉. 〈10.1007/978-3-319-59870-3_7〉. 〈hal-01503870〉
  • Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Private Multi-party Matrix Multiplication and Trust Computations. Pierangela Samarati. SECRYPT 2016 : 13th International Conference on Security and Cryptography, Jul 2016, Lisbon, Portugal. pp.61-72, 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. 〈http://www.secrypt.icete.org/〉. 〈10.5220/0005957200610072〉. 〈hal-01344750v2〉
  • Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. Xiao-Shan Gao. International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. ACM, pp.199-206, ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation. 〈http://www.issac-conference.org/2016/〉. 〈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. Erik Demaine ; Fabrizio Grandoni FUN with algorithms 2016, Jun 2016, La Maddalena, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 49, pp.8:1-8:20, 2016, Leibniz International Proceedings in Informatics (LIPIcs). 〈http://www2.idsia.ch/cms/fun16/〉. 〈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. International Congress of Mathematical Software, Jul 2016, Berlin, Germany. Volume 9725 of the series Lecture Notes in Computer Science, pp.223--231, 2016, Mathematical Software – ICMS 2016. 〈http://icms2016.zib.de〉. 〈10.1007/978-3-319-42432-3_28〉. 〈hal-00582593v2〉
  • Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud. Hilbert-Post completeness for the state and the exception effects. Siegfried Rump (Hamburg University of Technology); Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. Springer, Lecture Notes in Computer Sciences, 9582, pp.596-610, 2015, MACIS 2015 Revised Selected Papers of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences. 〈10.1007/978-3-319-32859-1_51〉. 〈hal-01121924v3〉
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Computing the Rank Profile Matrix. Kazuhiro Yokoyama ISSAC , Jul 2015, Bath, United Kingdom. ACM, ISSAC 2015 : ACM International Symposium on Symbolic and Algebraic Computations, pp.146--153, 2015, ISSAC 2015. 〈10.1145/2755996.2756682〉. 〈hal-01107722v2〉
  • 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. ACM, pp.146-153, 2014, 〈10.1145/2608628.2608644〉. 〈hal-00932846v2〉
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library. Hoon Hong; Chee Yap. ICMS - 4th International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. Springer, Lecture Notes in Computer Science, 8592, pp.654-662, 2014, Mathematical Software – ICMS 2014. 〈10.1007/978-3-662-44199-2_98〉. 〈hal-01015138〉
  • 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. Springer, 8632, pp.499-510, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-09873-9_42〉. 〈hal-00947013〉
  • 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, 2014. 〈hal-00867237v3〉
  • 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, 2014. 〈hal-00869230v2〉
  • Jannik Dreier, Jean-Guillaume Dumas, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols & Brandt's Protocol Revisited. 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy. 〈hal-01338057〉
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Simultaneous computation of the row and column rank profiles. Manuel Kauers. ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. ACM, pp.181-188, 2013, 〈10.1145/2465506.2465517〉. 〈hal-00778136〉
  • Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's Fully Private Auction Protocol Revisited. Amr Youssef and Abderrahmane Nitaj and Aboul Ella Hassanien. Africacrypt 2013, Jun 2013, Le Caire, Egypt. Springer, 7918, pp.88-106, 2013, Lecture Notes in Computer Science. 〈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. Open Publishing Association, 93, pp.45-59, 2012, 〈10.4204/EPTCS.93.3〉. 〈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, 2013. 〈hal-00607478v4〉
  • Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch. Generic design of Chinese remaindering schemes. Marc Moreno Maza & Jean-Louis Roch. PASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. Association for Computing Machinery, pp.26-34, 2010, 〈10.1145/1837210.1837218〉. 〈hal-00449864v2〉
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi. Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures. Marc Moreno Maza & Jean-Louis Roch. PASCO'10: 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. Association for Computing Machinery, pp.80-88, 2010, 〈10.1145/1837210.1837224〉. 〈hal-00475185〉
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders. LinBox founding scope allocation, parallel building blocks, and separate compilation. Komei Fukuda, Joris van der Hoeven, and Michael Joswig. ICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, pp.77-83, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15582-6_16〉. 〈hal-00506599〉
  • Jean-Guillaume Dumas, Clément Pernet, B. David Saunders. On finding multiplicities of characteristic polynomial factors of black-box matrices. Jeremy Johnson, Hyungju Park, Erich Kaltofen. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. ACM, pp.135-142, 2009, 〈10.1145/1576702.1576723〉. 〈hal-00357262v2〉
  • Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou. Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. Jeremy Johnson, Hyungju Park, Erich Kaltofen. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. ACM, pp.55-62, 2009, 〈10.1145/1576702.1576713〉. 〈hal-00163141v5〉
  • 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〉
  • Alexandre Berzati, Cécile Canovas, Jean-Guillaume Dumas, Louis Goubin. Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable. Marc Fischlin. RSA Conference 2009 - Cryptographers' Track, Apr 2009, San Francisco, United States. Springer, 5473, pp.414--428, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-00862-7_28〉. 〈hal-00348416v3〉
  • Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy. Compressed Modular Matrix Multiplication. Mark Giesbrecht and Stephen Watt. MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140, 2008. 〈hal-00259950v2〉
  • Jean-Guillaume Dumas. Q-adic Transform revisited. J. Rafael Sendra and Laureano González-Vega. ISSAC '08 - 21st International Symposium on Symbolic and Algebraic Computation 2008, Jul 2008, Hagenberg, Austria. ACM Press, pp.63-70, 2008, ISSAC 2008. 〈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〉
  • 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. Outils pour un intergiciel générique en calcul formel. JCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France. 〈hal-00770312〉
  • 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. ACM Press, pp.43-52, 2007, PASCO 2007. 〈10.1145/1278177.1278186〉. 〈hal-00142141v2〉
  • Jean-Guillaume Dumas, Dominique Duval. Towards a diagrammatic modeling of the LinBox C++ linear algebra library. Roger Rousseau, Christelle Urtado, Sylvain Vauttier. Langages et Modèles à Objets, 2006, Nîmes, France. Hermès ; Lavoisier, pp.117-132, 2006. 〈hal-00012346v2〉
  • 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. Hermès-Lavoisier, p.117-132, 2006. 〈hal-00388393〉
  • Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch. Adaptive triangular system solving. Challenges in Symbolic Computation Software, Oct 2006, Dagstuhl, Germany. pp.770, 2006. 〈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. Jean-Guillaume Dumas. Transgressive Computing 2006, Apr 2006, Grenade, Spain. Copias Coca, Madrid, pp.131-148, 2006. 〈hal-00318540〉
  • Jean-Guillaume Dumas, Anna Urbanska. An introspective algorithm for the integer determinant. Jean-Guillaume Dumas. Transgressive Computing 2006, Apr 2006, Grenade, Spain. Copias CoCa, Madrid, pp.185-202, 2006. 〈hal-00014044v5〉
  • Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan. Efficient Computation of the Characteristic Polynomial. Manuel Kauers. 2005, ACM Press., pp.140-147, 2005. 〈hal-00004056v2〉

Ouvrage (y compris édition critique et traduction)4 documents

Chapitre d'ouvrage4 documents

  • 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〉

Pré-publication, Document de travail13 documents

  • Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel. LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. 2017. 〈hal-01564696〉
  • Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys. Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations *. 2017. 〈hal-01497866〉
  • Jean-Guillaume Dumas, David Lucas, Clement Pernet. Certificates for triangular equivalence and rank profiles. 2017. 〈hal-01466093〉
  • 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〉
  • Brice Boyer, Jean-Guillaume Dumas. Matrix multiplication over word-size prime fields using Bini's approximate formula. 2014. 〈hal-00987812〉
  • 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, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. A duality between exceptions and states. 2011. 〈hal-00650260〉
  • 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〉
  • Jean-Guillaume Dumas. Efficient dot product over word-size finite fields. IMAG - LMC RR n 1064 - I. 2004. 〈hal-00001380v2〉

Rapport2 documents

  • 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〉

Thèse1 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〉

HDR1 document

  • Jean-Guillaume Dumas. Contributions au calcul exact intensif. Génie logiciel [cs.SE]. Université de Grenoble, 2010. 〈tel-00514925〉