LLVM improvements for better verification (Alan Jowett)
Evaluates LLVM improvements for better verification (Alan Jowett) and evaluates key implications for security practitioners.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
The Linux Foundation·33 min
Presents verification Toward Applying SLSA in Automotive IVI Software... Yuta Kiyoumi & Takashi Ninjouji and evaluates key implications for security practitioners.
automotiveverificationapplying+1
The Linux Foundation·1 hr 3 min
Craig Christianson · United States Air Force
Reviews modernizing Software Verification and evaluates key implications for security practitioners.
modernizingverificationmodernizing-software+1
The Linux Foundation·59 min
Explores LF Live Webinar: Update on Key Improvements to Linux & NFS and evaluates key implications for security practitioners.
linuxupdateimprovement