Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

AT2: Asynchronous Trustworthy Transfers

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi et al.
CoRR, 2018, abs/1812.10844
Journal articles hal-02288004v1

Keynote speech

Mounira Msahli
2018 Fourth International Conference on Mobile and Secure Services (MobiSecServ), Feb 2018, Miami Beach, France. pp.1-1, ⟨10.1109/MOBISECSERV.2018.8311434⟩
Conference papers hal-02354925v1

Availability enhancement and analysis for mixed-criticality systems on multi-core

Roberto Medina , Etienne Borde , Laurent Pautet
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
Conference papers hal-01994643v1

Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective

Ada Diaconescu , Jeremy Pitt
3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom
Conference papers hal-02287875v1

Self-integrating Organic Control Systems: from Crayfish to Smart Homes

Ada Diaconescu , Pembe Mata , Kirstie Bellman
2018
Other publications hal-01996515v1

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
Image document

On Helping and Stacks

Vitalii Aksenov , Petr Kuznetsov , Anatoly Shalyto
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers hal-01888607v1

Inherent limitations of hybrid transactional memory

Dan Alistarh , Justin Kopinsky , Petr Kuznetsov , Srivatsan Ravi , Nir Shavit et al.
Distributed Computing, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩
Journal articles hal-02364297v1
Image document

Questioning the security and efficiency of the ESIoT approach

Aida Diop , Said Gharout , Maryline Laurent , Jean Leneutre , Jacques Traoré et al.
WISEC 2018: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2018, Stockholm, Sweden. pp.202 - 207, ⟨10.1145/3212480.3212491⟩
Conference papers hal-01850383v1
Image document

Public Privacy and Brick Houses Made of Glass

Stephen Marsh , Ada Diaconescu , David Evans , Tracy Ann Kosa , Peter R. Lewis et al.
12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.137-148, ⟨10.1007/978-3-319-95276-5_10⟩
Conference papers hal-01855989v1
Image document

Brief Announcement: Performance Prediction for Coarse-Grained Locking

Vitalii Aksenov , Dan Alistarh , Petr Kuznetsov
PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
Conference papers hal-01887733v1

Hybrid Cryptographic Protocol for Secure Vehicle Data Sharing Over a Consortium Blockchain

Kei Leo Brousmiche , Antoine Durand , Thomas Heno , Christian Poulain , Antoine Dalmieres et al.
2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), Jul 2018, Halifax, Canada. pp.1281-1286, ⟨10.1109/Cybermatics_2018.2018.00223⟩
Conference papers hal-03506544v1

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

Hierarchical Self-awareness and Authority for Scalable Self-integrating Systems

Ada Diaconescu , Barry Porter , Roberto Rodrigues , Evangelos Pournaras
2018
Other publications hal-01996481v1

A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent Locations

Katarzyna Kapusta , Gérard Memmi
Esorics’18, STM workshop, Sep 2018, Barcelona, Spain
Conference papers hal-02288556v1

Optimal Deployment of Security Policies: Application to Industrial Control Systems

Ziad Ismail , Jean Leneutre , Alia Fourati
14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania
Conference papers hal-02287944v1

POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key Exposure

Katarzyna Kapusta , Gérard Memmi
ACM CCS’18, Oct 2018, Toronto, Canada
Conference papers hal-02288015v1

Selective All-Or-Nothing Transform: Protecting Outsourced Data Against Key Exposure

Katarzyna Kapusta , Gérard Memmi
CSS’18, 10th International Symposium on Cyberspace Safety and Security, Oct 2018, Amalfi, Italy
Conference papers hal-02288014v1

Improving data collection in complex networks with failure-prone agents via local marking

Jonathan Gomez , Arles Rodriguez , Nathaly Botina , Ada Diaconescu
6th International Symposium of Language and Knowledge Engineering (LKE 2018), Oct 2018, Puebla, Mexico
Conference papers hal-01996468v1

Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule

Kameswar Vaddina , Florian Brandner , Gerard Memmi , Pierre Jouvelot
2018
Preprints, Working Papers, ... hal-01939768v1

A Dynamic Scalable Blockchain Based Communication Architecture for IoT

Han Qiu , Meikang Qiu , Meiqin Liu , Zhong Ming , Gérard Memmi et al.
SmartBlock'18, Dec 2018, Tokyo, Japan. pp.159-166
Conference papers hal-02288555v1
Image document

Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things

Stevan Coroller , Sophie Chabridon , Maryline Laurent , Denis Conan , Jean Leneutre et al.
M4IoT 2018: 5th Workshop on Middleware and Applications for the Internet of Things at the 2018 ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.35 - 40, ⟨10.1145/3286719.3286727⟩
Conference papers hal-01940866v1
Image document

Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures

Roberto Medina , Etienne Borde , Laurent Pautet
39th IEEE Real-Time Systems Symposium (RTSS 2018), Dec 2018, Nashville, TN, United States. ⟨10.1109/RTSS.2018.00042⟩
Conference papers hal-01994627v1

Shedding the Shackles of Time-Division Multiplexing

Farouk Hebbache , Mathieu Jan , Florian Brandner , Laurent Pautet
RTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
Conference papers hal-01994629v1
Image document

Protecting data confidentiality combining data fragmentation, encryption, and dispersal over a distributed environment

Katarzyna Kapusta
Cryptography and Security [cs.CR]. Télécom ParisTech, 2018. English. ⟨NNT : 2018ENST0061⟩
Theses tel-03523671v1

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

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

Efficiency vs Creativity as Organising Principles of Socio-Technical Systems

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

Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems

Ankica Barisic , Dušan Savić , Rima Al-Ali , Ivan Ruchkin , Dominique Blouin et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168834v1

Improving data collection in complex networks with failure-prone agents via local marking

Arles Rodrigues , Nathaly Botina , Jonatan Gomez , Ada Diaconescu
Journal of Intelligent and Fuzzy Systems, 2019
Journal articles hal-03023128v1