Search - Archive ouverte HAL Access content directly

Filter your results

50 Results
Structure: Internal structure identifier : 1042196
Image document

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-01503870v1
Image document

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

Jean-Guillaume Dumas , Victor Y. Pan
[Research Report] Université Grenoble Alpes (UGA). 2015
Reports hal-01417524v1
Image document

Matrix multiplication over word-size modular rings using approximate formulae

Brice Boyer , Jean-Guillaume Dumas
ACM Transactions on Mathematical Software, 2016, 42 (3-20), ⟨10.1145/2829947⟩
Journal articles hal-00987812v1
Image document

A Cryptographer's Conspiracy Santa

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
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⟩
Conference papers hal-01777997v2
Image document

Recursive double-size fixed precision arithmetic

Alexis Breust , Christophe Chabot , Jean-Guillaume Dumas , Laurent Fousse , Pascal Giorgi et al.
ICMS: International Congress of Mathematical Software, Jul 2016, Berlin, Germany. pp.223--231, ⟨10.1007/978-3-319-42432-3_28⟩
Conference papers hal-00582593v2

GPaR

Stéphane Despréaux , Aude Maignan
2018
Software hal-01985043v1

Parallel Graph Rewriting with Overlapping Rules

Rachid Echahed , Aude Maignan
LPAR-21 - 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2017, Maun, Botswana. pp.300-318, ⟨10.29007/576h⟩
Conference papers hal-02084261v1

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-01657873v1

DEM-Systems: a new type of adaptive system

Roderick Edwards , Aude Maignan
AUTOMATA 2016, Jun 2016, Zurich, Switzerland
Conference papers hal-01326782v1
Image document

Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination

Jean-Guillaume Dumas , Thierry Gautier , Clément Pernet , Jean-Louis Roch , Ziad Sultan et al.
Parallel Computing, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩
Journal articles hal-01084238v2
Image document

Travelling waves in a spring-block chain sliding down a slope

José Eduardo Morales Morales , Guillaume James , Arnaud Tonnelier
[Research Report] RR-8995, INRIA Grenoble - Rhône-Alpes. 2016
Reports hal-01411516v1
Image document

Simulating aggregates of bivalents in 2n = 40 mouse meiotic spermatocytes through inhomogeneous site percolation processes

Soledad Berríos , Julio Lopez Fenner , Aude Maignan
Journal of Mathematical Biology, 2018, 77 (5), pp.1341-1362. ⟨10.1007/s00285-018-1254-6⟩
Journal articles hal-01814944v1

Théorie des codes - 3e édition

Jean-Guillaume Dumas , Jean-Louis Roch , Eric Tannier , Sébastien Varrette
Dunod, pp.416, 2018, 9782100781096
Books hal-02639412v1
Image document

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-01657605v1

On the Planar Split Thickness of Graphs

David Eppstein , Philipp Kindermann , Stephen G. Kobourov , Giuseppe Liotta , Anna Lubiw et al.
Algorithmica, 2018, 80 (3), pp.977 - 994. ⟨10.1007/s00453-017-0328-y⟩
Journal articles hal-01819362v1

Random chromatin neighborhoods in 2n=40 Mus m. domesticus meiotic cells: P-percolation and image segmentation

Soledad Berríos , Julio Lopez Fenner , Aude Maignan
MLCSB2018 - International Symposium on Molecular Logic and Computational Synthetic Biology, Dec 2018, Santiago de Chile, Chile. pp.142-156, ⟨10.1007/978-3_030-19432-1⟩
Conference papers hal-01982363v1
Image document

Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen

Xavier Bultel , Jannik Dreier , Jean-Guillaume Dumas , Pascal Lafourcade
8th 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
Image document

New characterizations for the eigenvalues of the prolate spheroidal wave equation

Françoise Richard-Jung , Jean-Pierre Ramis , Jean Thomann , Frédéric Fauvet
Studies in Applied Mathematics, 2017, 138 (1), pp.3-42. ⟨10.1111/sapm.12134⟩
Journal articles hal-01151663v1
Image document

Bitcoin : une monnaie dématérialisée

Pascal Lafourcade , Jean-Guillaume Dumas
Les Big Data à découvert, CNRS Editions, 2017
Book sections hal-02291296v1
Image document

XPIR : Private Information Retrieval for Everyone

Carlos Aguilar Melchor , Joris Barrier , Laurent Fousse , Marc-Olivier Killijian
Proceedings on Privacy Enhancing Technologies, 2016, avril 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
Journal articles hal-01396142v1
Image document

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-01898048v1
Image document

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-01466093v2

The First Collision for Full SHA-1

Marc Stevens , Elie Bursztein , Pierre Karpman , Ange Albertini , Yarik Markov et al.
International Cryptology Conference --- CRYPTO 2017, IACR, Aug 2017, Santa-Barbara, United States. pp.570-596, ⟨10.1007/978-3-319-63688-7_19⟩
Conference papers hal-01982005v1

Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction

Erich Kaltofen , Clément Pernet , Arne Storjohann , Cleveland Waddell
ISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩
Conference papers hal-01982114v1
Image document

LOCALPKI: A User-Centric Formally Proven Alternative to PKIX

Jean-Guillaume Dumas , Pascal Lafourcade , Francis Melemedjian , Jean-Baptiste Orfila , Pascal Thoniel et al.
14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩
Conference papers hal-01564696v1

Parallelism in AGREE Transformations

Andrea Corradini , Dominique Duval , Frederic Prost , Leila Ribeiro
Graph Transformation - 9th International Conference, ICGT 2016, Jul 2016, Vienna, Austria. pp.37-53, ⟨10.1007/978-3-319-40530-8_3⟩
Conference papers hal-01985467v1
Image document

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-01266041v3

New Instantiations of the CRYPTO 2017 Masking Schemes

Pierre Karpman , Daniel S. Roche
ASIACRYPT 2018 - Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia. ⟨10.1007/978-3-030-03329-3_10⟩
Conference papers hal-01878385v1
Image document

Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition

Jean-Guillaume Dumas , Clément Pernet , Ziad Sultan
Journal of Symbolic Computation, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩
Journal articles hal-01251223v2

The Pullback-Pushout Approach to Algebraic Graph Transformation

Andrea Corradini , Dominique Duval , Rachid Echahed , Frederic Prost , Leila Ribeiro et al.
ICGT 2017, Jul 2017, Marburg, Germany. pp.3-19, ⟨10.1007/978-3-319-61470-0_1⟩
Conference papers hal-01984745v1