Search for "Victor Toso"

BREACH in Agda
49 min

BREACH in Agda

Security notions, proofs and attacks using dependently…

OpenMapTiles
22 min

OpenMapTiles

Revolution in selbstgehosteten Karten

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

LatticeHacks
65 min

LatticeHacks

Fun with lattices in cryptography and cryptanalysis

Why Railway Is Safe But Not Secure
41 min

Why Railway Is Safe But Not Secure

Security Of Railway Communication Protocols

Trustworthy secure modular operating system engineering
61 min

Trustworthy secure modular operating system engineering

fun(ctional) operating system and security protocol…

Everything you want to know about x86 microcode, but might have been afraid to ask
57 min

Everything you want to know about x86 microcode, but might have been afraid to ask

An introduction into reverse-engineering x86 microcode and…

The eXperimental Robot Project
50 min

The eXperimental Robot Project

An open-hardware bipedal walking machine

LibreSilicon
60 min

LibreSilicon

Decentralizing semiconductor manufacturing

Nintendo hacking 2023: 2008
42 min

Nintendo hacking 2023: 2008

Finishing off the Nintendo DSi