Informatique & Cybersécurité

Lec 25: LTL_ Equivalence of Formulas, Adequate Set, Encoding Examples

Lec 25 : LTL_ Équivalence des formules, ensemble adéquat, exemples d'encodage

I Found an MFA-Bypassing Phishing Kit on the Dark Web

J'ai trouvé un kit de phishing contournant MFA sur le Dark Web

Blond & Quantum Episode 11: Dr. Yaakov Weinstein | CSO Officer for Quantum Technologies at MITRE

Blond & Quantum Épisode 11 : Dr. Yaakov Weinstein | Officier CSO pour les technologies quantiques chez MITRE

Beyond Pub/Sub - Advanced Messaging Patterns - Poornima Nayar - NDC Copenhagen 2026

Au-delà de Pub/Sub - Modèles de messagerie avancés - Poornima Nayar - NDC Copenhague 2026

Your Most Critical Network May Be Your Least Protected

Votre Réseau le Plus Critique Peut Être le Moins Protégé

Your Most Critical Network May Be Your Least Protected

Votre réseau le plus critique est peut-être le moins protégé

This Hacker Trap Was Built by AI

Ce piège à hackers a été conçu par une IA

The Past, Present & Future of Programming Languages • Kevlin Henney • YOW! 2025

Le Passé, le Présent et le Futur des Langages de Programmation • Kevlin Henney • YOW! 2025

Quantum + HPC: Hybrid Workflows | Vincent Pascuzzi | QGSS26

Quantique + HPC : Workflows hybrides | Vincent Pascuzzi | QGSS26

Python for Engineers & Robotics – Master NumPy, Pandas, and ChatGPT Automation

Python pour ingénieurs et robotique – Maîtrisez NumPy, Pandas et l'automatisation ChatGPT

Lec 30: Context of Use & Design

Leçon 30 : Contexte d'utilisation et conception

Lec 29: Multimodal Design

Lec 29 : Conception multimodale

Jailbreaking the Blockchain: How I Used Game Theory to Map Prompt Injection Attack Surfaces

Jailbreaking the Blockchain: Comment j'ai utilisé la théorie des jeux pour cartographier les surfaces d'attaque par injection de prompts

It's like 10,000 streams when what you need is a queue - Chris Simon - NDC Copenhagen 2026

C'est comme 10 000 streams quand ce dont vous avez besoin c'est d'une file d'attente - Chris Simon - NDC Copenhagen 2026

How Anthropic uses Claude Code: Agentic Software Engineering at Scale - Daisy Hollman

Comment Anthropic utilise Claude Code : Ingénierie logicielle agentique à grande échelle - Daisy Hollman

Getting Started in OT/ICS Cybersecurity 2026 (Module 4): What They Don't Say About OT Protocols

Démarrer en cybersécurité OT/ICS 2026 (Module 4) : Ce qu'ils ne disent pas sur les protocoles OT

From Inventory to Accelerator: What Happens When a Large AI Org Builds Data Products No One Can Find

De Inventory à Accelerator : que se passe-t-il lorsqu'une grande organisation d'IA crée des produits de données que personne ne peut trouver

Constable: ISCA 2024 Best Paper

Constable : Meilleur article de l'ISCA 2024

Relation Algebra and the Limits of What Computers Can Decide Jas Semrl FAI CDT

Algèbre des relations et les limites de ce que les ordinateurs peuvent décider Jas Semrl FAI CDT

Quantum in the Big Four with Aaron Kemp

Quantum chez les quatre grands avec Aaron Kemp

Putting the NICE Framework to Work

Mettre en œuvre le cadre NICE

Just Hacking Training Webinar | Securely Adding AI to Your Dev Team

Webinaire de formation en hacking | Ajouter l'IA en toute sécurité à votre équipe de développement

He Wrote the 27-Year-Old Bug Mythos Found. Then Proved Mythos Wasn’t Necessary | Neils Provos | S2E4

Il a écrit le mythe du bug de 27 ans trouvé. Puis a prouvé que le mythe n'était pas nécessaire | Neils Provos | S2E4

Amazon Webinar | MAESTRO: Threat Modelling for Agentic AI

Amazon Webinar | MAESTRO : Modélisation des menaces pour l'IA agentique

0x32A - Actu - 09 aout 2026

Data Science, Big Data y Analítica Avanzada. Sesión Virtual 6: Calidad y gobierno de datos.

Data Science, Big Data et Analytique Avancée. Session Virtuelle 6 : Qualité et gouvernance des données.

Lec 24: LTL Encoding Examples

Lec 24: Exemples d'encodage LTL

Lec 23: LTL: Syntax and Semantics

Lec 23: LTL: Syntaxe et Sémantique

Lec 22: Introduction to XLA Compilation

Lec 22: Introduction à la compilation XLA

Lec 22: Introduction to Model Checking

Lec 22: Introduction à la vérification de modèles

Lec 21: Correctness, Consistencies and Completenss of Formal Properties

Lec 21: Exactitude, Cohérences et Complétude des Propriétés Formelles

Lec 20: Introduction to Formal Property Verification

Lec 20: Introduction à la vérification formelle de propriétés

🔴𝑯𝑨𝑷𝑷𝑬𝑵𝑰𝑵𝑮 𝑵𝑶𝑾: 𝑸𝒖𝒂𝒏𝒕𝒖𝒎 𝒇𝒐𝒓 𝑬𝒎𝒆𝒓𝒈𝒊𝒏𝒈 𝑴𝒂𝒓𝒌𝒆𝒕𝒔⚡

🔴𝑯𝑨𝑷𝑷𝑬𝑵𝑰𝑵𝑮 𝑵𝑶𝑾: 𝑸𝒖𝒂𝒏𝒕𝒖𝒎 𝒑𝒐𝒖𝒓 𝒍𝒆𝒔 𝑴𝒂𝒓𝒄𝒉𝒆𝒔 𝑬𝒎𝒆𝒓𝒈𝒆𝒏𝒕𝒔⚡

Programming QuantumComputers | Ibrahim Shehzad | QGSS26

Programmation des ordinateurs quantiques | Ibrahim Shehzad | QGSS26

Dassault Systèmes Accelerates Simulation with NVIDIA AI & GPUs

Dassault Systèmes accélère la simulation grâce à l'IA et aux GPU NVIDIA

A Long Spring: 19 Years of Living with Your Past Mistakes • Arjen Poutsma • GOTO 2025

Un long printemps : 19 ans à vivre avec vos erreurs passées • Arjen Poutsma • GOTO 2025

0x329 - PME - Impact de l'intelligence artificielle sur la cybersécurité et la fraude

Why email remains the primary entry point for corporate cyberattacks

Pourquoi l'e-mail reste le principal point d'entrée des cyberattaques en entreprise

The Cost of a Data Breach

Le coût d'une violation de données

SVGs, ah yes the crazy files with XML that make pretty figures - Kristoffer Strube

SVGs, ah oui, les fichiers fous avec XML qui font de jolies figures - Kristoffer Strube