Filter your results
- 31
- 19
- 26
- 12
- 4
- 2
- 2
- 2
- 1
- 1
- 43
- 11
- 3
- 3
- 2
- 1
- 1
- 16
- 14
- 19
- 1
- 47
- 2
- 1
- 50
- 11
- 8
- 6
- 6
- 6
- 5
- 4
- 3
- 3
- 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
- 20
- 11
- 8
- 7
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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
|
||
|
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[Research Report] Université Grenoble Alpes (UGA). 2015
Reports
hal-01417524v1
|
||
|
Matrix multiplication over word-size modular rings using approximate formulaeACM Transactions on Mathematical Software, 2016, 42 (3-20), ⟨10.1145/2829947⟩
Journal articles
hal-00987812v1
|
||
|
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
|
||
|
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
|
||
GPaR2018
Software
hal-01985043v1
|
|||
|
Parallel Graph Rewriting with Overlapping RulesLPAR-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 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
|
|||
DEM-Systems: a new type of adaptive systemAUTOMATA 2016, Jun 2016, Zurich, Switzerland
Conference papers
hal-01326782v1
|
|||
|
Recursion based parallelization of exact dense linear algebra routines for Gaussian eliminationParallel Computing, 2016, 57, pp.235-249. ⟨10.1016/j.parco.2015.10.003⟩
Journal articles
hal-01084238v2
|
||
|
Travelling waves in a spring-block chain sliding down a slope[Research Report] RR-8995, INRIA Grenoble - Rhône-Alpes. 2016
Reports
hal-01411516v1
|
||
|
Simulating aggregates of bivalents in 2n = 40 mouse meiotic spermatocytes through inhomogeneous site percolation processesJournal of Mathematical Biology, 2018, 77 (5), pp.1341-1362. ⟨10.1007/s00285-018-1254-6⟩
Journal articles
hal-01814944v1
|
||
Théorie des codes - 3e éditionDunod, pp.416, 2018, 9782100781096
Books
hal-02639412v1
|
|||
|
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
|
||
|
On the Planar Split Thickness of GraphsAlgorithmica, 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 segmentationMLCSB2018 - 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
|
|||
|
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
|
||
|
New characterizations for the eigenvalues of the prolate spheroidal wave equationStudies in Applied Mathematics, 2017, 138 (1), pp.3-42. ⟨10.1111/sapm.12134⟩
Journal articles
hal-01151663v1
|
||
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, 2017
Book sections
hal-02291296v1
|
||
|
XPIR : Private Information Retrieval for EveryoneProceedings on Privacy Enhancing Technologies, 2016, avril 2016, pp.155-174. ⟨10.1515/popets-2016-0010⟩
Journal articles
hal-01396142v1
|
||
|
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
|
||
|
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
|
||
|
The First Collision for Full SHA-1International 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 CorrectionISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩
Conference papers
hal-01982114v1
|
|||
|
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
|
||
|
Parallelism in AGREE TransformationsGraph 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
|
||
|
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
|
||
|
New Instantiations of the CRYPTO 2017 Masking SchemesASIACRYPT 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
|
||
|
Fast Computation of the Rank Profile Matrix and the Generalized Bruhat DecompositionJournal 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 TransformationICGT 2017, Jul 2017, Marburg, Germany. pp.3-19, ⟨10.1007/978-3-319-61470-0_1⟩
Conference papers
hal-01984745v1
|
- 1
- 2