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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Survey on the Current Security Landscape of Intelligent Transportation Systems
Ayyoub Lamssaggad
,
Nabil Benamar
,
Abdelhakim Senhaji Hafid
,
Mounira Msahli
Journal articles
hal-03104867v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Revisiting Shared Data Protection Against Key Exposure
Katarzyna Kapusta
,
Gerard Memmi
,
Matthieu Rambaud
Conference papers
hal-03024707v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Energy trading marketplace using Ethereum private network
Dongmin Son
,
Sawsan Al Zahr
,
Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports
hal-03157038v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain
Dongmin Son
,
Sawsan Al Zahr
,
Gerard Memmi
Conference papers
hal-03559711v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems
Yasmina Abdeddaïm
,
Liliana Cucu-Grosjean
,
Geoffrey Nelissen
,
Laurent Pautet
Proceedings
hal-03951192v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The weakest failure detector for eventual consistency
Swan Dubois
,
Rachid Guerraoui
,
Petr Kuznetsov
,
Franck Petit
,
Pierre Sens
et al.
Journal articles
hal-02413314v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Litmus-RT plugins for global static scheduling of mixed criticality systems
Laurent Pautet
,
Thomas Robert
,
Samuel Tardieu
Journal articles
hal-03276250v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficiency vs Creativity as Organising Principles of Socio-Technical Systems
Ada Diaconescu
IEEE Technology and Society Magazine , 2019
Journal articles
hal-03023532v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Reconfigurable Lattice Agreement and Applications
Petr Kuznetsov
,
Thibault Rieutord
,
Tucci-Piergiovanni Sara
OPODIS , Dec 2019, Neuchatel, Switzerland
Conference papers
hal-03022570v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-03813989v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03661954v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-03662850v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More