 |
 |
 |
|
|
||
|---|---|---|
| |
||
| hal-02875379v4
Conference papers
Dynamic proofs of retrievability with low server storage 30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.537--554 |
||
| |
||
| hal-01997592v1
Conference papers
LU factorization with errors International Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩ |
||
| hal-00793911v1
Journal articles
Far field model for time reversal and application to selective focusing on small dielectric inhomogeneities Inverse Problems and Imaging , AIMS American Institute of Mathematical Sciences, 2013, 7 (2), pp.445-470 |
||
| hal-01829139v2
Journal articles
Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations Journal of Symbolic Computation, Elsevier, 2021, 105, pp.165--198. ⟨10.1016/j.jsc.2020.06.006⟩ |
||
| hal-02393202v1
Journal articles
The CAFA challenge reports improved protein function prediction and new functional annotations for hundreds of genes through experimental screens Genome Biology, BioMed Central, 2019, 20 (1), ⟨10.1186/s13059-019-1835-8⟩  |
||
| hal-01088452v1
Journal articles
Constructing a single cell in cylindrical algebraic decomposition Journal of Symbolic Computation, Elsevier, 2014, pp.35. ⟨10.1016/j.jsc.2014.09.024⟩  |
||
| hal-02008666v4
Journal articles
Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩ |
||
| hal-01878385v1
Conference papers
New Instantiations of the CRYPTO 2017 Masking Schemes 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⟩  |
||
|
|
||
