.@johnregehr, Yang Chen, Pascal Cuoq, Chucky Ellison, Xuejun Yang, and I are very honored to receive the ACM @sigplan Most Influential PLDI 2012 Paper Award for our paper, "Test-Case Reduction for C Compiler Bugs." doi.org/10.1145/225406… #pldi2022

#PEPR #Cybersécurité 🛡| L'événement de lancement du Programme et équipement prioritaire de recherche (#PEPR) d'accélération #Cybersécurité, va débuter au Campus Cyber. 🤝CEA Inria Suivez les interventions en direct⤵️⤵️

#cyber | Le CNRS 🌍 , Inria et le CEA lancent aujourd'hui le programme et équipement prioritaire de recherche d'accélération sur la cybersécurité Campus Cyber et présentent les sept premiers projets retenus. Pour en savoir plus👇 bit.ly/3OxrYzE

#PEPR #Cybersécurité 🛡| ❝ Nous voyons aujourd'hui cette #communauté large, on a besoin de ce socle. Tous les prémices sont là pour permettre une #souveraineté intelligente qui permette de maîtriser nos destins numériques ❞ Guillaume Poupard, directeur général de l'ANSSI

Jacques Fournier CEA-Leti et Florent Kirchner du CEA List présentaient les projets #Arsene, pour la sécurité des composants microélectroniques dans la cybersécurité, et #Securival pour concevoir de nouveaux outils pr vérifier l’absence de vulnérabilités matérielles comme logicielles

🏴‍☠️ Hey les hackers en herbe ou en devenirs. J’ai une place en trop pour Le Hack ! C’est ce vendredi, samedi et nuit de samedi à dimanche à Paris. Si vous êtes intéressé contactez-moi en DM 🤘 RT appréciés ! 🥰 cc leHACK

🤝Le CEA et l'ANSSI annoncent leur partenariat stratégique dans le domaine de la #cybersécurité. L'accord a été signé le 29/06/22 par Alexandre Bounouh, directeur du CEA-List et Guillaume Poupard, directeur général de l'ANSSI. ➡ list.cea.fr/fr/29-juin-202…

Congratulations to our Matthieu Lemerre and Michaël Marcozzi 🇪🇺🇧🇪 for their success in this year's ANR - Agence nationale de la recherche call for research proposals! #ANR

Le CEA-List et onepoint annoncent la création d’un Laboratoire Commun et  le lancement de travaux de recherche et d’innovation conjoints portant sur les processus et outils au cœur de la transformation numérique des entreprises. Mercredi dernier s’est te…lnkd.in/esfEFZph

Join the EU #CyberSecurity Competence Centre team! ❗️We are hiring! Check our new vacancies👇 Deadline for application: 15 September 2022 - 23h45 CEST cybersecurity-centre.europa.eu/job-opportunit…

[#BLOCKCHAIN]🥳Sara Tucci, Head of laboratory at CEA-List, joins the Toposware advisory board as a technology advisor. Her goal: support Toposware in establishing an innovative interoperability infrastructure standard for #Web3👉bit.ly/3eoIO7b

✈️We're speeding up the pace! 🚩BINSEC 0.6 is out. 👩‍🍳Our French chefs have great things for you on the menu: - Better support of x86-64 VEX - New support of RISC V 64bits - AFL-like status board for static symbolic execution Details and download: binsec.github.io/releases/2022/…

Bertrand Lathoud, from @secin_lu , talks about the exploitation results and implementation of #cybersecurity regulation on the European Cybersecurity Competence Centre vimeo.com/725953727

The new era of cybersecurity will be debated at #Cybersecurity Day 🇮🇹with researchers, representatives of the business world and the Public Administration, with a particular look at young people, to highlight the job opportunities offers! Learn more👉internetfestival.it/programma/cybe…

@MFriedewald, from Fraunhofer ISI, on SPARTA impact on the #cybersecuritycommunity in Europe in what regards responsible #innovation, #ethical, #legal and societal aspects!

Evaldas Bruze, from Lithuanian Cybercrime Center of Excellence for Training, Research & Education, on T-SHARK – Full-Spectrum cybersecurity awareness results and impact for the #cybersecurity community in Europe 🇪🇺🚀

Jean-Noël Barrot vient d'annoncer au Campus Cyber le nouveau Coordinateur de la Stratégie nationale Cyber : Florent Kirchner Florent Kirchner Félicitations à lui ! Nul doute qu'il pourra compter sur la communauté scientifique pour l'aider dans cette mission.

#SWH_Symposium2023 last presentation: “Software Source Code as a key for Innovation” by Florent Kirchner Florent Kirchner, Secrétariat général pour l’investissement, France #Software #CodeSource