NDSS 2019 Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

Name: NDSS 2019 Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
Uploaded: 2019-01-01
Duration: 21 min 44 s
Description: NDSS 2019 Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints — a 2019 NDSS Symposium security conference talk on ai-ml (21:44 min). Watch the full video, indexed free on the Breach Arc Archive.

NDSS Symposium · 2019 · 21:44

▶

NDSS 2019 Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints — a 2019 NDSS Symposium security conference talk on ai-ml (21:44 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

ai-ml

← Back to the Breach Arc Archive