The Linux Foundation·32 min
Daniel Bristot de Oliveira
Examines formal Verification Made Easy (and fast!) and evaluates key implications for security practitioners.
formalverificationeasy+1
Daniel Bristot de Oliveira
6 talks in the archive.
Filters+
Loading filters…
1–6 of 6 talks · loading…
The Linux Foundation·35 min
Daniel Bristot de Oliveira
Analyzes real-time Linux: What is Next and evaluates key implications for security practitioners.
linuxreal-timereal-time-linux
The Linux Foundation·51 min
Daniel Bristot de Oliveira
Discusses RTLA Timerlat - the next step in scheduling latency analysis and evaluates key implications for security practitioners.
rtlatimerlatstep+1
The Linux Foundation·40 min
Daniel Bristot de Oliveira
Provides rtla timerlat: Debugging Real-time Linux Scheduling Latency and evaluates key implications for security practitioners.
linuxdebuggingrtla+2
The Linux Foundation·50 min
Daniel Bristot de Oliveira
Analyzes rtla timerlat: Debugging Real-Time Linux Scheduling Latency and evaluates key implications for security practitioners.
linuxdebuggingrtla+2
The Linux Foundation·43 min
Daniel Bristot De Oliveira
Investigates RTLA: Real-time Linux Analysis Toolset and evaluates key implications for security practitioners.
linuxrtlareal-time+2