HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
hal-00869230v2  Conference papers
Jean-Guillaume DumasDominique DuvalBurak EkiciDamien 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-01121924v3  Conference papers
Jean-Guillaume DumasDominique DuvalBurak EkiciJean-Claude ReynaudDamien 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-00688254v1  Book sections
Jean-Guillaume DumasClé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-00778136v1  Conference papers
Jean-Guillaume DumasClément PernetZiad 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-02639358v1  Book sections
Jean-Guillaume DumasPascal Lafourcade. La sécurité de bitcoin et des blockchains
Gildas Avoine; Marc-Olivier Killijian. Treize défis de la cybersécurité, CNRS Éditions, pp.213-232, 2020, 2271130611
...
hal-00018223v4  Journal articles
Jean-Guillaume DumasPascal GiorgiClé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-00318543v1  Conference papers
Jean-Guillaume DumasClément PernetJean-Louis Roch. Adaptive triangular system solving
Challenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770
hal-00318550v1  Book sections
Jean-Guillaume DumasFranck LeprévostJean-Louis RochSé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-00318553v1  Book sections
Jean-Guillaume DumasPascal BouvryRoland GillardJean-Louis RochSé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-00318555v1  Book sections
Jean-Guillaume DumasFranck LeprévostJean-Louis RochSébastien VarretteValentin 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-02875379v4  Conference papers
Gaspard AnthoineJean-Guillaume DumasMichael HanlingMélanie de JongheAude Maignan et al.  Dynamic proofs of retrievability with low server storage
30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.537--554
...
tel-00002742v2  Theses
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
...
hal-02102080v1  Reports
Jean-Guillaume DumasT. GautierM. GiesbrechtPascal GiorgiB. Hovinen et al.  LinBox: A Generic Library for Exact Linear Algebra
[Research Report] LIp RR-2002-15, Laboratoire de l'informatique du parallélisme. 2002, 2+12p
...
hal-00357262v2  Conference papers
Jean-Guillaume DumasClément PernetB. 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-00449864v2  Conference papers
Jean-Guillaume DumasThierry GautierJean-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-00987812v1  Journal articles
Brice BoyerJean-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-00259950v2  Conference papers
Jean-Guillaume DumasLaurent FousseBruno Salvy. Compressed Modular Matrix Multiplication
MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140
...
hal-01233555v1  Journal articles
Jannik DreierJean-Guillaume DumasPascal 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⟩