CirC: Compiler infrastructure for proof systems, software verification, and more

Name: CirC: Compiler infrastructure for proof systems, software verification, and more
Uploaded: 2022-01-01
Duration: 19 min 19 s
Description: CirC: Compiler infrastructure for proof systems, software verification, and more — a 2022 IEEE S&P 2022 Sessions security conference talk on crypto (19:19 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P 2022 Sessions · 2022 · 19:19

▶

CirC: Compiler infrastructure for proof systems, software verification, and more — a 2022 IEEE S&P 2022 Sessions security conference talk on crypto (19:19 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive