Guillaume Bouffard

GitHub - verus-lang/verus: Verified Rust for low-level systems code Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

Verus is a tool for verifying the correctness of code written in Rust:

C’est rigolo, ce strip avait tant tourné sur feu twittos que ça a été le début de plein de choses pour moi. 8 ans (!) ont passé, je retombe dessus et je le trouve juste ultra perché maintenant haha. L’humour, c’est quand même vachement contextuel.
(je l'aime bien quand même, hein)

arg ! bon courage !

C’est surprenant que ça n’est pas été vérifié avant déploiement de la mise à jour.

🎉 We're very happy to announce our new release KeePassXC 2.7.11 and... *drumroll* that the KeePassXC version 2.7.9 has been awarded a CSPN Security Visa by the French National Cybersecurity Agency (ANSSI). 🎉❤️
See our blog post for more information: keepassxc.org/blog/2025-11... #VisaSecu #KeePassXC

"La plus puissante de ces dernières années" : une éruption solaire rare frappe le Soleil, quelles conséquences sur Terre ? Une éruption solaire de classe X5, l’une des plus puissantes depuis des années, vient de se produire ce mardi 11 novembre. Des aurores boréales pourraient être visibles, des perturbations ne sont pas ...

C’est possible, après, de nos jours, les téléphone utilise aussi les réseaux wifi disponibles aux alentours pour détecter la position.

Mais si vous êtes en raz campagne…

Il y a eu une éruption solaire importante hier. www.lamontagne.fr/paris-75000/...

« Télétravail du sexe » est disponible à la location

🔊 Découvrez le documentaire "Télétravail du sexe" que j’ai coréalisé avec @carminamina.bsky.social (full indé) et plongez dans le quotidien des créateur·rices de contenu adulte 🎬

Disponible dès maintenant en location en streaming sur notre site ! www.teletravail-du-sexe.com/achat-vod/

exemple de fonctionnement

Ne paniquez pas, c'est juste un POC…

"Depix is a PoC for a technique to recover plaintext from pixelized screenshots."

👉 github.com/spipm/Dep...

tu peux skip la ref avec ça ce champs dans ton entrée :

options = "skipbib=true",

dans le bibtex. Mais bon ça fait bidouille.

Volà ce que je fais dans mes slides de HDR :

pastebin.com/vVeT1P9w

et ça ça marche dans mon beamer

avec la commande \citefield{ref}{url}.

tu peux aussi faire \href{\citefield{ref}{url}}{\citefield{ref}{url}} si tu veux rendre ça cliquable.

Je te donne la commande de tete. J'ai un MWE que j'ai fait dans ma soutenance de HDR si besoin.

À #SecSea2k5 Aurélien Francillon d'Eurecom relate les expériences hallucinantes d'écoutes en reconnectant avec les documents NSA déclassifiés en parallèle 😁
✅ Bluetooth 😧
✅ JTAG fait tout fuiter "quand le 𝑗𝑖𝑡𝑡𝑒𝑟 révèle le calcul de la puce" 👏🏻
Génial 👍🏻

A second shot at a PhD I have an unexpected and exciting professional news to share

Despite having completed 90% of the manuscript, I was never able to defend my PhD

It's definitely unexpected, but I'm thrilled to announce that I have restarted working on a PhD

You can read about what happened and my plans on my newsletter: o.simardcasanova.net/p/8e29c3...

#EconSky

Schéma illustrant la contraction des longueurs pour différentes vitesses (v nulle, v = 86.6% de c, v = 99.5% de c, et v tend vers c)

Le saviez-vous ?

Plus vous approchez de la vitesse de la lumière, plus la distance entre vous et votre destination RÉTRÉCIT, ce qui permet en théorie, sans briser aucune loi de la physique, d'atteindre n'importe quel point de l'Univers en un temps raisonnable (si vous allez assez vite)

#thread
⬇️⬇️⬇️

Photo of a missing slice of cheesecake that looks like a cheesecake hull floating in a deep blue ocean. The "ocean" is actually the blueberry topping on the large cheesecake that we don't see completely.

All I saw was cheesecake boat and ocean for at least 5 minutes

@monniauxd.bsky.social le manuscrit est en ligne ;)

