Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support. - Yvon Kermarrec; Laurent Nana; Laurent Pautet (TRI-Ada, 1995)

Providing Fault-Tolerant Services to Distributed Ada 95 Applications. - Yvon Kermarrec; Laurent Nana; Laurent Pautet (TRI-Ada, 1996)

GNATDIST: A Configuration Language for Distributed Ada 95 Applications. - Yvon Kermarrec; Laurent Nana; Laurent Pautet (TRI-Ada, 1996)

Cheddar: a flexible real time scheduling framework. - Frank Singhoff; Jérôme Legrand; Laurent Nana; Lionel Marcé (SIGAda, 2004)

Scheduling and memory requirements analysis with AADL. - Frank Singhoff; Jérôme Legrand; Laurent Nana; Lionel Marcé (SIGAda, 2005)

A New Approach against Color Attacks of Watermarked Images. - Abdelhamid Benhocine; Lamri Laouamer; Laurent Nana; Anca Pascu (IIH-MSP, 2008)

A Novel Cryptographic Encryption Technique for Securing Digital Images in the Cloud Using AES and RGB Pixel Displacement. - Quist-Aphetsi Kester; Laurent Nana; Anca Christine Pascu (EMS, 2013)

A New Encryption Cipher for Securing Digital Images of Video Surveillance Devices Using Diffie-Hellman-MD5 Algorithm and RGB Pixel Shuffling. - Quist-Aphetsi Kester; Laurent Nana; Anca Christine Pascu; Sophie Gire (EMS, 2013)

New Images Watermarking Scheme Based on Singular Value Decomposition. - Abdelhamid Benhocine; Lamri Laouamer; Laurent Nana; Anca Christine Pascu (J. Inf. Hiding Multim. Signal Process., 2013)

A Hybrid Encryption Technique for Securing Biometric Image Data Based on Feistel Network and RGB Pixel Displacement. - Quist-Aphetsi Kester; Laurent Nana; Anca Christine Pascu; Sophie Gire; Jojo Moses Eghan; Nii Narku Quaynor (SNDS, 2014)

A Security Technique for Authentication and Security of Medical Images in Health Information Systems. - Quist-Aphetsi Kester; Laurent Nana; Anca Christine Pascu; Sophie Gire; Jojo Moses Eghan; Nii Narku Quaynor (ICCSA (Short Papers/poster papers/PhD student showcase works), 2015)

Feature Based Encryption Technique for Securing Digital Image Data Based on FCA-Image Attributes and Visual Cryptography. - Quist-Aphetsi Kester; Anca Christine Pascu; Laurent Nana; Sophie Gire; Jojo Moses Eghan; Nii Narku Quaynor (ICCSA (4), 2015)

A novel robust informed watermarking approach and tamper detection based on weber differential excitation descriptor. - Muath AlShaikh; Lamri Laouamer; Laurent Nana; Anca Christine Pascu (ISPACS, 2015)

JPEG bitstream based integrity with lightweight complexity of medical image in WMSNS environment. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu (MEDES, 2015)

A Fast Discrete Cosine Transform and a Cryptographic Technique for Authentication and Security of Digital Images. - Quist-Aphetsi Kester; Laurent Nana; Anca Christine Pascu; Sophie Gire; Jojo Moses Eghan; Nii Narku Quaynor (SSCC, 2015)

A Hybrid Cryptographic and Steganographic Security Approach for Identity Management and Security of Digital Images. - Quist-Aphetsi Kester; Laurent Nana; Anca Christine Pascu; Sophie Gire; Jojo Moses Eghan; Nii Narku Quaynor (SSCC, 2015)

A Hybrid Image Cryptographic and Spatial Digital Watermarking Encryption Technique for Security and Authentication of Digital Images. - Quist-Aphetsi Kester; Laurent Nana; Anca Christine Pascu; Sophie Gire; Jojo Moses Eghan; Nii Narku Quaynor (UKSim, 2015)

A Novel Hybrid Discrete Cosine Transformation and Visual Cryptographic Technique for Securing Digital Images. - Quist-Aphetsi Kester; Laurent Nana; Anca Christine Pascu; Sophie Gire; Jojo Moses Eghan; Nii Narku Quaynor (UKSim, 2015)

Robust watermarking scheme and tamper detection based on threshold versus intensity. - Lamri Laouamer; Muath AlShaikh; Laurent Nana; Anca Christine Pascu (J. Innov. Digit. Ecosyst., 2015)

Fuzzy Rough Set Based Image Watermarking Approach. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu (AISI, 2016)

RsaML : A Domain Specific Modeling Language for describing Robotic software architectures with integration of real time properties. - Valery Monthe; Laurent Nana; Georges E. Kouamou; Claude Tangha (EWiLi, 2016)

