Pinned Tweet
DCL30-C. Declare objects with appropriate storage durations wiki.sei.cmu.edu/confluence/…
🐘/ftk
Florent Kirchner retweeted
#SWH_Symposium2023 last presentation:
“Software Source Code as a key for Innovation” by @__ftk Florent Kirchner, @SGPI_avenir, France
#Software #CodeSource
Florent Kirchner retweeted
Replying to @jnbarrot
@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.
Florent Kirchner retweeted
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 🇪🇺🚀
Florent Kirchner retweeted
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/programm…
Florent Kirchner retweeted
@MFriedewald, from @FraunhoferISI, on @sparta_eu impact on the #cybersecuritycommunity in Europe in what regards responsible #innovation, #ethical, #legal and societal aspects!
Florent Kirchner retweeted
Bertrand Lathoud, from @secin_lu , talks about the exploitation results and implementation of #cybersecurity regulation on the @Cybersec_ECCC
vimeo.com/725953727
Florent Kirchner retweeted
✈️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/20…
Florent Kirchner retweeted
[#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
Florent Kirchner retweeted
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.…
Florent Kirchner retweeted
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
Florent Kirchner retweeted
Congratulations to our @lemerre_m and @michaelmarcozzi for their success in this year's @AgenceRecherche call for research proposals! #ANR
🥳 Happy to be awarded a "JCJC Grant" by @AgenceRecherche #ANR
It requested hard work and is a big step for me as a young faculty. Thanks to @BinsecTool and @CEA_List for providing such a great environment.
Oh, we will soon be hiring on vulnerability detection and fuzzing! 😉
Florent Kirchner retweeted
🤝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-2022-…
Florent Kirchner retweeted
#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
Florent Kirchner retweeted
#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
Florent Kirchner retweeted
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
Florent Kirchner retweeted
#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⤵️⤵️
Florent Kirchner retweeted
.@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/2254064.2254… #pldi2022




















