Florent Kirchner

DCL30-C. Declare objects with appropriate storage durations wiki.sei.cmu.edu/confluence/dis… 🐘/ftk

@ftk@mastodon.cloud

DCL30-C. Declare objects with appropriate storage durations wiki.sei.cmu.edu/confluence/dis… 🐘/ftk

#SWH_Symposium2023 last presentation: “Software Source Code as a key for Innovation” by @__ftk Florent Kirchner, @SGPI_avenir, France #Software #CodeSource

@jnbarrot vient d'annoncer au @CampusCyberFr le nouveau Coordinateur de la Stratégie nationale Cyber : Florent Kirchner @__ftk Félicitations à lui ! Nul doute qu'il pourra compter sur la communauté scientifique pour l'aider dans cette mission.

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 🇪🇺🚀

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 @FraunhoferISI, on @sparta_eu impact on the #cybersecuritycommunity in Europe in what regards responsible #innovation, #ethical, #legal and societal aspects!

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

✈️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/…

[#BLOCKCHAIN]🥳@SaraTucci6, 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

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…

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

Congratulations to our @lemerre_m and @michaelmarcozzi for their success in this year's @AgenceRecherche call for research proposals! #ANR

🤝Le @CEA_Officiel et l'@ANSSI_FR 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_FR. ➡ list.cea.fr/fr/29-juin-202…

🏴‍☠️ 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_

#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é @CampusCyberFr 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_FR

Jacques Fournier @CEA_Leti et @__ftk 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

#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 @CampusCyberFr. 🤝@CEA_Officiel @Inria Suivez les interventions en direct⤵️⤵️

.@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