Search - Archive ouverte HAL Access content directly

Filter your results

169 Results
producedDateY_i : 2020

On generalized hyper-bent functions

Sihem Mesnager
Cryptography and Communications-Discrete Structures, Boolean Functions, and Sequences (CCDS), 2020
Journal articles hal-03053939v1

Codebooks from generalized bent Z4-valued quadratic forms

Y. Qi , Sihem Mesnager , C. Tang
Discrete Mathematics, 2020
Journal articles hal-03053949v1
Image document

New characterizations and construction methods of bent and hyper-bent Boolean functions

Sihem Mesnager , B. Mandal , C. Tang
Discrete Mathematics, 2020
Journal articles hal-03085452v1

User Association in Hybrid UAV-cellular Networks for Massive Real-time IoT Applications

Sawsan Al Zahr , Parisa Foroughi , Hamzeh Beyranvand , Maurice Gagnaire , Sawsan Al Zahr et al.
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, Canada. pp.243-248, ⟨10.1109/INFOCOMWKSHPS50562.2020.9162928⟩
Conference papers hal-02945478v1

Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020

Petr Kuznetsov , Vitaly Aksenov
ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
Journal articles hal-03559549v1
Image document

PolySense: Augmenting Textiles with Electrical Functionality using In-Situ Polymerization

