Skip to Main content Skip to Navigation

hal-03088227v1  Conference papers
Nida KhanAbdelkader LahmadiZsofia KräusslRadu State. Management plane for differential privacy preservation through smart contracts
AICCSA 2020 - 17th ACS/IEEE International Conference on Computer Systems and Applications, Nov 2020, Antalya / Virtual, Turkey
hal-02944908v1  Conference papers
Patrick DerbezPaul HuynhVirginie LallemandMaría Naya-PlasenciaLéo Perrin et al.  Cryptanalysis Results on Spook: Bringing Full-round Shadow-512 to the Light
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.359--388, ⟨10.1007/978-3-030-56877-1_13⟩
hal-02552287v2  Reports
Gilles BartheCharlie JacommeSteve Kremer. Universal equivalence and majority of probabilistic programs over finite fields
[Research Report] MPI SP; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2020
hal-02435758v1  Conference papers
Melanie Jouaiti. Improving Motor Coordination in HRI with Bio-Inspired Controllers
HRI Pioneers Workshop 2020 - 15th annual Human-Robot Interaction Pioneers Workshop, Mar 2020, Cambridge, United Kingdom. ⟨10.1145/3371382.3377439⟩
tel-02963301v1  Theses
Mathias Fleury. Formalization of Logical Calculi in Isabelle/HOL
Logic in Computer Science [cs.LO]. Universität des Saarlandes Saarbrücken, 2020. English
hal-02972966v1  Conference papers
Ji-Won ParkOtfried Cheong. Smallest Universal Covers for Families of Triangles
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
hal-02943018v1  Journal articles
Miguel CouceiroLucien HaddadVictor Lagerkvist. A Survey on the Fine-grained Complexity of Constraint Satisfaction Problems Based on Partial Polymorphisms
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press
hal-02355613v2  Conference papers
Sunit SivasankaranEmmanuel VincentDominique Fohr. SLOGD: Speaker Location Guided Deflation Approach to Speech Separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
hal-02961617v1  Conference papers
Vincent ChevalSteve KremerItsaka Rakotonirina. The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020, Philadelphia, United States
tel-02961882v1  Theses
Sunit Sivasankaran. Localization guided speech separation
Machine Learning [cs.LG]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0078⟩