Florent Kirchner

Deprecated - details and new social in pinned thread

[Florent Kirchner @__ftk]

DCL30-C. Declare objects with appropriate storage durations https://t.co/5JwSuQbQxW
🐘/ftk

[Florent Kirchner @__ftk]

@[email protected]

[Florent Kirchner @__ftk]

DCL30-C. Declare objects with appropriate storage durations https://t.co/5JwSuQbQxW
🐘/ftk

[Software Heritage @SWHeritage]

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

#Software #CodeSource

[Gildas Avoine @GildasAvoine]

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

[SPARTA @sparta_eu]

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

[SPARTA @sparta_eu]

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👉https://t.co/2Wef3G8tJe

[SPARTA @sparta_eu]

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

[SPARTA @sparta_eu]

Bertrand Lathoud, from @secin_lu , talks about the exploitation results and implementation of #cybersecurity regulation on the @Cybersec_ECCC

https://t.co/Bee2pnMyeu

[BINSEC Team @ Université Paris-Saclay, CEA, List @BinsecTool]

✈️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: https://t.co/ZqOWbiFsa0

[CEA-List @CEA_List]

[#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👉https://t.co/2En6sg83KW

[European Cybersecurity Competence Centre @Cybersec_ECCC]

Join the EU #CyberSecurity Competence Centre team!

❗️We are hiring!

Check our new vacancies👇

Deadline for application: 15 September 2022 - 23h45 CEST

https://t.co/vR7e1DW2p8

[Muriel Touaty @MurielTouaty]

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…https://t.co/WTGJtNVXyv

[BINSEC Team @ Université Paris-Saclay, CEA, List @BinsecTool]

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

[CEA-List @CEA_List]

🤝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.
➡ https://t.co/OR12o036eg

[Adrien @baDotNet]

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

[CEA @CEA_Officiel]

#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👇
https://t.co/BkhM6M29cg

[CNRS Sciences informatiques @CNRSinformatics]

#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

[CEA @CEA_Officiel]

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

[CNRS Sciences informatiques @CNRSinformatics]

#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⤵️⤵️

[Eric Eide @eeide]

.@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." https://t.co/VfhjwnfB4Z #pldi2022