Search for "Loic" returned 371 results

Rust Binary Analysis, Feature by Feature
42 min

Rust Binary Analysis, Feature by Feature

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs
59 min

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs

HAL - The Open-Source Hardware Analyzer
60 min

HAL - The Open-Source Hardware Analyzer

A dive into the foundations of hardware reverse engineering…

CloudABI
62 min

CloudABI

Pure capability-based security for UNIX

Ling - High level system programming
34 min

Ling - High level system programming

modular and precise resource management

Finding Vulnerabilities in Internet-Connected Devices
47 min

Finding Vulnerabilities in Internet-Connected Devices

A Beginner’s Guide

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…

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

PlaceCrafter: Curating Urban Functional Regions through Platial Clustering of…

Lightning Talks Day 2
113 min

Lightning Talks Day 2

FPGA 101
54 min

FPGA 101

Making awesome stuff with FPGAs

Unwinnable prizes on the internet
22 min

Unwinnable prizes on the internet

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…

DON’T PANIC
37 min

DON’T PANIC

bytes, blocks, bugs

Detecting informal settlements via topological analysis
39 min

Detecting informal settlements via topological analysis

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Interactively Discovering Implicational Knowledge in Wikidata
31 min

Interactively Discovering Implicational Knowledge in Wikidata

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…

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?