~/talks

Igor Stoppa

what they talk about

all 6 in the filters

where they keep going back

all 5 in the filters

on a stage with

never shared a talk

who talks about the same things

titleconferencedate
NVIDIA Approach for Achieving ASIL B Qualified Linux: minimizing expectations from up...Linux Plumbers Conference 20252025-12-11
NVIDIA claims a path to ASIL B by keeping most kernel code unqualified and concentrating verification on a small set of mechanisms that can be merged or…
Talk on
Identifying Safety Weaknesses and Fault Propagation in the Linux KernelOpen Source Summit Europe 20252025-08-25
A reproducible fault-injection tool targets kernel control structures on ARM64 by letting a monitor spawn a victim process, locating its instance via a…
Talk on
Address Space Isolation for Enhanced Safety of the Linux KernelCritical Software Summit @ Open Source Summit Europe 20222022-09-15
Proposes an opt-in kernel patch that partitions kernel address space into three kernel contexts (safe, core, QM) by renaming linker sections, carving vmlalloc…
Talk on
A New Proposal for Protecting Kernel Data MemoryLinux Security Summit Europe 20192019-10-31
A New Proposal for Protecting Kernel Data Memory - Igor Stoppa, Huawei Forum 1 Speakers: Igor Stoppa This is a followup to the presentation "Protecting the…
Talk on
Kernel Hardening: Protecting the Protection MechanismsLinux Security Summit Europe 20182018-10-25
Implements page-granular memory protections for kernel data: read-only dynamically allocated memory, write-rare statically allocated memory, and a…
Talk on
Building an IoT-class DeviceEmbedded Linux Conference + OpenIoT Summit Europe 20162016-10-11
Shows a concrete path: boots a MinnowBoard with Debian on an SD card, uses a USB webcam and a simple streaming tool to create an IP camera, and forwards the…
Talk on
Tutorial: Building a Drone, From ScratchEmbedded Linux Conference + OpenIoT Summit Europe 20162016-10-11
A complete build of a low-cost four-wheel-drive ground drone with modular boards, per-wheel closed‑loop speed control using cheap DC motors plus optical…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.