Search - Archive ouverte HAL Access content directly

Filter your results

88 Results
Structure: Internal structure identifier : 563936

Optimal Concurrency for List-Based Sets

Petr Kuznetsov , Vitaly Aksenov , Vincent Gramoli , Srivatsan Ravi
Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
Conference papers hal-03560232v1

Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders

Mark Abspoel , Thomas Attema , Matthieu Rambaud
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
Conference papers hal-03800650v1

Revisiting Optimal Resilience of Fast Byzantine Consensus

Petr Kuznetsov , Andrei Tonkikh , Yan Zhang
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.343-353, ⟨10.1145/3465084.3467924⟩
Conference papers hal-03559623v1

Self-healing Networks via Self-organising Mobile Agents

Arles Rodriguez , Jonatan Gomez , Ada Diaconescu
Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
Journal articles hal-03023085v1

Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE Transactions on Intelligent Transportation Systems, 2020
Journal articles hal-03023217v1

CoRA: a scalable Collective Remote Attestation protocol for sensor networks

Aida Diop , Maryline Laurent , Jean Leneutre , Jacques Traoré
ICISSP 2020: 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.84-95, ⟨10.5220/0008962700840095⟩
Conference papers hal-03024074v1

Solving the instance model-view update problem in AADL

Rakshit Mittal , Dominique Blouin , Anish Bhobe , Soumyadip Bandyopadhyay
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers hal-03905639v1

A Survey on the Current Security Landscape of Intelligent Transportation Systems

Ayyoub Lamssaggad , Nabil Benamar , Abdelhakim Senhaji Hafid , Mounira Msahli
IEEE Access, 2021, pp.1-1. ⟨10.1109/ACCESS.2021.3050038⟩
Journal articles hal-03104867v1

Revisiting Shared Data Protection Against Key Exposure

Katarzyna Kapusta , Gerard Memmi , Matthieu Rambaud
AsiaCCS, Sep 2020, taipei, Taiwan. ⟨10.1145/3320269.3372198⟩
Conference papers hal-03024707v1
Image document

Energy trading marketplace using Ethereum private network

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports hal-03157038v1

Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
Conference papers hal-03559711v1

RTNS 2022: The 30th International Conference on Real-Time Networks and Systems

Yasmina Abdeddaïm , Liliana Cucu-Grosjean , Geoffrey Nelissen , Laurent Pautet
ACM; ACM, 2022, ⟨10.1145/3534879⟩
Proceedings hal-03951192v1
Image document

Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting

Nathanaël Denis , Pierre Chaffardon , Denis Conan , Maryline Laurent , Sophie Chabridon et al.
SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
Conference papers hal-02910407v1
Image document

Description de la méthode SCRUM à travers deux expériences en entreprise

Gérard Memmi
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports hal-03089815v3
Image document

Authenticated and Privacy-Preserving Consent Management in the Internet of Things

Maryline Laurent , Jean Leneutre , Sophie Chabridon , Imane Laaouane
ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩
Conference papers hal-02147191v1

Risks and security of internet and systems

Joaquin Garcia‐alfaro , Jean Leneutre , Nora Cuppens , Reda Yaich
CRISIS 2020: 15th International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. 12528, Springer, pp.xi-378, 2021, Lecture Notes in Computer Science (LNCS), 978-3-030-68886-8. ⟨10.1007/978-3-030-68887-5⟩
Proceedings hal-03628457v1

Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures

Thomas Attema , Ronald Cramer , Matthieu Rambaud
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
Book sections hal-03800630v1

Scalable Byzantine Reliable Broadcast

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi et al.
DISC, Oct 2019, Budapest, Hungary
Conference papers hal-03022562v1

Self-improving system integration: Mastering continuouschange

Kirstie Bellman , Jean F Botev , Ada Diaconescu , Lukas Esterle , Christian Gruhl et al.
Future Generation Computer Systems, 2021
Journal articles hal-03023144v1

The weakest failure detector for eventual consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens et al.
Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles hal-02413314v1

Enabling Markovian Representations under Imperfect Information

Francesco Belardinelli , Borja G. León , Vadim Malvone
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Conference papers hal-03779034v1
Image document

Litmus-RT plugins for global static scheduling of mixed criticality systems

Laurent Pautet , Thomas Robert , Samuel Tardieu
Journal of Systems Architecture, 2021, 118, pp.102221. ⟨10.1016/j.sysarc.2021.102221⟩
Journal articles hal-03276250v1
Image document

Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems

Ankica Barisic , Antonio Cicchetti , Ivan Ruchkin , Dominique Blouin
2021
Preprints, Working Papers, ... hal-03338607v1

Efficiency vs Creativity as Organising Principles of Socio-Technical Systems

Ada Diaconescu
IEEE Technology and Society Magazine, 2019
Journal articles hal-03023532v1

Reconfigurable Lattice Agreement and Applications

Petr Kuznetsov , Thibault Rieutord , Tucci-Piergiovanni Sara
OPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers hal-03022570v1

The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere Accord

Gordon Blair , Richard Bassett , Louis Bastin , L. Beevers , Maribel Borrajo Garcia et al.
Patterns, In press
Journal articles hal-03023290v1

What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart Homes

Étienne Houzé , Jean-Louis Dessalles , Ada Diaconescu , David Menga
Entropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles hal-03813989v1
Image document

On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry

Stéphane Ballet , Julia Pieltant , Jean Chaumine , Matthieu Rambaud , Hugues Randriambololona et al.
Russian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles hal-03661954v1
Image document

Co-producing industrial public goods on GitHub: Selective firm cooperation, volunteer-employee labour and participation inequality

Mathieu O'Neil , Xiaolan Cai , Laure Muselli , Stefano Zacchiroli
New Media and Society, 2022, ⟨10.1177/14614448221090474⟩
Journal articles hal-03662850v1
Image document

PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services

Mingming Qiu , Elie Najm , Rémi Sharrock , Bruno Traverson
Christine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
Book sections hal-03860813v1