Search for "stars" returned 2191 results

Getting software right with properties, generated tests, and proofs
62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

Chaos Communication Chemistry
41 min

Chaos Communication Chemistry

DNA security systems based on molecular randomness

38C3: Opening Ceremony
28 min

38C3: Opening Ceremony

Developing New Medicines in the Age of AI and Personalized Medicine
44 min

Developing New Medicines in the Age of AI and Personalized Medicine

The Extremely Large Telescope (ELT)
40 min

The Extremely Large Telescope (ELT)

Building the biggest optical telescope on earth

PRÜF
38 min

PRÜF

51 Ways to Spell the Image Giraffe:
38 min

51 Ways to Spell the Image Giraffe:

The Hidden Politics of Token Languages in Generative AI

Skynet Starter Kit
58 min

Skynet Starter Kit

From Embodied AI Jailbreak to Remote Takeover of Humanoid…

SearchWing
45 min

SearchWing

Open source drones for Search & Rescue

Project Blinkenlights
92 min

Project Blinkenlights

Prometheus: Reverse-Engineering Overwatch
37 min

Prometheus: Reverse-Engineering Overwatch

DevOps but for artworks in museums
61 min

DevOps but for artworks in museums

A look into pipelines ending in museums and not in the cloud

Chaospager
38 min

Chaospager

How to construct an Open Pager System for c3

Syncing visuals and stage lights against the beat of live music: an introduction
30 min

Syncing visuals and stage lights against the beat of live music: an introduction

Inequalities in the completeness of OpenStreetMap buildings in urban centers
5 min

Inequalities in the completeness of OpenStreetMap buildings in urban centers

Cracking open what makes Apple's Low-Latency WiFi so fast
39 min

Cracking open what makes Apple's Low-Latency WiFi so fast

Key-logger, Video, Mouse
49 min

Key-logger, Video, Mouse

How to turn your KVM into a raging key-logging monster

Mobile network attack evolution
49 min

Mobile network attack evolution

How To Minimize Bugs in Cryptography Code
40 min

How To Minimize Bugs in Cryptography Code

Asahi Linux - Porting Linux to Apple Silicon
37 min

Asahi Linux - Porting Linux to Apple Silicon

A Guided Tour through Tor Network Health and Performance
42 min

A Guided Tour through Tor Network Health and Performance

Virtual Secure Boot
51 min

Virtual Secure Boot

Secure Boot support in qemu, kvm and ovmf.

Demystify Mach-O
34 min

Demystify Mach-O

Closer Encounters - Finale
42 min

Closer Encounters - Finale

Not To Be Trusted - A Fiasco in Android TEEs
49 min

Not To Be Trusted - A Fiasco in Android TEEs