Search - Archive ouverte HAL Access content directly

Filter your results

22 Results
Structure: Internal structure identifier : 121818
Image document

A Secure and Authenticated Key Management Protocol (SA-KMP) for Vehicular Networks

Hengchuan Tan , Maode Ma , Houda Labiod , Aymen Boudguiga , Jun Zhang et al.
IEEE Transactions on Vehicular Technology, 2016, 65 (12), pp.9570 - 9584. ⟨10.1109/TVT.2016.2621354⟩
Journal articles hal-01480959v1

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

CaTch: A Confidence Range Tolerant Misbehavior Detection Approach

Joseph Kamel , Arnaud Kaiser , Ines Ben Jemaa , Pierpaolo Cincilla , Pascal Urien et al.
IEEE Wireless Communications and Networking Conference, Apr 2019, Marrakech, Morocco
Conference papers hal-02126960v1
Image document

Misbehavior Reporting Protocol for C-ITS

Joseph Kamel , Ines Ben Jemaa , Arnaud Kaiser , Pascal Urien
2018 IEEE Vehicular Networking Conference (VNC), Dec 2018, Taipei, Taiwan
Conference papers hal-01917456v1

Security of C-ITS Messages: a Practical Solution The ISE Project Demonstrator

Pierpaolo Cincilla , Arnaud Kaiser , Brigitte Lonc , Houda Labiod , Remi Blancher et al.
NTMS, Jun 2015, Paris, France. ⟨10.1109/NTMS.2015.7266520⟩
Conference papers hal-01576037v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Laurent Pautet , Fabien Cadoret , Smail Rahmoun , Frank Singhoff et al.
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers hal-01115723v1
Image document

The StakeCube blockchain : Instantiation, Evaluation & Applications

Antoine Durand , Guillaume Hébert , Khalifa Toumi , Gérard Memmi , Emmanuelle Anceaume et al.
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
Conference papers hal-03024408v1
Image document

Risk Analysis on C-ITS pseudonymity aspects

Farah Haidar , Arnaud Kaiser , Brigitte Lonc , Pascal Urien
International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, Ile canaries, Spain
Conference papers hal-02122427v1

Multi-objective exploration of architectural designs by composition of model transformations

Smail Rahmoun , Asma Mehiaoui-Hamitou , Etienne Borde , Laurent Pautet , Elie Soubiran et al.
Software and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles hal-02292455v1

Generalized mixed-criticality scheduling based on RUN

Romain Gratia , Thomas Robert , Laurent Pautet
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
Conference papers hal-03629047v1
Image document

C-ITS PKI protocol: Performance Evaluation in a Real Environment

Farah Haidar , Arnaud Kaiser , Brigitte Lonc , Pascal Urien
WONS 2019 15 th Wireless On-demand Network systems and Services Conference, Jan 2019, Wengen, Switzerland
Conference papers hal-01978179v1

Hierarchical Content Stores in High-speed ICN Routers: Emulation and Prototype Implementation

Rodrigo Mansilha , Lorenzo Saino , Marinho Barcellos , Massimo Gallo , E. Leonardi et al.
ACM SIGCOMM Conference on Information-Centric Networking (ICN'15), Sep 2015, San Francisco, United States
Conference papers hal-01279356v1
Image document

Towards a Reliable Machine Learning Based Global Misbehavior Detection in C-ITS: Model Evaluation Approach

Issam Mahmoudi , Joseph Kamel , Ines Ben-Jemaa , Arnaud Kaiser , Pascal Urien et al.
International Workshop on Vehicular Adhoc Networks for Smart Cities (IWVSC'2019), Nov 2019, Paris, France
Conference papers hal-02353893v1

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)

Smail Rahmoun , Etienne Borde , Laurent Pautet
ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30
Conference papers hal-02292449v1

TLS for Cooperative ITS Services

Mounira Msahli , Ahmed Serhrouchni , Houda Labiod , Arnaud Kaiser , Brigitte Lonc et al.
TLS for Cooperative ITS Services, pp.176-189, 2017, ⟨10.1007/978-3-319-72329-7_16⟩
Book sections hal-02354921v1
Image document

Misbehavior Detection in C-ITS: A comparative approach of local detection mechanisms

Joseph Kamel , Ines Ben Jemaa , Arnaud Kaiser , Loic Cantat , Pascal Urien et al.
Vehicular Networking Conference (VNC), Dec 2019, Los Angeles, California, United States
Conference papers hal-02400137v1

Scheduling of mixed-criticality systems with RUN

Romain Gratia , Thomas Robert , Laurent Pautet
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), Sep 2015, Luxembourg, France. pp.1-8, ⟨10.1109/ETFA.2015.7301484⟩
Conference papers hal-02922757v1

Automatic selection and composition of model transformations alternatives using evolutionary algorithms

Smail Rahmoun , Etienne Borde , Laurent Pautet
ECSA Workshops 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7
Conference papers hal-02292448v1
Image document

Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach

Françoise Caron , Cristian Maxim , Dominique Blouin , Paolo Crisafulli
IEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
Conference papers hal-02940241v1
Image document

A Misbehavior Authority System for Sybil Attack Detection in C-ITS

Joseph Kamel , Farah Haidar , Ines Ben Jemaa , Arnaud Kaiser , Brigitte Lonc et al.
The IEEE 10th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference – IEEE UEMCON 2019, Oct 2019, New York, United States
Conference papers hal-02316391v1
Image document

Simulation Framework for Misbehavior Detection in Vehicular Networks

Joseph Kamel , Mohammad Raashid Ansari , Jonathan Petit , Arnaud Kaiser , Ines Ben Jemaa et al.
IEEE Transactions on Vehicular Technology, 2020, IEEE Transactions on Vehicular Technology, 69 (6), pp.6631-6643. ⟨10.1109/TVT.2020.2984878⟩
Journal articles hal-02527873v1
Image document

Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report

Paolo Crisafulli , Dominique Blouin , Françoise Caron , Cristian Maxim
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02454258v1