Search for person "Adam Chlipala"

Full AACSess: Exposing and exploiting AACSv2 UHD DRM for your viewing pleasure

• Security
• 59 min
• 2023-12-29
• 4880
• Adam Batori

Web asset security

and how to verify that Javascript before you trust your…

• New Technologies
• 26 min
• 2022-06-03
• 13
• Adam Majer

DNS

A distributed directory that runs the Internet

• Open Source
• 26 min
• 2022-06-03
• 40
• Adam Majer

How a C/C++ noob ported DOOM to run in Godot using GDExtension

• Talks godot
• 55 min
• 2023-11-04
• 626
• Adam Scott

Remote Collaboration and Live Performance with Open Source Tools

• web
• 58 min
• 2023-10-07
• 67
• Adam Holquist

GPT-3 Powerpoint Karaoke

• 76 min
• 2022-06-04
• 213
• Adam Froggatt and Kate Devlin

Our Time in a Product Review Cabal

And the malware and backdoors that came with it.

• Milliways
• 41 min
• 2023-08-16
• 260
• Adam Schaal and Matt Virus

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

• 61 min
• 2017-12-29
• 3941
• Adam Chlipala

BioInformaticsHack

• Zürich Bitwäscherei Bitwaescherei
• 41 min
• 2020-12-28
• 101
• Adam Zaretzky

Spatial Reference Systems Transformations with Boost.Geometry

• General
• 21 min
• 2019-08-29
• 59
• Adam Wulkiewicz

Reading politics of the supposedly neutral

• Ethics, Society & Politics WikiPakaWG
• 21 min
• 2019-12-27
• 544
• Adam Wight

Exploiting PDAL + Entwine in the wild

• General
• 23 min
• 2019-08-30
• 237
• Adam Steer

Slideshow karaoke

• 19 min
• 2019-05-19
• 55
• Adam Samalik

Linux distributions, lifecycles, and containers

• 25 min
• 2019-05-18
• 57
• Adam Samalik

Rust, For Science!

• 16 min
• 2018-11-24
• 356
• Adam Kelly

Adventures in somatosensory music, body hacking & beyond

• 27 min
• 2018-09-01
• 67
• Chemical Adam

Apache Kafka: Lessons learned

Apache Kafka kann manchmal positiv und negativ überraschen.…

• 55 min
• 2018-08-25
• 424
• Andreas Kluth and Holger Adam

Using Wikidata for Author Disambiguation

• 23 min
• 2017-10-28
• 62
• Adam Bannister

Retail Surveillance / Retail Countersurveillance

50 most unwanted retail surveillance technologies / 50 most…

• 33 min
• 2016-12-30
• 5366
• Adam Harvey

High Altitude Ballooning

• 38 min
• 2014-08-29
• 9
• Adam Greig

The Making Of The·Grid

• 25 min
• 2014-08-29
• 2
• Adam Greig & David Turner

Data Mining the Israeli Census

Insights into a publicly available registry

• 26 min
• 2011-12-28
• 98
• Yuval Adam

Tor is Peace, Software Freedom is Slavery, Wikipedia is Truth

The political philosophy of the Internet

• 64 min
• 2010-12-30
• 120
• Adam

Bluetooth Hacking - The State of The Art

A roundup and live demonstrations of all currently known…

• 93 min
• 2005-12-30
• 1757
• Marcel Holtmann, Martin Herfurt and Adam Laurie