Search for "Ben" returned 9332 results

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

Having fun with RTP
36 min

Having fun with RTP

„Who is speaking???“

Introduction in MEMS
40 min

Introduction in MEMS

Skills for very small ninjas

Writing better code (in Dylan)
59 min

Writing better code (in Dylan)

Fast development of object-oriented functional programs

Transparency and Privacy
63 min

Transparency and Privacy

The 7 Laws of Identity and the Identity Metasystem

Design Noir
50 min

Design Noir

The seedy underbelly of electronic engineering

Old Skewl Hacking - InfraRed updated
49 min

Old Skewl Hacking - InfraRed updated

MMIrDA - Major Malfunction's InfraRed Discovery Application

The A5 Cracking Project
61 min

The A5 Cracking Project

Practical attacks on GSM using GNU Radio and FPGAs

Privacy and the Car of the Future
52 min

Privacy and the Car of the Future

Considerations for the Connected Vehicle

SCADA Strangelove
56 min

SCADA Strangelove

or: How I Learned to Start Worrying and Love Nuclear Plants

C64-DTV Hacking
57 min

C64-DTV Hacking

Revisiting the legendary computer in a joystick

Lying To The Neighbours
34 min

Lying To The Neighbours

Nasty effects with tracker-less BitTorrent

Console Hacking 2006
50 min

Console Hacking 2006

Xbox 360, Playstation 3, Wii

Mifare
59 min

Mifare

Little Security, Despite Obscurity