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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Privacy-Preserving $k$-means Clustering: an Application to Driving Style Recognition
Othmane El Omri
,
Aymen Boudguiga
,
Malika Izabachène
,
Witold Klaudel
Conference papers
hal-02920663v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Security of C-ITS Messages: a Practical Solution The ISE Project Demonstrator
Pierpaolo Cincilla
,
Arnaud Kaiser
,
Brigitte Lonc
,
Houda Labiod
,
Remi Blancher
et al.
Conference papers
hal-01576037v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing latency of a real-time system modeled by Synchronous Dataflow Graph
Jad Khatib
,
Alix Munier-Kordon
,
Enagnon Cedric Klikpo
,
Trabelsi-Colibet Kods
Conference papers
hal-01449892v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation
Boutheina Bannour
,
Julien Niol
,
Paolo Crisafulli
Conference papers
hal-03540190v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03796611v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Ensuring Dependability and Performance for CPS Design: Application to a Signaling System
E. Soubiran
,
F. Guenab
,
D. Cancila
,
A. Koudri
,
L. Wouters
et al.
Book sections
cea-01818394v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modeling Multi-Periodic Simulink Systems by Synchronous Dataflow Graphs
Enagnon Cedric Klikpo
,
Jad Khatib
,
Alix Munier-Kordon
Conference papers
hal-01358061v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Influence of resolution on the X-ray CT-based measurements of metallic AM lattice structures
Jitendra Singh Rathore
,
Caroline Vienne
,
Yann Quinsat
,
Christophe Tournier
Journal articles
hal-02639697v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More