Cedric Honnet , Hannah Perner-Wilson , Marc Teyssier , Bruno Fruchard , Jürgen Steimle et al.
2020 CHI Conference on Human Factors in Computing Systems (CHI '20), Apr 2020, Honolulu, HI, United States. pp.3376841, ⟨10.1145/3313831.3376841⟩
Conference papers hal-03515562v1

Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis

Payam Zahada , Ada Diaconescu
International Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
Conference papers hal-03023157v1

Online Payments by Merely Broadcasting Messages

Daniel Collins , Rachid Guerraoui , Jovan Komatovic , Petr Kuznetsov , Matteo Monti et al.
DSN, Jun 2020, Valencia, Spain
Conference papers hal-03022579v1

Brief Announcement: On Decidability of 2-Process Affine Models

Petr Kuznetsov , Thibault Rieutord
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022583v1
Image document

Identifying the "Right" Level of Explanation in a Given Situation

Valérie Beaudouin , Isabelle Bloch , David Bounie , Stéphan Clémençon , Florence d'Alché-Buc et al.
First International Workshop on New Foundations for Human-Centered AI (NeHuAI), Sep 2020, Santiago de Compostella, Spain. pp.63
Conference papers hal-02507316v1
Image document

VeReMi Extension: A Dataset for Comparable Evaluation of Misbehavior Detection in VANETs

Joseph Kamel , Michael Wolf , Rens Wouter van Der Heijden , Arnaud Kaiser , Pascal Urien et al.
IEEE International Conference on Communications (ICC), Jun 2020, Dublin (virtual), Ireland. ⟨10.1109/ICC40277.2020.9149132⟩
Conference papers hal-02492739v1
Image document

Donsker's theorem in {Wasserstein}-1 distance

Laure Coutin , Laurent Decreusefond
Electronic Communications in Probability, 2020, 25, pp.1--13
Journal articles hal-02098892v1
Image document

Discrete and stochastic coalitional storage games

Diego Kiedanski , Ariel Orda , Daniel Kofman
Eleventh ACM International Conference on Future Energy Systems (ACM e-Energy), 2020, Melbourne, Australia. ⟨10.1145/3396851.3397729⟩
Conference papers hal-02547962v2
Image document

La transmission « naturelle » des savoirs

Jean-Louis Dessalles
Patrick Pion; Nathan Schlanger. Apprendre - Archéologie de la transmission des savoirs, La Découverte, pp.49-58, 2020, 9782348055522
Book sections hal-02867145v1
Image document

A New Network Configuration Management Architecture for Future Aircraft Systems

Thibault Delmas , Luigi Iannone , Jean-Pierre Garcia , Bruno Monsuez
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02491369v1

A lightweight ECC-based authentication scheme for Internet of Things (IoT)

Badis Hammi , Achraf Fayad , Rida Khatoun , Sherali Zeadally
IEEE Systems Journal, 2020, ⟨10.1109/JSYST.2020.2970167⟩
Journal articles hal-02491845v1

A Secure Multipath Reactive Protocol for Routing in IoT and HANETs.

Badis Hammi , Sherali Zeadally , Houda Labiod , Rida Khatoun , Youcef Begriche et al.
Ad Hoc Networks, 2020, pp.102118. ⟨10.1016/j.adhoc.2020.102118⟩
Journal articles hal-02491851v1

Everlasting Secure Key Agreement with performance beyond QKD in a Quantum Computational Hybrid security model

Nilesh Vyas , Romain Alleaume
Preprints, Working Papers, ... hal-02906744v1

Technologies quantiques et cryptographie post-quantique : vision prospective et positionnement français

Romain Alleaume
Journée Cryptographie Post-Quantique du Projet RISQ, Mar 2020, Rennes, France
Conference papers hal-02906785v1
Image document

Distributed Learning in Noisy-Potential Games for Resource Allocation in D2D Networks

Mohammed Shabbir Ali , Pierre Coucheney , Marceau Coupechoux
IEEE Transactions on Mobile Computing, 2020, 19 (12), pp.2761-2773. ⟨10.1109/TMC.2019.2936345⟩
Journal articles hal-02315135v1

Complexity of voting procedures

Olivier Hudry
Complex Social and Behavioral Systems. Encyclopedia of Complexity and Systems Science, 2020
Book sections hal-03084720v1

Advances in security research in the Asiacrypt region

Raphaël Cw Phan , Masayuki Abe , Lynn Batten , Jung Hee Cheon , Ed Dawson et al.
Communications of the ACM, 2020, 63 (4), pp.76-81. ⟨10.1145/3378428⟩
Journal articles hal-03540244v1

ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain

Xiao Wu , Han Qiu , Shuyi Zhang , Gerard Memmi , Keke Gai et al.
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
Conference papers hal-03559687v1

Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN

Wafa Badreddine , Claude Chaudet , Petruzzi Federico , Maria Potop-Butucaru
Ad Hoc Networks, 2020, 97, pp.102006. ⟨10.1016/j.adhoc.2019.102006⟩
Journal articles hal-02443135v1
Image document

Trisymmetric Multiplication Formulae in Finite Fields

Hugues Randriambololona , Édouard Rousseau
WAIFI 2020, Jul 2020, Rennes, France. pp.92-111, ⟨10.1007/978-3-030-68869-1_5⟩
Conference papers hal-03832419v1
Image document

Improving IoT data stream analytics using summarization techniques

Maroua Bahri
Machine Learning [cs.LG]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAT017⟩
Theses tel-02865982v1
Image document

The Compared Costs of Domination, Location-Domination and Identification

Olivier Hudry , Antoine Lobstein
Discussiones Mathematicae Graph Theory, 2020, 40 (1), pp.127-147. ⟨10.7151/dmgt.2129⟩
Journal articles hal-01702966v1
Image document

The StakeCube blockchain : Instantiation, Evaluation & Applications

Antoine Durand , Guillaume Hébert , Khalifa Toumi , Gérard Memmi , Emmanuelle Anceaume et al.
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
Conference papers hal-03024408v1

Minimal linear codes from characteristic functions

Sihem Mesnager , Y. Qi , H. Ru , C. Tang
IEEE Transactions on Information Theory, 2020
Journal articles hal-03973281v1

Exploring Potentially Abusive Ethical, Social and Political Implications of Mixed Reality Research in HCI

Jan Gugenheimer , Mark Mcgill , Samuel Huron , Christian Mai , Julie Williamson et al.
CHI '20: CHI Conference on Human Factors in Computing Systems, Apr 2020, Honolulu HI USA, United States. pp.1-8, ⟨10.1145/3334480.3375180⟩
Conference papers hal-02887256v1