Search for "Loic" returned 360 results

Keynote: RustBelt: Securing the Foundations of the Rust Programming Language
60 min

Keynote: RustBelt: Securing the Foundations of the Rust Programming Language

Low cost, high speed data acquisition over HDMI
34 min

Low cost, high speed data acquisition over HDMI

Type theory and meaning in linguistics
60 min

Type theory and meaning in linguistics

GdUnit4 live demo + technical overview
31 min

GdUnit4 live demo + technical overview

Proprietary silicon ICs and dubious marketing claims? Let's fight those with a microscope!
36 min

Proprietary silicon ICs and dubious marketing claims? Let's fight those with a microscope!

EntrySign: create your own x86 microcode for fun and profit
49 min

EntrySign: create your own x86 microcode for fun and profit

Static Code Analysis for All Languages - coala!
14 min

Static Code Analysis for All Languages - coala!

100 years of Shannon -- the man, his work and his legacy
32 min

100 years of Shannon -- the man, his work and his legacy

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

The curious design of the Apollo Guidance Computer.
31 min

The curious design of the Apollo Guidance Computer.

Advanced Attacks Against PocketPC Phones
48 min

Advanced Attacks Against PocketPC Phones

0wnd by an MMS

Off Grid: Disclosing your 0days in a videogame mod
53 min

Off Grid: Disclosing your 0days in a videogame mod

Linux ist obsolet 2,0
53 min

Linux ist obsolet 2,0

Steaming into Sustainability
18 min

Steaming into Sustainability

200 GbE network processing with 100 W - or "can I *make* a chip for that?"
25 min

200 GbE network processing with 100 W - or "can I *make* a chip for that?"

Composable UI Components
32 min

Composable UI Components

Glitching For n00bs
58 min

Glitching For n00bs

A Journey to Coax Out Chips' Inner Secrets

42 Tricks fürs SMD-Löten, Nummer 23 wird sie überraschen!
60 min

42 Tricks fürs SMD-Löten, Nummer 23 wird sie überraschen!

Gigatron TTL microcomputer
40 min

Gigatron TTL microcomputer

RSVP, a preset system solution for Pure Data
25 min

RSVP, a preset system solution for Pure Data

Place & route on silicon
38 min

Place & route on silicon

A gentle introduction to place & route algorithms for…

Self-Authenticating TLS Certificates for Tor Onion Services
20 min

Self-Authenticating TLS Certificates for Tor Onion Services

Model-Based Testing with QuickCheck
44 min

Model-Based Testing with QuickCheck

Why are computers so @#!*, and what can we do about it?
59 min

Why are computers so @#!*, and what can we do about it?

Page Fault Liberation Army or Gained in Translation
57 min

Page Fault Liberation Army or Gained in Translation

a history of creative x86 virtual memory uses