Search for "Loic" returned 324 results

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

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…

Uncaging Microchips
61 min

Uncaging Microchips

Techniques for Chip Preparation

eMMC hacking, or: how I fixed long-dead Galaxy S3 phones
56 min

eMMC hacking, or: how I fixed long-dead Galaxy S3 phones

A journey on how to fix broken proprietary hardware by…

CloudABI
62 min

CloudABI

Pure capability-based security for UNIX

Security of the IC Backside
59 min

Security of the IC Backside

The future of IC analysis

Untrusting the CPU
61 min

Untrusting the CPU

A proposal for secure computing in an age where we cannot…

The nextpnr FOSS FPGA place-and-route tool
46 min

The nextpnr FOSS FPGA place-and-route tool

the next step forward in open source FPGA tools

What's It Doing Now?
32 min

What's It Doing Now?

The Role of Automation Dependency in Aviation Accidents