Filter your results
- 183
- 47
- 1
- 132
- 62
- 22
- 6
- 2
- 2
- 2
- 2
- 1
- 228
- 26
- 8
- 2
- 2
- 1
- 1
- 25
- 36
- 30
- 36
- 15
- 23
- 10
- 16
- 13
- 12
- 5
- 4
- 2
- 2
- 1
- 221
- 10
- 231
- 14
- 7
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 38
- 34
- 29
- 27
- 23
- 20
- 16
- 14
- 12
- 11
- 10
- 9
- 9
- 9
- 9
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
A survey on game-theoretic approaches for intrusion detection and response optimizationACM Computing Surveys, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
Journal articles
hal-02009646v1
|
|||
|
Privacy-preserving content-based publish/subscribe with encrypted matching and data splittingSECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
Conference papers
hal-02910407v1
|
||
|
SuperVision : controler spatialement les objets connectés dans une maison intelligenteIHM'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 dataTrustCom'18, Aug 2018, New-York, United States
Conference papers
hal-02287926v1
|
|||
|
Description de la méthode SCRUM à travers deux expériences en entreprise[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports
hal-03089815v3
|
||
|
Authenticated and Privacy-Preserving Consent Management in the Internet of ThingsANT 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 systemsCRISIS 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 TypechartsSeminaire INRIA, Mar 2010, Rennes, France
Conference papers
hal-02278638v1
|
|||
Replication-Based Self-healing of Mobile Agents Exploring Complex Networks15th 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 SignaturesAdvances 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 Protocol12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers
hal-02288430v1
|
|||
Sensemaking in the autonomic smart-homeUBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers
hal-02288439v1
|
|||
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩
Journal articles
hal-02287904v1
|
|||
Scalable Byzantine Reliable BroadcastDISC, Oct 2019, Budapest, Hungary
Conference papers
hal-03022562v1
|
|||
Self-improving system integration: Mastering continuouschangeFuture Generation Computer Systems, 2021
Journal articles
hal-03023144v1
|
|||
DC Coefficients Recovery from AC Coefficients in the JPEG Compression ScenarioSmart 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 networksAnnals 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 DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-03340371v1
|
|||
A Requirements Engineering Approach for Usability-Driven DSL DevelopmentInternational Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers
hal-01649727v1
|
|||
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development[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 Hiddenthe 6th ACM Workshop, Nov 2019, London, France. pp.47-56, ⟨10.1145/3338468.3356827⟩
Conference papers
hal-02449676v1
|
|||
|
The weakest failure detector for eventual consistencyDistributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles
hal-02413314v1
|
||
|
Enabling Markovian Representations under Imperfect Information14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Conference papers
hal-03779034v1
|
||
|
Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline MissesFirst Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers
hal-00922522v1
|
||
|
Litmus-RT plugins for global static scheduling of mixed criticality systemsJournal 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 2020ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
Journal articles
hal-03559549v1
|
|||
|
Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers
hal-03559551v1
|
||
|
Worldwide Gender Differences in Public Code Contributions44th 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 iCasa2019 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 Testbed2019 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
|