Laurent Nana
51
Documents
Publications
Formal proof of security algorithms based on reachability reductionProceedings of the 8th International ACM Conference on Management of Digital EcoSystems, MEDES 2016, Nov 2016, Biarritz, France. pp. 67-72
Conference papers
hal-01519465v1
|
|
Fuzzy Rough set Based Image Watermarking ApproachProceedings of the 2nd International Conference on Advanced Intelligent Systems and Informatics AISI2016, Oct 2016, Cairo, Egypt. pp. 234-245
Conference papers
hal-01519473v1
|
|
RsaML : A Domain Specific Modeling Language for describing Robotic software architectures with integration of real time propertiesESWEEK 2016 - Proceedings of the Embedded Operating Systems Workshop co-located with the Embedded Systems Week, ACM, IEEE, Oct 2016, Pittsburgh PA, United States
Conference papers
hal-01519475v1
|
|
Data Authenticity and Integrity in Wireless Sensor Networks Based on a Watermarking ApproachThe 29th International Florida Artificial Intelligence Research Society, May 2016, Key Largo, Florida, United States
Conference papers
hal-01294146v1
|
|
A Robust Associative Watermarking Technique Based on Frequent Pattern Mining and Texture AnalysisProceedings of the 8th International ACM Conference on Management of Digital EcoSystems, MEDES 2016, Nov 2016, Biarritz, France. pp. 73-81
Conference papers
hal-01519469v1
|
|
Preuve de propriétés d’un analyseur syntaxique de plans de missions robotiques11th National Conference on “Software and Hardware Architectures for Robots Control”, SHARC'2016, Jun 2016, Brest, France
Conference papers
hal-01519489v1
|
|
Improving Authenticity and Robustness of Medical Images Watermarking Schemes Based on Multi-resolution DecompositionProceedings of the 12th IEEE International Conference on Imaging Systems and Techniques, Sep 2015, Macau, China. pp. 331-336
Conference papers
hal-01519483v1
|
|
Feature Based Encryption Technique for Securing Digital Image Data Based on FCA-Image Attributes and Visual CryptographyThe 15th International Conference on Computational Science and Its Applications (ICCSA 2015), Jun 2015, Banff, Albertal, Canada
Conference papers
hal-01171573v1
|
|
A Novel Robust Informed Watermarking Approach and Tamper Detection based on Weber Differential Excitation DescriptorProceedings of the 5th IEEE International Symposium on Intelligent Signal Processing and Communication Systems, Nov 2015, Nusa Dua-Bali, Indonesia. pp. 194-198
Conference papers
hal-01519481v1
|
|
JPEG Bitstream Based Integrity with Lightweight Complexity of Medical Image in WMSNS EnvironmentProceedings of The 7th International Conference on ManagEment of Digital EcoSystems (MEDES’15), ACM, Oct 2015, Caraguatatuba, Sao Paulo, Brazil. pp. 53-58, ⟨10.1145/2857218.2857227⟩
Conference papers
hal-01519482v1
|
|
A Security Technique for Authentication and Security of Medical Images in Health Information SystemsThe 15th International Conference on Computational Science and Its Applications (ICCSA 2015), Jun 2015, Banff, Alberta, Canada
Conference papers
hal-01171572v1
|
|
A hybrid encryption technique for securing biometric image data based on feistel network and RGB pixel displacementSecond international conference on security in computer networks and distributed systems, Mar 2014, Trivandrum, India
Conference papers
hal-00978659v1
|
|
Feature Based Encryption Technique For Securing Forensic Biometric Image Data Using AES and Visual CryptographyProceedings of the IEEE International Conference on Artificial Intelligence, Modelling and Simulation, AIMS2014, IEEE, Nov 2014, Madrid, Spain. pp. 199 - 204, ⟨10.1109/AIMS.2014.65⟩
Conference papers
hal-01519484v1
|
|
Improving Large Image Viewing in the Crisis Management System SécuRéViProceedings of the sixth international conference on Creative Content Technologies, Content 2014, IARIA, May 2014, Venise, Italy. pp 59-64
Conference papers
hal-01519487v1
|
|
A Hybrid Cryptographic and Digital Watermarking Technique for Securing Digital ImagesProceedings of the 2014 First International Conference on Systems Informatics, Modelling and Simulation (SIMS '14), IEEE, Apr 2014, Sheffield, United Kingdom. pp. 139-146, ⟨10.1109/SIMS.2014.30⟩
Conference papers
hal-01519488v1
|
|
A comparison approach for the choise of languages and methods for real-time and embedded systems design: application to robotic systemsIn proceedings of EWiLi'13, the 3rd embedded operating workshop, Aug 2013, Toulouse, France
Conference papers
hal-00979550v1
|
|
Informed symmetric encryption algorithm for DICOM medical image based on N-gramsSAI- science and information conference 2013, Oct 2013, Londres, United Kingdom
Conference papers
hal-00979541v1
|
|
A new hybrid asymmetric key-exchange and visual cryptographic algorithm for securing digital images.5th IEEE ICAST conference, Nov 2013, Pretoria, South Africa
Conference papers
hal-00979522v1
|
|
A novel cryptographic encryption technique of video images using quantum cryptography for satellite communications5th IEEE ICAST conference, Nov 2013, Pretoria, South Africa
Conference papers
hal-00979529v1
|
|
A novel cryptographic encryption technicque for securing digital images in the cloud using AES and RGB pixel displacement.In proceeding of UK-Sim-AMSS 7th european modelling symposium on mathematical modelling and computer simulation, Nov 2013, Manchester, United Kingdom
Conference papers
hal-00979537v1
|
|
Impact indicators relating to high speed communication networksLCA conference 2013, Nov 2013, Lille, France
Conference papers
hal-00979517v1
|
|
A new inscryption cipher for securing digital images of video surveillance devices using diffie-helleman-MD5 algorithm and RGB pixel shuffling.In proceeding of IEEE UK sim-AMSS 7th european modelling symposium on mathematical modelling and computer simulation, Nov 2013, Manchester, United Kingdom
Conference papers
hal-00979532v1
|
|
Systèmes Complexes et Plan Global de Secours (P.G.S.): vers un plan global Qualité, Hygiène, Sécurité et Environnement (Q.H.S.E.).1er Congrès National de la Recherche en IUT, Jun 2012, Tours, France
Conference papers
hal-00763769v1
|
|
|
Validation of a Mixed-Signal Board ATPG Method6th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS'08, Oct 2008, Lviv, Ukraine
Conference papers
hal-00783154v1
|
|
Modeling and Generation of Test Patterns for Mixed-Signal Boards: Dealing With Basic Signals6th IEEE International Board Test Workshop, BTW'07, Sep 2007, Fort Collins, Colorado, United States
Conference papers
hal-00783171v1
|
|
Implementing an Automatic Functional Test Pattern Generation for Mixed-Signal Boards in a Maintenance Context5th IEEE International East-West Design & Test Symposium, EWDTS'07, Sep 2007, Erevan, Armenia. p.171
Conference papers
hal-00607309v1
|
|
Implementing an AADL performance analyzerDASIA 2006, May 2006, Germany. pp.SP-630
Conference papers
hal-00504348v1
|
|
Towards a Formal Approach for the Regeneration of PILOT Control SystemSCI'2002, The 6th World Multiconference on Systemics, Cybernetics and Informatics, IEEE Computer Society Venezuela, Jul 2002, Orlando, Florida, United States
Conference papers
hal-00783178v1
|
A Hybrid Cryptographic and Steganographic Security Approach for Identity Management and Security of Digital ImagesCommunications in Computer and Information Science, 536, Springer International Publishing, pp.228-237, 2015, Security in Computing and Communications, ⟨10.1007/978-3-319-22915-7⟩
Book sections
hal-01519458v1
|
|
A Cryptographic Encryption Technique of MPEG Digital Video Images Based on RGB Layer Pixel ValuesPattern Analysis, Intelligent Security and the Internet of Things, 355, Springer International Publishing, pp.149-157, 2015, Advances in Intelligent Systems and Computing, 978-3-319-17397-9. ⟨10.1007/978-3-319-17398-6_14⟩
Book sections
hal-01171537v1
|
|
Feature Based Encryption Technique for Securing Digital Image Data Based on FCA-Image Attributes and Visual CryptographySpringer International Publishing. Computational Science and Its Applications - ICCSA 2015, 9158, Springer International Publishing, pp.712, 2015, Lecture Notes in Computer Science, 978-3-319-21409-2. ⟨10.1007/978-3-319-21410-8_54⟩
Book sections
hal-01171540v1
|
|
A Fast Discrete Cosine Transform and a Cryptographic Technique for Authentication and Security of Digital ImagesAbawajy J., Mukherjea S., Thampi S., Ruiz-Martínez A. Communications in Computer and Information Science, 536, Springer International Publishing, pp.89-98, 2015, Security in Computing and Communications, ⟨10.1007/978-3-319-22915-7_9⟩
Book sections
hal-01519460v1
|
|
A Hybrid Encryption Technique for Securing Biometric Image Data Based on Feistel Network and RGB Pixel DisplacementRecent Trends in Computer Networks and Distributed Systems Security Communications, Communications in Computer and Information Science (420), Springer Berlin Heidelberg, pp.530, 2014, Recent Trends in Computer Networks and Distributed Systems Security, 978-3-642-54524-5. ⟨10.1007/978-3-642-54525-2_47⟩
Book sections
hal-01171538v1
|
Validation d'une méthode de génération de données de test pour des cartes hybrides2008
Other publications
hal-00607284v1
|