Filtrer vos résultats
- 77
- 21
- 47
- 23
- 12
- 9
- 4
- 2
- 1
- 4
- 95
- 21
- 2
- 1
- 1
- 4
- 4
- 3
- 2
- 6
- 4
- 6
- 8
- 6
- 7
- 8
- 7
- 5
- 4
- 6
- 4
- 8
- 6
- 82
- 16
- 98
- 19
- 16
- 14
- 13
- 9
- 8
- 8
- 8
- 7
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 98
- 21
- 21
- 15
- 13
- 9
- 7
- 7
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
98 résultats
|
|
Decorated proofs for computational effects: StatesElectronic Proceedings in Theoretical Computer Science, 2012, 93, pp.45-59. ⟨10.4204/EPTCS.93.3⟩
Article dans une revue
hal-00650269v2
|
||
|
|
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⟩
Communication dans un congrès
hal-01503870v1
|
||
|
|
Brandt's fully private auction protocol revisitedJournal of Computer Security, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. ⟨10.3233/JCS-150535⟩
Article dans une revue
hal-01233555v1
|
||
|
|
What drives DeFi market returns?Journal of International Financial Markets, Institutions and Money, 2023, 85 (101786), ⟨10.1016/j.intfin.2023.101786⟩
Article dans une revue
hal-03625891v2
|
||
|
|
Brandt's Fully Private Auction Protocol RevisitedAfricacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩
Communication dans un congrès
hal-00745247v3
|
||
|
|
Breaking a monad-comonad symmetry between computational effects[Research Report] arXiV. 2014
Rapport
hal-00941653v1
|
||
|
|
Strassen's algorithm is not optimally accurate2024
Pré-publication, Document de travail
hal-04441653v1
|
||
|
|
Les crypto-monnaies, une réalité virtuelle ?Les Big Data à l’échelle de la société, CNRS EDITIONS, 2020, 978-2271130617
Chapitre d'ouvrage
hal-04449159v1
|
||
|
|
States and exceptions considered as dual effects[Research Report] Université Grenoble Alpes. 2011
Rapport
hal-00445873v4
|
||
|
|
Adjunctions for exceptions[Research Report] LJK. 2012
Rapport
hal-00714710v2
|
||
|
|
Bounds on the coefficients of the characteristic and minimal polynomialsJournal of Inequalities in Pure and Applied Mathematics, 2007, 8 (2), art. 31, 6pp
Article dans une revue
hal-00086820v7
|
||
|
|
A duality between exceptions and statesMathematical Structures in Computer Science, 2012, 22 (4), pp.719-722. ⟨10.1017/S0960129511000752⟩
Article dans une revue
hal-00650260v2
|
||
|
|
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite FieldsJournal of Symbolic Computation, 2011, 46 (7), pp.823-840. ⟨10.1016/j.jsc.2010.08.015⟩
Article dans une revue
hal-00315772v1
|
||
|
|
Les rayons des permutations spiralesMathématiques et Sciences Humaines, 2010, 192 (4), pp.5-26
Article dans une revue
hal-00447415v5
|
||
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite FieldsSage Days 10, Oct 2008, Nancy, France
Communication dans un congrès
hal-00770321v1
|
|||
|
|
Symmetric indefinite triangular factorization revealing the rank profile matrixISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩
Communication dans un congrès
hal-01704793v1
|
||
|
|
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⟩
Communication dans un congrès
hal-01015138v1
|
||
Les NFT en 40 questionsDunod, pp.256, 2022, 978-2-1008-3304-7
Ouvrages
hal-03658619v1
|
|||
|
|
The forking effectThe 39th International Conference of the French Finance Association ({AFFI})., Jun 2023, Bordeaux, France
Communication dans un congrès
hal-03216121v2
|
||
|
|
Optimal Threshold Padlock SystemsJournal of Computer Security, 2022, 30 (5), pp.655-688. ⟨10.3233/JCS-210065⟩
Article dans une revue
hal-03497369v3
|
||
|
|
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
Chapitre d'ouvrage
hal-00688254v1
|
||
|
|
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⟩
Communication dans un congrès
hal-00947013v1
|
||
|
|
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⟩
Communication dans un congrès
hal-01466093v2
|
||
Arithmétique compressée pour des petits corps finisRencontres Arithmétique de l'Informatique Mathématique, Jun 2008, Lille, France
Communication dans un congrès
hal-00770318v1
|
|||
|
|
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⟩
Communication dans un congrès
hal-01781554v3
|
||
|
|
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⟩
Communication dans un congrès
hal-01898048v1
|
||
|
|
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩
Communication dans un congrès
hal-01564696v1
|
||
|
|
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⟩
Communication dans un congrès
hal-01121924v3
|
||
|
|
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⟩
Communication dans un congrès
hal-00173894v6
|
||
|
|
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⟩
Communication dans un congrès
hal-01326059v1
|