Search - Archive ouverte HAL Access content directly

Filter your results

231 Results
Structure: Internal structure identifier : 554439

A survey on game-theoretic approaches for intrusion detection and response optimization

Christophe Kiennert , Ismail Ziad , Hervé Debar , Jean Leneutre
ACM Computing Surveys, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
Journal articles hal-02009646v1
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

SuperVision : controler spatialement les objets connectés dans une maison intelligente

Sarthak Gosh , Gilles Bailly , Robin Despouys , Eric Lecolinet , Rémi Sharrock et al.
IHM'14: Conférence francophone sur l'Interaction Homme Machine, Oct 2014, Lille, France. ⟨10.1145/2670444.2670471⟩
Conference papers hal-01442956v1

Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted data

Katarzyna Kapusta , Gérard Memmi
TrustCom'18, Aug 2018, New-York, United States
Conference papers hal-02287926v1
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

Service Orchestration with Orcharts and Typecharts

Elie Najm
Seminaire INRIA, Mar 2010, Rennes, France
Conference papers hal-02278638v1

Replication-Based Self-healing of Mobile Agents Exploring Complex Networks

Arles Rodriguez , Jonatan Gomez , Ada Diaconescu
15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
Conference papers hal-02287746v1

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

A Secure and Effective Device Pairing Protocol

Trung Nguyen , Jean Leneutre
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers hal-02288430v1

Sensemaking in the autonomic smart-home

Robin Despouys , Rémi Sharrock , Isabelle Demeure
UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers hal-02288439v1

The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017

Petr Kuznetsov
SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩
Journal articles hal-02287904v1

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

DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario

Han Qiu , Qinkai Zheng , Meikang Qiu , Gérard Memmi
Smart Computing and Communication, Oct 2019, Birmingham, United Kingdom. pp.266-276, ⟨10.1007/978-3-030-34139-8_26⟩
Conference papers hal-02450312v1

Additively homomorphic encryption and fragmentation scheme for data aggregation inside unattended wireless sensor networks

Katarzyna Kapusta , Gérard Memmi , Hassan Noura
Annals of Telecommunications - annales des télécommunications, 2019, 74 (3-4), pp.157-165. ⟨10.1007/s12243-018-0684-x⟩
Journal articles hal-02450271v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-03340371v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-01649727v1
Image document

State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits , Rima Al-Ali , Moussa Amrani , Ankica Barisic , Fernando Barros et al.
[Research Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168832v1

Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hidden

Maxime Ayrault , Etienne Borde , Ulrich Kühne
the 6th ACM Workshop, Nov 2019, London, France. pp.47-56, ⟨10.1145/3338468.3356827⟩
Conference papers hal-02449676v1

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

Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers hal-00922522v1
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

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

Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement

Luciano Freitas de Souza , Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni
35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers hal-03559551v1
Image document

Worldwide Gender Differences in Public Code Contributions

Davide Rossi , Stefano Zacchiroli
44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩
Conference papers hal-03571837v1

Integration of Pervasive Platforms with iCasa

Philippe Lalanda , Ada Diaconescu
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.49-51, ⟨10.1109/FAS-W.2019.00025⟩
Conference papers hal-02449649v1

CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed

Chloe Barnes , Kirstie Bellman , Jean F Botev , Ada Diaconescu , Lukas Esterle et al.
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.52-55, ⟨10.1109/FAS-W.2019.00026⟩
Conference papers hal-02449653v1