Search - Archive ouverte HAL Access content directly

Filter your results

30 Results
Structure: Internal structure identifier : 300016

Abstract Interpretation Limitations for Deep Neural Network Robustness Evaluation

Faouzi Adjed , Mallek Mziou Sallami
Traitement et Analyse de l'Information Méthodes et Applications (TAIMA'22), May 2022, Hammamet, Tunisia
Conference papers hal-03800100v1
Image document

An architecture for practical confidentiality-strengthened face authentication embedding homomorphic cryptography

Nabil Bouzerna , Renaud Sirdey , Oana Stan , Thanh Hai Nguyen , Philippe Wolf et al.
IEEE CloudCom 2016, IEEE, Dec 2016, Luxembourg, Luxembourg
Conference papers hal-01435505v1
Image document

Combining Data-Driven and Knowledge-Based AI Paradigms for Engineering AI-Based Safety-Critical Systems

Juliette Mattioli , Gabriel Pedroza , Souhaiel Khalfaoui , Bertrand Leroy
Workshop on Artificial Intelligence Safety (SafeAI), Feb 2022, virtual, Canada
Conference papers hal-03622260v1

Privacy-Preserving $k$-means Clustering: an Application to Driving Style Recognition

Othmane El Omri , Aymen Boudguiga , Malika Izabachène , Witold Klaudel
NSS 2019 - 13th International Conference on Network and System Security, Dec 2019, Sapporo, Japan. pp.685-696, ⟨10.1007/978-3-030-36938-5_43⟩
Conference papers hal-02920663v1

Improving Decision-Making-Process for robot navigation under uncertainty

Mohamed Ibn Khedher , Mallek Mziou-Sallami , Makhlouf Hadji
intelligence conference on agents and artificial intelligence, Feb 2021, Vienna, Austria
Conference papers hal-03094878v1
Image document

The wall of safety for AI: approaches in the confiance.ai program

Bertrand Braunschweig , Rodolphe Gelin , François Terrier
Workshop on Artificial Intelligence Safety (SAFEAI), Feb 2022, virtual, Canada
Conference papers hal-03657293v1

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

An Overview of Security Ongoing Work in Cooperative ITS

Ines Ben Jemaa , Pierpaolo Cincilla , Arnaud Kaiser , Brigitte Lonc
12th ITS European Congress, Jun 2017, Strasbourg, France
Conference papers hal-01618760v1
Image document

Towards the engineering of trustworthy AI applications for critical systems - The Confiance.ai program

Morayo Adedjouma , Jean-Luc Adam , Patrice Aknin , Christophe Alix , Xavier Baril et al.
2022
Other publications hal-03798870v1
Image document

A New Crypto-Classifier Service for Energy Efficiency in Smart Cities

Oana Stan , Mohamed-Haykel Zayani , Renaud Sirdey , Amira Ben Hamida , Alessandro Ferreira Leite et al.
7th International Conference on Smart Cities and Green ICT Systems (SMARTGREENS 2018), Mar 2018, Funchal, Portugal. pp.78-88, ⟨10.5220/0006697500780088⟩
Conference papers hal-01820111v1

Cooperative-ITS Architecture and Security Challenges: a Survey

Aymen Boudguiga , Arnaud Kaiser , Pierpaolo Cincilla
Inteligent Transport System World Congress, Dec 2015, Bordeaux, France
Conference papers hal-01679693v1

Computing latency of a real-time system modeled by Synchronous Dataflow Graph

Jad Khatib , Alix Munier-Kordon , Enagnon Cedric Klikpo , Trabelsi-Colibet Kods
Real-Time Networks and Systems RTNS, Oct 2016, Brest, France. pp.87 - 96, ⟨10.1145/2997465.2997479⟩
Conference papers hal-01449892v1

Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation

Boutheina Bannour , Julien Niol , Paolo Crisafulli
2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩
Conference papers hal-03540190v1

Enhancing CAN Security by Means of Lightweight Stream-Ciphers and Protocols

Aymen Boudguiga , Jerome Letailleur , Renaud Sirdey , Witold Klaudel
International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2019, Sep 2019, Turku, Finland. pp.235-250, ⟨10.1007/978-3-030-26250-1_19⟩
Conference papers hal-02920662v1

Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models

Faouzi Adjed , Malek Sellami Meziou , Frédéric Pelliccia , Mehdi Rezzoug , Lucas Schott et al.
Neural Computing and Applications, 2022, 34 (17129–17144), ⟨10.1007/s00521-022-07363-6⟩
Journal articles hal-03796611v1
Image document

Recent Developments in OCL and Textual Modelling

Achim D Brucker , Jordi Cabot , Gwendal Daniel , Martin Gogolla , Adolfo Sánchez-Barbudo Herrera et al.
International Workshop on OCL and Textual Modeling (OCL 2016), Oct 2016, Saint-Malo, France. pp.157 - 165
Conference papers hal-01589574v1
Image document

