- 53
- 31
- 13
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Jean-Guillaume Dumas
Professor at UGA, chair of the LJK
122
Documents
Web site
- https://membres-ljk.imag.fr/Jean-Guillaume.Dumas
Publications
- 26
- 21
- 17
- 14
- 13
- 9
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 2
- 6
- 4
- 6
- 8
- 6
- 7
- 8
- 6
- 6
- 4
- 6
- 4
- 8
- 6
- 11
- 2
- 3
- 1
- 4
- 1
- 2
- 74
- 24
- 19
- 4
- 2
- 1
|
|
In-place accumulation of fast multiplication formulaeProceedings 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-04167499v4
|
|
|
In-place fast polynomial modular remainderProceedings 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-03979016v7
|
|
|
Strassen's algorithm is not optimally accurate49th 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-04441653v2
|
|
|
VESPo: Verified Evaluation of Secret PolynomialsPrivacy Enhancing Technologies Symposium, Jul 2023, Lausanne (CH), Switzerland. pp.354--374, ⟨10.56553/popets-2023-0085⟩
Conference papers
hal-03365854v5
|
|
|
The forking effect39th International Conference of the French Finance Association (AFFI), Jun 2023, Bordeaux, France
Conference papers
hal-03216121v2
|
|
|
Risk analyses of the crypto-market: A literature review12th International Conference on Complexity, Informatics and Cybernetics, International Institution of Informatics and Systemics, Mar 2021, Orlando, United States. pp.30--37, ⟨10.2139/ssrn.4762603⟩
Conference papers
hal-03112920v4
|
|
|
Dynamic proofs of retrievability with low server storage30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.537--554, ⟨10.48550/arXiv.2007.12556⟩
Conference papers
hal-02875379v4
|
|
|
On fast multiplication of a matrix by its transposeProceedings of the 45th International Symposium on Symbolic and Algebraic Computation, ACM SIGSAM, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩
Conference papers
hal-02432390v4
|
|
|
LU factorization with errorsInternational Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩
Conference papers
hal-01997592v1
|
|
|
Interactive Physical Zero-Knowledge Proof for NorinoriThe 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. pp.166-177, ⟨10.1007/978-3-030-26176-4_14⟩
Conference papers
hal-02150062v1
|
|
|
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd AlgorithmThe 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. pp.67-88, ⟨10.1007/978-3-030-26834-3_5⟩
Conference papers
hal-01781554v3
|
|
|
Symmetric indefinite triangular factorization revealing the rank profile matrixISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩
Conference papers
hal-01704793v1
|
|
|
Proof-of-work certificates that can be efficiently computed in the cloudThe 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.1-17, ⟨10.1007/978-3-319-99639-4_1⟩
Conference papers
hal-01825779v2
|
|
|
A Cryptographer's Conspiracy SantaFUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩
Conference papers
hal-01777997v2
|
|
|
Physical Zero-Knowledge Proof for MakaroSSS 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-01898048v1
|
|
|
Prover efficient public verification of dense or sparse/structured matrix-vector multiplicationACISP 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-01503870v1
|
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time CircuitsISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
Conference papers
hal-01657873v1
|
|
|
|
Security Architecture for Point-to-Point Splitting ProtocolsWCICSS 2017 - IEEE World Congress on Industrial Control Systems Security, Dec 2017, Cambridge, United Kingdom
Conference papers
hal-01657605v1
|
|
|
Certificates for triangular equivalence and rank profilesACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩
Conference papers
hal-01466093v2
|
|
|
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩
Conference papers
hal-01564696v1
|
|
|
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse MatrixISSAC’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-01266041v3
|
|
|
Private Multi-party Matrix Multiplication and Trust Computations13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩
Conference papers
hal-01344750v2
|
|
|
Recursive double-size fixed precision arithmeticICMS: International Congress of Mathematical Software, Jul 2016, Berlin, Germany. pp.223--231, ⟨10.1007/978-3-319-42432-3_28⟩
Conference papers
hal-00582593v2
|
|
|
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩
Conference papers
hal-01326059v1
|
|
|
Computing the Rank Profile MatrixISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩
Conference papers
hal-01107722v2
|
|
|
Hilbert-Post completeness for the state and the exception effectsSixth 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⟩
Conference papers
hal-01121924v3
|
|
|
Elements of Design for Containers and Solutions in the LinBox LibraryICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩
Conference papers
hal-01015138v1
|
|
|
Essentially optimal interactive certificates in linear algebraACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩
Conference papers
hal-00932846v4
|
|
|
Formal verification in Coq of program properties involving the global state effectJFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17
Conference papers
hal-00869230v2
|
|
|
Certified proofs in programs involving exceptionsConference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16
Conference papers
hal-00867237v3
|
|
|
Parallel computation of echelon formsEuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩
Conference papers
hal-00947013v1
|
|
|
Brandt's Fully Private Auction Protocol RevisitedAfricacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩
Conference papers
hal-00745247v3
|
|
|
Simultaneous computation of the row and column rank profilesISSAC 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-00778136v1
|
Decorated proofs for computational effects: StatesACCAT, 2012, -, Estonia
Conference papers
hal-00828544v1
|
|
|
|
Matrix powers algorithms for trust evaluation in PKI architecturesSTM 2012 - 8th International Workshop on Security and Trust Management (co-ESORICS 2012), Sep 2012, Pise, Italy. pp16
Conference papers
hal-00607478v4
|
|
|
Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore ArchitecturesPASCO'10: 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.80-88, ⟨10.1145/1837210.1837224⟩
Conference papers
hal-00475185v1
|
|
|
Generic design of Chinese remaindering schemesPASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩
Conference papers
hal-00449864v2
|
|
|
LinBox founding scope allocation, parallel building blocks, and separate compilationICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.77-83, ⟨10.1007/978-3-642-15582-6_16⟩
Conference papers
hal-00506599v1
|
Sequential products for effectsACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom
Conference papers
hal-00388686v1
|
|
|
|
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithmISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩
Conference papers
hal-00163141v5
|
|
|
On finding multiplicities of characteristic polynomial factors of black-box matricesISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.135-142, ⟨10.1145/1576702.1576723⟩
Conference papers
hal-00357262v2
|
|
|
Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also VulnerableRSA Conference 2009 - Cryptographers' Track, Apr 2009, San Francisco, United States. pp.414--428, ⟨10.1007/978-3-642-00862-7_28⟩
Conference papers
hal-00348416v3
|
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite FieldsSage Days 10, Oct 2008, Nancy, France
Conference papers
hal-00770321v1
|
|
|
|
Compressed Modular Matrix MultiplicationMICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140
Conference papers
hal-00259950v2
|
Compromis temps/mémoire en algèbre linéaire dense sur des corps finisJournée nationale du GDR Informatique Mathématique, Jan 2008, Paris, France
Conference papers
hal-00770315v1
|
|
|
|
Q-adic Transform revisitedISSAC '08 - 21st International Symposium on Symbolic and Algebraic Computation 2008, Jul 2008, Hagenberg, Austria. pp.63-70, ⟨10.1145/1390768.1390780⟩
Conference papers
hal-00173894v6
|
Arithmétique compressée pour des petits corps finisRencontres Arithmétique de l'Informatique Mathématique, Jun 2008, Lille, France
Conference papers
hal-00770318v1
|
|
Sequential products in effect categoriesJournées ARROWS, Jun 2007, Nancy, France
Conference papers
hal-00770341v1
|
|
Outils pour un intergiciel générique en calcul formelJCNF 2007 - Journées Nationales de Calcul Formel, Jan 2007, Marseille, France
Conference papers
hal-00770312v1
|
|
|
|
Parallel computation of the rank of large sparse matrices from algebraic K-theoryPASCO '07 - International Workshop on Parallel Symbolic Computation, Jul 2007, London, Canada. pp.43-52, ⟨10.1145/1278177.1278186⟩
Conference papers
hal-00142141v2
|
|
|
Adaptive and Hybrid Algorithms: classification and illustration on triangular system solvingTransgressive Computing 2006, Apr 2006, Grenade, Spain. pp.131-148
Conference papers
hal-00318540v1
|
|
|
An introspective algorithm for the integer determinantTransgressive Computing 2006, Apr 2006, Grenade, Spain. pp.185-202
Conference papers
hal-00014044v5
|
Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBoxLangages et Modèles à Objet (LMO'06), Mar 2006, Nimes, France. p.117-132
Conference papers
hal-00388393v1
|
|
|
|
Adaptive triangular system solvingChallenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770
Conference papers
hal-00318543v1
|
LinBoxInternational Congress on Mathematical Software, ICMS'2006, Sep 2006, Castro Urdiales, Spain
Conference papers
hal-00104044v1
|
|
Adaptive algorithms: theory and applicationSIAM Parallel Processing 2006, Mini-Symposium MS1: Adaptive algorithms for scientific computing, Feb 2006, San Francisco, United States. pp.49--50
Conference papers
hal-01856375v1
|
|
|
|
Towards a diagrammatic modeling of the LinBox C++ linear algebra libraryLangages et Modèles à Objets, Mar 2006, Nîmes, France. pp.117-132
Conference papers
hal-00012346v2
|
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⟩
Conference papers
hal-01807149v1
|
|
|
|
Efficient Computation of the Characteristic PolynomialInternational Symposium on Symbolic and Algebraic Computation (ISSAC'15), Jul 2005, Beijing, China. pp.140-147
Conference papers
hal-00004056v2
|
|
|
Efficient dot product over word-size finite fieldsComputer Algebra in Scientific Computing, Jul 2004, Saint Petersburg, Russia. pp.139--154
Conference papers
hal-00001380v2
|
FFPACK: finite field linear algebra packageInternational Symposium on Symbolic and Algebraic Computation (ISSAC'04), Jul 2004, Santander, Spain. pp.119-126, ⟨10.1145/1005285.1005304⟩
Conference papers
hal-02018838v1
|
|
|
|
Modeling the electrical activity of a neuron by a continuous and piecewise affine hybrid system Hybrid Systems: Computation and Control , Apr 2003, Prague, Czech Republic. pp.156-171, ⟨10.1007/3-540-36580-X_14⟩
Conference papers
hal-01807138v1
|
|
|
Computing the Rank of Large Sparse Matrices over Finite FieldsComputer 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-02068056v1
|
Finite field linear algebra subroutinesInternational Symposium on Symbolic and Algebraic Computation (ISSAC'02), Jul 2002, Lille, France. pp.63-74, ⟨10.1145/780506.780515⟩
Conference papers
hal-02018841v1
|
|
Integer Smith form via the valenceInternational Symposium on Symbolic and Algebraic Computation (ISSAC'00), 2000, St. Andrews, United Kingdom. pp.95-105, ⟨10.1145/345542.345590⟩
Conference papers
hal-02018851v1
|
Les blockchains en 50 questions - 2nd éditionDunod, pp.320, 2022, 978-2-1008-3450-1
Books
hal-03658608v1
|
|
Les NFT en 40 questionsDunod, pp.256, 2022, 978-2-1008-3304-7
Books
hal-03658619v1
|
|
Architectures de sécurité pour InternetDunod, pp.432, 2020, 9782100809707
Books
hal-02776793v1
|
|
Les blockchains en 50 questionsDunod, pp.304, 2018, 978-2-1007-7924-6
Books
hal-03658606v1
|
|
Théorie des codes - 3e éditionDunod, pp.416, 2018, 9782100781096
Books
hal-02639412v1
|
|
Foundations of Coding: Compression, Encryption, Error-CorrectionWiley, pp.376, 2015, 978-1-118-88144-6
Books
hal-00765802v1
|
|
Architectures PKI et communications sécuriséesDunod, pp.400, 2015, Info Sup, 9782100726158
Books
hal-01445289v1
|
|
Théorie des Codes : compression, cryptage, correction, 2e editionDunod, pp.384, 2013, Sciences Sup, 9782100599110
Books
hal-00932851v1
|
|
Théorie des Codes : compression, cryptage, correctionDunod, pp.352, 2007, Sciences Sup, 9782100506927
Books
hal-00318546v1
|
|
|
Les crypto-monnaies, une réalité virtuelle ?Les Big Data à l’échelle de la société, CNRS EDITIONS, 2020, 978-2271130617
Book sections
hal-04449159v1
|
La sécurité de bitcoin et des blockchainsGildas Avoine; Marc-Olivier Killijian. Treize défis de la cybersécurité, CNRS Éditions, pp.213-232, 2020, 2271130611
Book sections
hal-02639358v1
|
|
|
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, 2017
Book sections
hal-02291296v1
|
|
|
Computational linear algebra over finite fieldsGary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786
Book sections
hal-00688254v1
|
Architectures PKIT. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.187-210, 2006
Book sections
hal-00318550v1
|
|
Cryptographie à clef secrèteT. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.23-102, 2006
Book sections
hal-00318553v1
|
|
Cryptographie à clef publiqueTouradj 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
Book sections
hal-00318555v1
|
|
|
Communication Optimal Unbalanced Private Set Union2024
Preprints, Working Papers, ...
hal-04475604v3
|
|
|
Contributions au calcul exact intensifCalcul formel [cs.SC]. Université de Grenoble, 2010
Habilitation à diriger des recherches
tel-00514925v1
|
|
|
Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriquesModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2000. Français. ⟨NNT : ⟩
Theses
tel-00002742v2
|