Search for "Toby" returned 137 results

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

• 61 min
• 2017-12-29
• 4.0k
• Adam Chlipala
34C3: TUWAT

The Tor Network

We're living in interesting times

• 62 min
• 2013-12-27
• 2.5k
• Jacob and arma
30C3

Audiodump

• Sendezentrum
• 86 min
• 2021-12-29
• 824
• Malik Aziz
rC3 NOWHERE

Breaking Baryons

On the Awesomeness of Particle Accelerators and Colliders

• 60 min
• 2013-12-27
• 355
• Michael Büker
30C3

How to prepare files for lasercutting

• R3S - Remote Rhein Ruhr Stage FireShonks
• 83 min
• 2022-12-28
• 132
• merline
Dezentrale Jahresendveranstaltungen

Safe and Secure Drivers in High-Level Languages

How to write PCIe drivers in Rust, go, C#, Swift, Haskell,…

• 61 min
• 2018-12-29
• 6.9k
• Paul Emmerich, Simon Ellmann and Sebastian Voit
35C3: Refreshing Memories

Cyber Necromancy

Reverse Engineering Dead Protocols

• 55 min
• 2014-12-28
• 5.3k
• Joseph Tartaro and Matthew Halchyshak
31C3: a new dawn

Nomic

• JugendVillage
• 138 min
• 2023-08-17
• 192
Chaos Communication Camp 2023

Programming FPGAs with PSHDL

Let's create the Arduino for FPGAs

• 61 min
• 2013-12-28
• 288
• Karsten Becker
30C3

Open Hardware Happy Hour (O3H)

• xHain
• 62 min
• 2021-12-29
• 299
• Mitch, Maximilian Voigt, Daniel Wessolek, Cedric Honnet, unixjazz, Helen Leigh, Drew Fustini and Shannon Dosemagen
rC3 NOWHERE

Fnord-Jahresrückblick

Wir helfen euch, die Fnords zu sehen!

• 99 min
• 2016-12-29
• 28.7k
• Fefe and frank
33C3: works for me

Trustworthy secure modular operating system engineering

fun(ctional) operating system and security protocol…

• 61 min
• 2014-12-27
• 2.8k
• hannes and David Kaloper
31C3: a new dawn