USENIX Security '16 - überSpark: Enforcing Verifiable Object Abstractions for Automated...

Name: USENIX Security '16 - überSpark: Enforcing Verifiable Object Abstractions for Automated...
Duration: 29 min 27 s
Description: USENIX Security '16 - überSpark: Enforcing Verifiable Object Abstractions for Automated... — a USENIX security conference talk on linux-unix (29:27 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 29:27

▶

USENIX Security '16 - überSpark: Enforcing Verifiable Object Abstractions for Automated... — a USENIX security conference talk on linux-unix (29:27 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

linux-unix

← Back to the Breach Arc Archive