🚀 Je soutiens mon HDR 23/09 14h, Amphi Gosse @ Grenoble INP

Contenu: RoT→TEE/REE (migration des fonctions de sécu) ; injections de fautes sur archis déployées (impact & mitigations) ; apps sensibles en REE : white-box, obfuscation, bonnes pratiques.

🔗 infos & manuscrit : www.bouffard.info/hdr.html

J’ai jamais fait, mais je me demande. Est ce possible de mettre aussi à jour l’article chez l’éditeur (IEEE, Springer, etc.) afin que tous aient accès à la dernière version ?

Toutes mes félicitations !

Carte de Paris simulation îlot de chaleur

Vous avez sûrement déjà lu que la climatisation aggrave les canicules car l’air chaud rejeté à l’extérieur augmenterait la température des villes de 2 à 3°C.

Vérifions ce que disent vraiment les études scientifiques à ce sujet 🧑‍🔬

(lisez jusqu’au bout, car vous allez être 🤯🤯 à la fin)

#Thread
⬇️⬇️

Postdoc offer at Lab-STICC / ENSTA Brest campus:

emploi.cnrs.fr/Offres/CDD/U...

I'm thrilled to announce that after months of intensive work, the complete materials for my Applied Cryptography course at the American University of Beirut are now finished: both Part 1 (Provable Security) and Part 2 (Real-World Cryptography)!

L'avis consultatif de la Cour Internationale de Justice sur les obligations des Etats par rapport au changement climatique a été publié ici : www.icj-cij.org/fr/accueil

Voici donc les réponses aux questions posées par l'Assemblée Générale de l'ONU.

Question a) sur les obligations des Etats,

Let Me Cook You a Vulnerability: Exploiting the Thermomix TM5 Related Work The Thermomix TM5 has previously drawn the attention of the security community, notably through research presented by Jean-Michel Besnard at SSTIC 2019 [1], which described a code execut

Vulnerability Research on the Thermomix TM5, leading to the discovery of multiple ones, which allow firmware downgrade and arbitrary code execution on some firmware versions - Detailed report by Baptiste Moine from @synacktiv.com #Infosec #Hacking www.synacktiv.com/en/publicati...

Très pratique, en un coup d'oeil, l'état du trafic en temps réel de tous les métros parisiens (RER et Tram aussi) :
https://ratpstatus.fr/

Changement climatique : « Le dépassement du seuil de 1,5 °C est désormais inéluctable » Au rythme actuel des émissions de CO₂, le budget carbone restant pour limiter le réchauffement planétaire à moins de 1,5 °C sera épuisé d’ici à trois ans, avertit un consortium international de soixante chercheurs, dont Valérie Masson-Delmotte.

Changement climatique : « Le dépassement du seuil de 1,5 °C est désormais inéluctable »

Deux images du coucher de soleil, l'une depuis la Terre et l'autre depuis Mars.

Le saviez-vous ?

Sur Terre, le ciel est bleu durant la journée et rouge quand le Soleil se couche.

Sur Mars, le ciel est rouge durant la journée, et bleu quand le Soleil se couche.

And I think it's beautiful.

Plus d'infos : apod.nasa.gov/apod/ap25061...

😅

GitHub - synacktiv/mofos: Virtual machines manipulation framework Virtual machines manipulation framework. Contribute to synacktiv/mofos development by creating an account on GitHub.

Mofos, framework de manipulation de machines virtuelles « à la » QubesOS sur une distribution Linux classique, reposant sur Libvirt/QEMU/KVM
- Repository GitHub github.com/synacktiv/mo...
- Talk par Florian Guilbert à la conférence #SSTIC 2025 #Video www.sstic.org/2025/present...