|
Strassen's algorithm is not optimally accurate
Jean-Guillaume Dumas
,
Clément Pernet
,
Alexandre Sedoglavic
49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.254-263, ⟨10.1145/3666000.3669697⟩
Conference papers
hal-04441653
v2
|
|
In-place fast polynomial modular remainder
Jean-Guillaume Dumas
,
Bruno Grenet
Proceedings of the 49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.26-35, ⟨10.1145/3666000.3669672⟩
Conference papers
hal-03979016
v7
|
|
In-place accumulation of fast multiplication formulae
Jean-Guillaume Dumas
,
Bruno Grenet
Proceedings of the 49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.16-25, ⟨10.1145/3666000.3669671⟩
Conference papers
hal-04167499
v4
|
|
VESPo: Verified Evaluation of Secret Polynomials
Jean-Guillaume Dumas
,
Aude Maignan
,
Clément Pernet
,
Daniel S. Roche
Conference papers
hal-03365854
v5
|
|
The forking effect
Florentina Șoiman
,
Mathis Mourey
,
Jean-Guillaume Dumas
,
Sonia Jimenez-Garces
39th International Conference of the French Finance Association (AFFI), Jun 2023, Bordeaux, France
Conference papers
hal-03216121
v2
|
|
The return of (I)DeFiX
Florentina Șoiman
,
Jean-Guillaume Dumas
,
Sonia Jimenez-Garcès
38th International Conference of the French Finance Association, May 2022, Saint-Malo, France
Conference papers
hal-04809506
v1
|
|
Dynamic proofs of retrievability with low server storage
Gaspard Anthoine
,
Jean-Guillaume Dumas
,
Michael Hanling
,
Mélanie de Jonghe
,
Aude Maignan
et al.
Conference papers
hal-02875379
v4
|
|
The forking effect
Florentina Șoiman
,
Mathis Mourey
,
Jean-Guillaume Dumas
,
Sonia Jimenez-Garcès
World Finance Conference, Aug 2021, Virtual, Norway
Conference papers
hal-04872882
v1
|
|
Risk analyses of the crypto-market: A literature review
Jean-Guillaume Dumas
,
Sonia Jimenez-Garces
,
Florentina Șoiman
12th International Conference on Complexity, Informatics and Cybernetics (IMCIC 2021), International Institution of Informatics and Systemics, Mar 2021, Orlando, United States. pp.30--37, ⟨10.2139/ssrn.4762603⟩
Conference papers
hal-03112920
v4
|
|
On fast multiplication of a matrix by its transpose
Jean-Guillaume Dumas
,
Clément Pernet
,
Alexandre Sedoglavic
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation (ISSAC 2020), ACM SIGSAM, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩
Conference papers
hal-02432390
v4
|
|
LU factorization with errors
Jean-Guillaume Dumas
,
Joris van der Hoeven
,
Clément Pernet
,
Daniel S. Roche
International Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩
Conference papers
hal-01997592
v1
|
|
Interactive Physical Zero-Knowledge Proof for Norinori
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Daiki Miyahara
,
Takaaki Mizuki
,
Tatsuya Sasaki
et al.
Conference papers
hal-02150062
v1
|
|
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Julio Lopez Fenner
,
David Lucas
,
Jean-Baptiste Orfila
et al.
Conference papers
hal-01781554
v3
|
|
Proof-of-work certificates that can be efficiently computed in the cloud
Jean-Guillaume Dumas
The 20th International Workshop on Computer Algebra in Scientific Computing (CASC 2018), Sep 2018, Lille, France. pp.1-17, ⟨10.1007/978-3-319-99639-4_1⟩
Conference papers
hal-01825779
v2
|
|
A Cryptographer's Conspiracy Santa
Xavier Bultel
,
Jannik Dreier
,
Jean-Guillaume Dumas
,
Pascal Lafourcade
Conference papers
hal-01777997
v2
|
|
Physical Zero-Knowledge Proof for Makaro
Xavier Bultel
,
Jannik Dreier
,
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Daiki Miyahara
et al.
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⟩
Conference papers
hal-01898048
v1
|
|
Symmetric indefinite triangular factorization revealing the rank profile matrix
Jean-Guillaume Dumas
,
Clément Pernet
Conference papers
hal-01704793
v1
|
|
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
Jean-Guillaume Dumas
,
Erich Kaltofen
,
Gilles Villard
,
Lihong Zhi
ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
Conference papers
hal-01657873
v1
|
|
Security Architecture for Point-to-Point Splitting Protocols
Benoit Badrignans
,
Vincent Danjean
,
Jean-Guillaume Dumas
,
Philippe Elbaz-Vincent
,
Sabine Machenaud
et al.
WCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Conference papers
hal-01657605
v1
|
|
Prover efficient public verification of dense or sparse/structured matrix-vector multiplication
Jean-Guillaume Dumas
,
Vincent Zucca
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⟩
Conference papers
hal-01503870
v1
|
|
Certificates for triangular equivalence and rank profiles
Jean-Guillaume Dumas
,
David Lucas
,
Clément Pernet
ACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩
Conference papers
hal-01466093
v2
|
|
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Francis Melemedjian
,
Jean-Baptiste Orfila
,
Pascal Thoniel
Conference papers
hal-01564696
v1
|
|
Private Multi-party Matrix Multiplication and Trust Computations
Jean-Guillaume Dumas
,
Pascal Lafourcade
,
Jean-Baptiste Orfila
,
Maxime Puys
13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩
Conference papers
hal-01344750
v2
|
|
Recursive double-size fixed precision arithmetic
Alexis Breust
,
Christophe Chabot
,
Jean-Guillaume Dumas
,
Laurent Fousse
,
Pascal Giorgi
Conference papers
hal-00582593
v2
|
|
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen
Xavier Bultel
,
Jannik Dreier
,
Jean-Guillaume Dumas
,
Pascal Lafourcade
Conference papers
hal-01326059
v1
|
|
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
Jean-Guillaume Dumas
,
Erich Kaltofen
,
Emmanuel Thomé
,
Gilles Villard
ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩
Conference papers
hal-01266041
v3
|
|
Computing the Rank Profile Matrix
Jean-Guillaume Dumas
,
Clément Pernet
,
Ziad Sultan
Conference papers
hal-01107722
v2
|
|
Hilbert-Post completeness for the state and the exception effects
Jean-Guillaume Dumas
,
Dominique Duval
,
Burak Ekici
,
Jean-Claude Reynaud
,
Damien Pous
Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩
Conference papers
hal-01121924
v3
|
|
Essentially optimal interactive certificates in linear algebra
Jean-Guillaume Dumas
,
Erich Kaltofen
ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩
Conference papers
hal-00932846
v4
|
|
Formal verification in Coq of program properties involving the global state effect
Jean-Guillaume Dumas
,
Dominique Duval
,
Burak Ekici
,
Damien Pous
JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17
Conference papers
hal-00869230
v2
|
|
Certified proofs in programs involving exceptions
Jean-Guillaume Dumas
,
Dominique Duval
,
Burak Ekici
,
Jean-Claude Reynaud
Conference on Intelligent Computer Mathematics Work in Progress (CICM 2014), Jul 2014, Coimbra, Portugal. pp.16
Conference papers
hal-00867237
v3
|
|
Parallel computation of echelon forms
Jean-Guillaume Dumas
,
Thierry Gautier
,
Clément Pernet
,
Ziad Sultan
Conference papers
hal-00947013
v1
|
|
Elements of Design for Containers and Solutions in the LinBox Library
Brice Boyer
,
Jean-Guillaume Dumas
,
Pascal Giorgi
,
Clément Pernet
,
B. David Saunders
Conference papers
hal-01015138
v1
|
|
Matrix powers algorithms for trust evaluation in PKI architectures
Jean-Guillaume Dumas
,
Hicham Hossayni
STM 2012 - 8th International Workshop on Security and Trust Management (co-ESORICS 2012), Sep 2012, Pise, Italy. pp16
Conference papers
hal-00607478
v4
|
|
Brandt's Fully Private Auction Protocol Revisited
Jannik Dreier
,
Jean-Guillaume Dumas
,
Pascal Lafourcade
Conference papers
hal-00745247
v3
|
|
Simultaneous computation of the row and column rank profiles
Jean-Guillaume Dumas
,
Clément Pernet
,
Ziad Sultan
ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. pp.181-188, ⟨10.1145/2465506.2465517⟩
Conference papers
hal-00778136
v1
|
|
Decorated proofs for computational effects: States
Jean-Guillaume Dumas
,
Dominique Duval
,
Laurent Fousse
,
Jean-Claude Reynaud
ACCAT, 2012, -, Estonia
Conference papers
hal-00828544
v1
|
|
Generic design of Chinese remaindering schemes
Jean-Guillaume Dumas
,
Thierry Gautier
,
Jean-Louis Roch
PASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩
Conference papers
hal-00449864
v2
|
|
LinBox founding scope allocation, parallel building blocks, and separate compilation
Jean-Guillaume Dumas
,
Thierry Gautier
,
Clément Pernet
,
B. David Saunders
Conference papers
hal-00506599
v1
|
|
Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures
Brice Boyer
,
Jean-Guillaume Dumas
,
Pascal Giorgi
PASCO'10: 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.80-88, ⟨10.1145/1837210.1837224⟩
Conference papers
hal-00475185
v1
|
|
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
Brice Boyer
,
Jean-Guillaume Dumas
,
Clément Pernet
,
Wei Zhou
ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩
Conference papers
hal-00163141
v5
|
|
On finding multiplicities of characteristic polynomial factors of black-box matrices
Jean-Guillaume Dumas
,
Clément Pernet
,
B. David Saunders
ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.135-142, ⟨10.1145/1576702.1576723⟩
Conference papers
hal-00357262
v2
|
|
Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable
Alexandre Berzati
,
Cécile Canovas
,
Jean-Guillaume Dumas
,
Louis Goubin
Conference papers
hal-00348416
v3
|
|
Sequential products for effects
Dominique Duval
,
Jean-Guillaume Dumas
,
Jean-Claude Reynaud
ACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom
Conference papers
hal-00388686
v1
|
|
Compressed Modular Matrix Multiplication
Jean-Guillaume Dumas
,
Laurent Fousse
,
Bruno Salvy
MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140
Conference papers
hal-00259950
v2
|
|
Compromis temps/mémoire en algèbre linéaire dense sur des corps finis
Jean-Guillaume Dumas
Journée nationale du GDR Informatique Mathématique, Jan 2008, Paris, France
Conference papers
hal-00770315
v1
|
|
Q-adic Transform revisited
Jean-Guillaume Dumas
ISSAC '08 - 21st International Symposium on Symbolic and Algebraic Computation 2008, Jul 2008, Hagenberg, Austria. pp.63-70, ⟨10.1145/1390768.1390780⟩
Conference papers
hal-00173894
v6
|
|
Arithmétique compressée pour des petits corps finis
Jean-Guillaume Dumas
Rencontres Arithmétique de l'Informatique Mathématique, Jun 2008, Lille, France
Conference papers
hal-00770318
v1
|
|
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields
Jean-Guillaume Dumas
Sage Days 10, Oct 2008, Nancy, France
Conference papers
hal-00770321
v1
|
|
Sequential products in effect categories
Dominique Duval
,
Jean-Guillaume Dumas
,
Jean-Claude Reynaud
Journées ARROWS, Jun 2007, Nancy, France
Conference papers
hal-00770341
v1
|
|
Outils pour un intergiciel générique en calcul formel
Jean-Guillaume Dumas
JCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France
Conference papers
hal-00770312
v1
|
|
Parallel computation of the rank of large sparse matrices from algebraic K-theory
Jean-Guillaume Dumas
,
Philippe Elbaz-Vincent
,
Pascal Giorgi
,
Anna Urbanska
PASCO '07 - International Workshop on Parallel Symbolic Computation, Jul 2007, London, Canada. pp.43-52, ⟨10.1145/1278177.1278186⟩
Conference papers
hal-00142141
v2
|
|
Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox
Dominique Duval
,
Jean-Guillaume Dumas
Langages et Modèles à Objet (LMO'06), Mar 2006, Nimes, France. p.117-132
Conference papers
hal-00388393
v1
|
|
LinBox
Jean-Guillaume Dumas
International Congress on Mathematical Software, ICMS'2006, Sep 2006, Castro Urdiales, Spain
Conference papers
hal-00104044
v1
|
|
Adaptive triangular system solving
Jean-Guillaume Dumas
,
Clément Pernet
,
Jean-Louis Roch
Challenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770
Conference papers
hal-00318543
v1
|
|
Adaptive algorithms: theory and application
Van-Dat Cung
,
Jean-Guillaume Dumas
,
Thierry Gautier
,
Guillaume Huard
,
Bruno Raffin
et al.
SIAM Parallel Processing 2006, Mini-Symposium MS1: Adaptive algorithms for scientific computing, Feb 2006, San Francisco, United States. pp.49--50
Conference papers
hal-01856375
v1
|
|
Towards a diagrammatic modeling of the LinBox C++ linear algebra library
Jean-Guillaume Dumas
,
Dominique Duval
Langages et Modèles à Objets, Mar 2006, Nîmes, France. pp.117-132
Conference papers
hal-00012346
v2
|
|
An introspective algorithm for the integer determinant
Jean-Guillaume Dumas
,
Anna Urbanska
Transgressive Computing 2006, Apr 2006, Grenade, Spain. pp.185-202
Conference papers
hal-00014044
v5
|
|
Adaptive and Hybrid Algorithms: classification and illustration on triangular system solving
Van-Dat Cung
,
Vincent Danjean
,
Jean-Guillaume Dumas
,
Thierry Gautier
,
Guillaume Huard
et al.
Transgressive Computing 2006, Apr 2006, Grenade, Spain. pp.131-148
Conference papers
hal-00318540
v1
|
|
Efficient Computation of the Characteristic Polynomial
Jean-Guillaume Dumas
,
Clément Pernet
,
Zhendong Wan
International Symposium on Symbolic and Algebraic Computation (ISSAC'15), Jul 2005, Beijing, China. pp.140-147
Conference papers
hal-00004056
v2
|
|
Algorithms for Symbolic/Numeric Control of Affine Dynamical Systems *
Jean-Guillaume Dumas
,
Aude Rondepierre
Conference papers
hal-01807149
v1
|
|
Efficient dot product over word-size finite fields
Jean-Guillaume Dumas
Computer Algebra in Scientific Computing, Jul 2004, Saint Petersburg, Russia. pp.139--154
Conference papers
hal-00001380
v2
|
|
FFPACK: finite field linear algebra package
Jean-Guillaume Dumas
,
Pascal Giorgi
,
Clément Pernet
International Symposium on Symbolic and Algebraic Computation (ISSAC'04), Jul 2004, Santander, Spain. pp.119-126, ⟨10.1145/1005285.1005304⟩
Conference papers
hal-02018838
v1
|
|
Modeling the electrical activity of a neuron by a continuous and piecewise affine hybrid system
Jean-Guillaume Dumas
,
Aude Rondepierre
Conference papers
istex
hal-01807138
v1
|
|
Finite field linear algebra subroutines
Jean-Guillaume Dumas
,
Thierry Gautier
,
Clément Pernet
International Symposium on Symbolic and Algebraic Computation (ISSAC'02), Jul 2002, Lille, France. pp.63-74, ⟨10.1145/780506.780515⟩
Conference papers
hal-02018841
v1
|
|
Computing the Rank of Large Sparse Matrices over Finite Fields
Jean-Guillaume Dumas
,
Gilles Villard
Computer Algebra in Scientific Computing (CASC) 2002, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, Sep 2002, Yalta, Ukraine. pp.47--62
Conference papers
hal-02068056
v1
|
|
Integer Smith form via the valence
Jean-Guillaume Dumas
,
B. David Saunders
,
Gilles Villard
International Symposium on Symbolic and Algebraic Computation (ISSAC'00), 2000, St. Andrews, United Kingdom. pp.95-105, ⟨10.1145/345542.345590⟩
Conference papers
hal-02018851
v1
|