
Computing & Cybersecurity



Lec 46: Equivalence Checking with SMT Solvers
★
★
★
★
☆
4/5


Lec 44: Equivalence Checking between Programs
★
★
★
★
☆
4/5


Lec 42: Tutorial on NuSMV Model Checking Tool
★
★
★
★
☆
4/5

Lec 41: Bounded Model Checking
★
★
★
★
☆
4/5

Lec 40: SAT based Symbolic Model Checking
★
★
★
★
★
5/5

Lec 40: Graph Tracing, Batching & Concurrency
★
★
★
★
☆
4/5


J’ai essayé l’iPhone 18 Pro en avant-première : le meilleur choix ?
I tried the iPhone 18 Pro in preview: the best choice?
★
★
★
★
☆
4/5


I Turned the Open Internet Into a Minecraft World
★
★
★
☆
☆
3/5




Apple Event sept 2026 : notre analyse à chaud ! (iPhone Duo, iPhone 18 Pro, Apple Watch, AirPods 5)
Apple Event Sept 2026: Our Instant Reaction! (iPhone Duo, iPhone 18 Pro, Apple Watch, AirPods 5)
★
★
★
★
☆
4/5


0x33F - Vincetopia - First thing first!
★
★
★
☆
☆
3/5

You Need To See This At Least Once
★
★
★
★
☆
4/5


Quantum Advantage in Less Than Five Years
★
★
★
★
☆
4/5

Les données des entreprises sont-elles en danger ? Interview avec un expert de chez Box
Are company data in danger? Interview with an expert from Box
★
★
★
★
☆
4/5

Learn Python – Interactive Course 2026
★
★
★
★
★
5/5

J'ai essayé l'iPhone DUO en AVANT-PREMIÈRE : mon analyse à chaud
I tried the DUO iPhone in PREVIEW: my hot analysis
★
★
★
★
☆
4/5

iPhone Duo à 2339€ : pourquoi ce pliable Apple m'a BLUFFÉ !
iPhone Duo at 2339€: why this foldable Apple amazed me!
★
★
★
★
☆
4/5




0x33C - Teknik - CAIDO, le proxy offensif, ou la complexité de coder un proxy
0x33C - Teknik - CAIDO, the offensive proxy, or the complexity of coding a proxy
★
★
★
★
☆
4/5


QUBES OS PARA PENTEST: COMO CRIAR UM TEMPLATE DO PARROT OS A PARTIR DE UM CLONE DO TEMPLATE DEBIAN
QUBES OS FOR PENTEST: HOW TO CREATE A PARROT OS TEMPLATE FROM A CLONE OF THE DEBIAN TEMPLATE
★
★
★
★
☆
4/5

Lec 41: JPEG-1 Compression Standard
★
★
★
★
☆
4/5

Lec 39: Data Compression & JPEG Standard
★
★
★
★
☆
4/5

Lec 38: Digital Audio & Video representation
★
★
★
★
☆
4/5

J’avais (encore) tort… Google, c’est vraiment fort en fait
I was wrong (again)... Google is actually really strong
★
★
★
★
☆
4/5

![Frontiers in complexity lower bounds [LFCW01] | Mon 7th September](https://i.ytimg.com/vi/BleMYuy7FJc/hqdefault.jpg)

Dr. Zhenjian Lu | Nondeterminism in Meta-Complexity
★
★
★
★
☆
4/5