Search for "Victor Toso" returned 173 results

49 min
BREACH in Agda
Security notions, proofs and attacks using dependently…

22 min
OpenMapTiles
Revolution in selbstgehosteten Karten

34 min
Ling - High level system programming
modular and precise resource management

60 min
A Story of Discrimination and Unfairness
Prejudice in Word Embeddings

65 min
LatticeHacks
Fun with lattices in cryptography and cryptanalysis

41 min
Why Railway Is Safe But Not Secure
Security Of Railway Communication Protocols

62 min
Kyber and Post-Quantum Crypto
How does it work?

61 min
Trustworthy secure modular operating system engineering
fun(ctional) operating system and security protocol…

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…

60 min
LibreSilicon
Decentralizing semiconductor manufacturing

50 min
The eXperimental Robot Project
An open-hardware bipedal walking machine

54 min