Skip to Main content Skip to Navigation

hal-01715832v2  Journal articles
François MorainGuénaël RenaultBenjamin Smith. Deterministic factoring with oracles
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2021, ⟨10.1007/s00200-021-00521-8⟩
hal-03277277v1  Journal articles
Jiong ChenFlorian SchäferJin HuangMathieu Desbrun. Multiscale Cholesky Preconditioning for Ill-conditioned Problems
ACM Transactions on Graphics, Association for Computing Machinery, In press, 40 (4)
hal-03136002v4  Conference papers
Sophie BernardCyril CohenAssia MahboubiPierre-Yves Strub. Unsolvability of the Quintic Formalized in Dependent Type Theory
ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome / Virtual, France
hal-03288075v1  Journal articles
Mathilde ChenuBenjamin Smith. Higher-degree supersingular group actions
Mathematical Cryptology, Florida Online Journals, In press
hal-03038004v1  Conference papers
Luca de FeoDavid KohelAntonin LerouxChristophe PetitBenjamin Wesolowski. SQISign: compact post-quantum signatures from quaternions and isogenies
ASIACRYPT 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon (virtual), South Korea
tel-02979251v2  Theses
Théo Lacombe. Statistics for Topological Descriptors using optimal transport
Metric Geometry [math.MG]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX036⟩
hal-03048959v1  Conference papers
Sonia MarinMarianela Morales. Fully structured proof theory for intuitionistic modal logics
AiML 2020 - Advances in Modal Logic, Aug 2020, Helsinki, Finland
hal-02477371v1  Conference papers
Simon AbelardAlain CouvreurGrégoire Lecerf. Sub-quadratic time for Riemann-Roch spaces. The case of smooth divisors over nodal plane projective curves
ISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.14-21, ⟨10.1145/3373207.3404053⟩
hal-02514201v1  Conference papers
Daniel J. BernsteinLuca de FeoAntonin LerouxBenjamin Smith. Faster computation of isogenies of large prime degree
ANTS-XIV - 14th Algorithmic Number Theory Symposium, Jun 2020, Auckland, New Zealand. pp.39-55, ⟨10.2140/obs.2020.4.39⟩
hal-02389073v2  Conference papers
Craig CostelloBenjamin Smith. The supersingular isogeny problem in genus 2 and beyond
PQCrypto 2020 - 11th International Conference on Post-Quantum Cryptography, Apr 2020, Paris, France
hal-02492258v1  Conference papers
Matteo AcclavioRoberto Maieli. Generalized connectives for multiplicative linear logic
CSL 2020 - 28th EACSL annual conference on Computer Science Logic, Jan 2020, Barcelona, Spain. pp.6:1-6:15, ⟨10.4230/LIPIcs.CSL.2020.6⟩
hal-02075926v1  Journal articles
Régis BlacheAlain CouvreurEmmanuel HallouinDavid MadoreJade Nardi et al.  Anticanonical codes from del Pezzo surfaces with Picard rank one
Transactions of the American Mathematical Society, American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
tel-02438668v1  Habilitation à diriger des recherches
Alain Couvreur. Codes algébriques et géométriques, applications à la cryptographie et à l'information quantique
Mathématiques [math]. Université Paris Diderot, 2019
hal-01650141v2  Journal articles
Julien CourtielKaren YeatsNoam Zeilberger. Connected chord diagrams and bridgeless maps
The Electronic Journal of Combinatorics, Open Journal Systems, 2019, 26 (4), pp.1-56. ⟨10.37236/7400⟩
hal-02434377v1  Journal articles
Eric GoubaultAurélien SagnierMichael Färber. Directed topological complexity
Journal of Applied and Computational Topology, Springer, 2019
hal-02406569v1  Conference papers
Cédric Ho ThanhPierre-Louis CurienSamuel Mimram. A Sequent Calculus for Opetopes
LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
hal-02064465v2  Conference papers
Daniel CoggiaAlain Couvreur. On the security of a Loidreau's rank metric code based encryption scheme
WCC 2019 - The Eleventh International Workshop on Coding and Cryptography, Mar 2019, Saint Jacut de la mer, France
hal-01248760v2  Journal articles
Benjamin AudouxAlain Couvreur. On tensor products of CSS Codes
Annales de l’Institut Henri Poincaré (D) Combinatorics, Physics and their Interactions, European Mathematical Society, 2019, 6 (2), pp.239-287. ⟨10.4171/AIHPD/71⟩
tel-01993634v1  Theses
Elise Barelli. On the security of short McEliece keys from algebraic and algebraic geometry codes with automorphisms
Mathematics [math]. École Polytechnique X; Université Paris Saclay, 2018. English
hal-01872817v1  Conference papers
Luca de FeoJean KiefferBenjamin Smith. Towards practical key exchange from ordinary isogeny graphs
ASIACRYPT 2018 - 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia
hal-01870112v1  Conference papers
Andrea CondoluciMatteo Manighetti. Admissible Tools in the Kitchen of Intuitionistic Logic
Seventh International Workshop on Classical Logic and Computation (CL&C 2018), Jul 2018, Oxford, United Kingdom. pp.10-23
hal-01684422v2  Reports
Michel FliessCédric Join. Dynamic compensation and homeostasis: a feedback control perspective
[Research Report] Ecole polytechnique X. 2018, pp.1-22
hal-01901147v1  Journal articles
Julien Lavauzelle. Lifted projective Reed–Solomon codes
Designs, Codes and Cryptography, Springer Verlag, In press, ⟨10.1007/s10623-018-0552-8⟩
hal-01579079v1  Conference papers
Joris van der HoevenBernard Mourrain. Efficient certication of numeric solutions to eigenproblems
MACIS 2017 - 7th International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2017, Vienna, Austria. pp.81--94, ⟨10.1007/978-3-319-72453-9_6⟩
hal-01354180v1  Journal articles
Danko Ilik. Perspectives for proof unwinding by programming languages techniques
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (10), pp.3487-3508
hal-01568899v3  Conference papers
Hassane AbouaïssaOla Alhaj HasanCédric JoinMichel FliessDidier Defer. Energy saving for building heating via a simple and efficient model-free control design: First steps with computer simulations
21st International Conference on System Theory, Control and Computing, ICSTCC 2017, Oct 2017, Sinaia, Romania
tel-01674956v3  Theses
Michell Guzmán. On the expressiveness of spatial constraint systems
Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX064⟩
hal-01662524v1  Journal articles
Pierre-Louis CurienSamuel Mimram. Coherent Presentations of Monoidal Categories
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-38. ⟨10.23638/LMCS-13(3:31)2017⟩