Data Authenticity and Integrity in Wireless Sensor Networks Based on a Watermarking Approach. - Farid Lalem; Muath AlShaikh; Ahcène Bounceur; Reinhardt Euler; Lamri Laouamer; Laurent Nana; Anca Pascu (FLAIRS, 2016)

Formal proof of security algorithms based on reachability reduction. - Mohamed Bouziane; Sophie Gire; François Monin; Laurent Nana (MEDES, 2016)

A robust associative watermarking technique based on frequent pattern mining and texture analysis. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu (MEDES, 2016)

Generating optimal informed and adaptive watermark image based on zero-suppressed binary decision diagrams for medical images. - Lamri Laouamer; Muath AlShaikh; Laurent Nana; Anca Christine Pascu (Int. J. Electron. Secur. Digit. Forensics, 2016)

A novel zero-watermarking approach of medical images based on Jacobian matrix model. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu (Secur. Commun. Networks, 2016)

A Robust Watermarking System Based on Formal Concept Analysis and Texture Analysis. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu (FLAIRS, 2017)

A robust watermarking technique in spatial domain using closeness coefficients of texture. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu (IISA, 2017)

A joint spatial texture analysis/watermarking system for digital image authentication. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu (SiPS, 2017)

Efficient and robust encryption and watermarking technique based on a new chaotic map approach. - Muath AlShaikh; Lamri Laouamer; Laurent Nana; Anca Christine Pascu (Multim. Tools Appl., 2017)

Performance Comparison of Intelligent Techniques Based Image Watermarking. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu; Ismaïl Biskri (IEA/AIE, 2018)

A Hybrid Intrusion Detection System in Industry 4.0 Based on ISA95 Standard. - Salwa Alem; David Espes; Eric Martin; Laurent Nana; Florent de Lamotte (AICCSA, 2019)

A blind spatial domain-based image watermarking using texture analysis and association rules mining. - Musab Ghadi; Lamri Laouamer; Laurent Nana; Anca Pascu (Multim. Tools Appl., 2019)

A Dual Watermarking Approach for DICOM Images. - Mayssa Tayachi; Laurent Nana; Faouzi Benzarti; Anca Christine Pascu (ATSIP, 2020)

New Dataset for Industry 4.0 to Address the Change in Threat Landscape. - Salwa Alem; David Espes; Eric Martin; Laurent Nana; Florent de Lamotte (CRiSIS, 2020)

Concept Lattice and Soft Sets. Application to the Medical Image Analysis. - Anca Christine Pascu; Laurent Nana; Mayssa Tayachi (FCA4AI@ECAI, 2020)

Towards a Secure Communication of Data in IoT Networks: A Technical Research Report. - Bismark Tei Asare; Kester Quist-Aphetsi; Laurent Nana (ICA3PP (3), 2020)

Tamper and Clone-Resistant Authentication Scheme for Medical Image Systems. - Mayssa Tayachi; Saleh Mulhem; Wael Adi; Laurent Nana; Anca Pascu; Faouzi Benzarti (Cryptogr., 2020)

Toward A Digital Twin IoT for the Validation of AI Algorithms in Smart-City Applications. - Hamza Ngadi; Ahcène Bounceur; Madani Bezoui; Laaziz Lahlou; Mohammad Hammoudeh; Nadjia Kara; Laurent Nana (MLN, 2023)

A novel bi-anomaly-based intrusion detection system approach for industry 4.0. - Salwa Alem; David Espes; Laurent Nana; Eric Martin; Florent de Lamotte (Future Gener. Comput. Syst., 2023)

Enhancing Diabetic Retinopathy Classification: A Fusion of ResNet50 with Attention Mechanism. - Mohamed Touati; Laurent Nana; Faouzi Benzarti (CoDIT, 2024)

On Soft Sets and Formal Concept Analysis (FCA) as mathematical categorization systems - An Engineering Application. - Anca Pascu; Laurent Nana; Jean Vareille; François Monin (FLAIRS, 2024)

A zero-watermarking approach for DICOM images authentication based on Jacobian model. - Mayssa Tayachi; Laurent Nana; Anca Pascu; Faouzi Benzarti (Inf. Secur. J. A Glob. Perspect., 2024)

A Knowledge Analysis of an Engineering Application Related to Sustainable Development. - Laurent Nana; Jean Vareille; François Monin; Anca Christine Pascu (FLAIRS, 2025)

On the Mathematical Modeling in Logic: An Analysis of the Structural Part of Object Determination Logic Through the Formal Concept Analysis. - Anca Pascu; Laurent Nana; Jean Vareille; François Monin (Logica Universalis, 2025)