Search for "Loic" returned 366 results

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

Lightning Talks Day 2
113 min

Lightning Talks Day 2

Programming with dependent types in Idris
56 min

Programming with dependent types in Idris

SymbiFlow - Finally the GCC of FPGAs!
62 min

SymbiFlow - Finally the GCC of FPGAs!

A fully FOSS, Verilog to bitstream, timing driven, cross…

Breathing Life into Legacy: An Open-Source Emulator of Legacy Apple Devices
41 min

Breathing Life into Legacy: An Open-Source Emulator of Legacy Apple Devices

A Dive into Reverse Engineering and Understanding the iPod…

Unwinnable prizes on the internet
22 min

Unwinnable prizes on the internet

FPGA 101
54 min

FPGA 101

Making awesome stuff with FPGAs

PlaceCrafter: Curating Urban Functional Regions through Platial Clustering of OpenStreetMap Points of Interest
8 min

PlaceCrafter: Curating Urban Functional Regions through Platial Clustering of…

DON’T PANIC
37 min

DON’T PANIC

bytes, blocks, bugs

Interactively Discovering Implicational Knowledge in Wikidata
31 min

Interactively Discovering Implicational Knowledge in Wikidata

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Intel Management Engine deep dive
60 min

Intel Management Engine deep dive

Understanding the ME at the OS and hardware level

Even More Tamagotchis Were Harmed in the Making of this Presentation
46 min

Even More Tamagotchis Were Harmed in the Making of this Presentation

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes
69 min

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes

Building a high throughput low-latency PCIe based SDR
60 min

Building a high throughput low-latency PCIe based SDR

Lessons learnt implementing PCIe on FPGA for XTRX Software…

Detecting informal settlements via topological analysis
39 min

Detecting informal settlements via topological analysis

radare demystified
62 min

radare demystified

after 1.0

Revisiting "Trusting Trust" for binary toolchains
60 min

Revisiting "Trusting Trust" for binary toolchains

Track me, if you … oh.
51 min

Track me, if you … oh.

How Do I Crack Satellite and Cable Pay TV?
62 min

How Do I Crack Satellite and Cable Pay TV?

Uncaging Microchips
61 min

Uncaging Microchips

Techniques for Chip Preparation

Prometheus: Reverse-Engineering Overwatch
37 min

Prometheus: Reverse-Engineering Overwatch

Everything you want to know about x86 microcode, but might have been afraid to ask
57 min

Everything you want to know about x86 microcode, but might have been afraid to ask

An introduction into reverse-engineering x86 microcode and…

A Deep Dive Into Unconstrained Code Execution on Siemens S7 PLCs
62 min

A Deep Dive Into Unconstrained Code Execution on Siemens S7 PLCs

A Tale of Two Leaks:
31 min

A Tale of Two Leaks:

How Hackers Breached the Great Firewall of China