Engineering Dependable AI Systems

Morayo Adedjouma , Christophe Alix , Loic Cantat , Eric Jenn , Juliette Mattioli et al.
17th Annual System of Systems Engineering Conference (SOSE), IEEE, Jun 2022, Rochester, United States
Conference papers hal-03700300v1

A Model Based System Engineering Methodology for an Autonomous Driving System Design

Asma Charfi Smaoui , Fenglong Liu , Chokri Mraidha
25th ITS World Congress, Sep 2018, Copenhagen, Denmark
Conference papers hal-01924108v1
Image document

Towards Better Availability and Accountability for IoT Updates by means of a Blockchain

Aymen Boudguiga , Nabil Bouzerna , Louis Granboulan , Alexis Olivereau , Flavien Quesnel et al.
IEEE EUROCRYPT Security & privacy on the Blockchain 2017 (IEEE S&B 2017), Apr 2017, Paris, France. , 2017
Conference poster hal-01536096v1
Image document

Towards Better Availability and Accountability for IoT Updates by means of a Blockchain

Aymen Boudguiga , Nabil Bouzerna , Louis Granboulan , Alexis Olivereau , Flavien Quesnel et al.
IEEE Security & Privacy on the Blockchain (IEEE S&B 2017) an IEEE EuroS&P 2017 and Eurocrypt 2017 affiliated workshop, IEEE, Apr 2017, Paris, France
Conference papers hal-01516350v1

Secure Data Processing for Industrial Remote Diagnosis and Maintenance

Walid Arabi , Reda Yaich , Aymen Boudguiga , Mawloud Omar
The 15th International Conference on Risks and Security of Internet and Systems, 2020, Paris, France
Conference papers hal-03034643v1

Ensuring Dependability and Performance for CPS Design: Application to a Signaling System

E. Soubiran , F. Guenab , D. Cancila , A. Koudri , L. Wouters et al.
Cyber-Physical Systems: Foundations, Principles and Applications, Elsevier Inc., pp.363-375, 2016, 9780128038741; 9780128038017. ⟨10.1016/B978-0-12-803801-7.00023-7⟩
Book sections cea-01818394v1
Image document

IA de confiance : condition nécessaire pour le déploiement de l'IA dans les systèmes de défense

Juliette Mattioli , François Terrier , Loic Cantat , Julien Chiaroni , Michel Barreteau et al.
APIA (Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle), PFIA, Jul 2021, Bordeaux, France
Conference papers hal-02955575v1

Towards a Certification of Deep Image Classifiers against Convolutional Attacks

Mallek Mziou-Sallami , Faouzi Adjed
14th International Conference on Agents and Artificial Intelligence, Feb 2022, Online Streaming, France. pp.419-428, ⟨10.5220/0010870400003116⟩
Conference papers hal-03622400v1

Modeling Multi-Periodic Simulink Systems by Synchronous Dataflow Graphs

Enagnon Cedric Klikpo , Jad Khatib , Alix Munier-Kordon
Real-Time and Embedded Technology and Application Symposium RTAS, Apr 2016, Vienna, Austria. pp.1-10, ⟨10.1109/RTAS.2016.7461343⟩
Conference papers hal-01358061v1
Image document

Influence of resolution on the X-ray CT-based measurements of metallic AM lattice structures

Jitendra Singh Rathore , Caroline Vienne , Yann Quinsat , Christophe Tournier
Welding in the World, 2020, ⟨10.1007/s40194-020-00920-4⟩
Journal articles hal-02639697v1
Image document

Franco-German position paper on "Speeding up industrial AI and trustworthiness

Julien Chiaroni , Sonja Zillner , Natalie Bertels , Patrick Bezombes , Yannick Bonhomme et al.
2021
Preprints, Working Papers, ... hal-03488324v1
Image document

Practical Personalized Genomics in the Encrypted Domain

Kalpana Singh , Renaud Sirdey , Sergiu Carpov
Third IEEE International Conference on Fog and Mobile Edge Computing (FMEC 2018) , Apr 2018, Barcelone, Spain
Conference papers hal-01760797v1
Image document

IA de confiance : condition nécessaire pour le déploiement de l'IA dans les systèmes critiques

J Mattioli , F Terrier , L Cantat , R Gelin , J Chiaroni et al.
APIA2021 - Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, Jul 2021, Bordeaux, France
Conference papers hal-03874193v1
Image document

A methodology for CT based non-destructive geometrical evaluations of lattice structures by holistic strut measurement approach

Jitendra Singh Rathore , Chetra Mang , Caroline Vienne , Yann Quinsat , Christophe Tournier et al.
2020
Preprints, Working Papers, ... hal-03079838v1