Informatique & Cybersécurité

Séminaire - DIC-ISC-CRIA - 10 septembre 2026 par Nicolas GOULET et Léo BOISVERT

Prof. Roei Tell | Time vs Space vs Alternations: General Plasticity for Algorithms from Hardness ...

Prof. Roei Tell | Temps vs Espace vs Alternances : Plasticité générale pour les algorithmes à partir de la dureté...

MQTT PROTOCOL FOR IOT APP | IOT–ARC, COMM, TECH & ITS APP | LECTURE 03 BY MS. SUVARNA MUJUMDAR | AKG

PROTOCOLE MQTT POUR APPLICATION IoT | IOT–ARC, COMM, TECH ET SES APPLICATIONS | COURS 03 PAR MME SUVARNA MUJUMDAR | AKG

Lec 46: Equivalence Checking with SMT Solvers

Lec 46 : Vérification d'équivalence avec les solveurs SMT

Lec 45: Translation Validation of Loop Invariant Code Optimizations

Lec 45 : Validation de traduction des optimisations de code à invariant de boucle

Lec 44: Equivalence Checking between Programs

Lec 44 : Vérification d'équivalence entre programmes

Lec 43: Equivalence Checking Problems in Embedded Systems

Lec 43 : Problèmes de vérification d'équivalence dans les systèmes embarqués

Lec 42: Tutorial on NuSMV Model Checking Tool

Lec 42 : Tutoriel sur l'outil de vérification de modèles NuSMV

Lec 41: Bounded Model Checking

Lec 41 : Vérification de modèles bornée

Lec 40: SAT based Symbolic Model Checking

Lec 40 : Vérification de modèles symboliques basée sur SAT

Lec 40: Graph Tracing, Batching & Concurrency

Lec 40 : Tracé de graphes, traitement par lots et concurrence

Lec 39: Backward Reachability in BDD based Symbolic Model Checking

Lec 39: Accessibilité en arrière dans la vérification de modèles symboliques basée sur BDD

J’ai essayé l’iPhone 18 Pro en avant-première : le meilleur choix ?

INTRODUCTION TO DATA STRUCTURE | DATA STRUCTURE | LECTURE 01 BY MS. MANI DUBLISH | AKGEC

INTRODUCTION À LA STRUCTURE DE DONNÉES | STRUCTURE DE DONNÉES | LEÇON 01 PAR MS. MANI DUBLISH | AKGEC

I Turned the Open Internet Into a Minecraft World

J'ai transformé l'Internet ouvert en un monde Minecraft

Dr. Igor Carboni Oliveira | Meta-Mathematics of Complexity Theory

Dr. Igor Carboni Oliveira | Méta-mathématiques de la théorie de la complexité

Dr. Hanlin Ren | Near-Maximum Circuit Lower Bounds for Exponential Time with Merlin-Arthur Queries

Dr. Hanlin Ren | Bornes inférieures de circuits quasi-maximales pour le temps exponentiel avec requêtes Merlin-Arthur

Bon, tout ça va trop loin là

Apple Event sept 2026 : notre analyse à chaud ! (iPhone Duo, iPhone 18 Pro, Apple Watch, AirPods 5)

Alan Turing's legacy: computers, AI and some very queer mathematics. By Benjamin Burton

L'héritage d'Alan Turing : ordinateurs, IA et quelques mathématiques très queer. Par Benjamin Burton

0x33F - Vincetopia - First thing first!

You Need To See This At Least Once

Vous devez voir ça au moins une fois

The “Don’t Touch It” Problem Hiding on Your Plant Floor

Le problème « Ne pas toucher » caché sur votre sol d'usine

Quantum Advantage in Less Than Five Years

Avantage quantique en moins de cinq ans

Les données des entreprises sont-elles en danger ? Interview avec un expert de chez Box

Learn Python – Interactive Course 2026

J'ai essayé l'iPhone DUO en AVANT-PREMIÈRE : mon analyse à chaud

iPhone Duo à 2339€ : pourquoi ce pliable Apple m'a BLUFFÉ !

INNER CLASS | OBJECT ORIENTED PROGRAMMING WITH JAVA | LECTURE 04 BY MR. GAURAV KUMAR | AKGEC

CLASSE INTERNE | PROGRAMMATION ORIENTÉE OBJET AVEC JAVA | LEÇON 04 PAR M. GAURAV KUMAR | AKGEC

How to Map and Fix Identity Attack Paths in Active Directory | SpecterOps

Comment cartographier et corriger les chemins d'attaque d'identité dans Active Directory | SpecterOps

0x33D - Actu - 6 septembre 2026

0x33C - Teknik - CAIDO, le proxy offensif, ou la complexité de coder un proxy

0x33B - Teknik - CVE 2025 54068 - Deep dive into Livewire

QUBES OS PARA PENTEST: COMO CRIAR UM TEMPLATE DO PARROT OS A PARTIR DE UM CLONE DO TEMPLATE DEBIAN

QUBES OS POUR LE PENTEST : COMMENT CRÉER UN TEMPLATE DE PARROT OS À PARTIR D'UN CLONE DU TEMPLATE DEBIAN

Lec 41: JPEG-1 Compression Standard

Lec 41 : Norme de compression JPEG-1

Lec 39: Data Compression & JPEG Standard

Lec 39 : Compression de données et norme JPEG

Lec 38: Digital Audio & Video representation

Lec 38 : Représentation de l'audio et de la vidéo numériques

J’avais (encore) tort… Google, c’est vraiment fort en fait

Halley Goldberg | Asymmetry and Complexity of Nondeterministic Computations

Halley Goldberg | Asymétrie et complexité des calculs non déterministes

Frontiers in complexity lower bounds [LFCW01] | Mon 7th September

Frontières dans les bornes inférieures de complexité [LFCW01] | Lun 7 septembre