Your search query : Cryptography
8 results found
Current projects 2024/02 - 2028/01, ANR SCAMA: Secure-by-Design Computing Against Microarchitectural Attacks Partners : Lab-STICC (P. Cotret, V. Lapôtre, G. Gogniat, L. Lagadec), LTCI, LHC, LIRMM 2022/01 - 2024/06, ANR TrustGW: IoT gateway prot…
Read moreTeam seminars are given by ARCAD members and visiting collaborators (students and researchers), they are open to all pole and lab members. Usual format: 30 et 40 minutes presentation followed by 15 to 20 minutes for questions and discussion. 2024…
Read moreMy research areas are:- Logic for language semantics - Mathematical Logic applied to Semantic Analysis.- Information Security through Watermarking.- Mathematical modelling in artificial intelligence (AI). Key words :- Digital Image Watermarking / Cry…
Read moreFormer PhD students: Dr Quentin Ducasse, 2020-2024, grant founded by Brittany Région and DGA, PhD thesis on “Sécurisation matérielle de la compilation à la volée des machines virtuelles langage”, Dr Semih Ince, 2021-2024, grant founded by Nokia, PhD…
Read moreARCAD members develop hardware circuits, blocs, IPs, accelerators and software tools and librairies. GAUTFree academic High-Level Synthesis tool LWE crypto in HLS on FPGAC library for high-level synthesis of lattice based post-quantum cryptography (…
Read more