Verifying and Synthesizing Constant-Resource Implementations with Types

Red TeamIEEE Symposium on Security and Privacy19 minOpen on YouTube ↗

Industry experts analyze emerging threats surrounding Verifying and Synthesizing Constant-Resource Implementations with Types.

Summary

No summary yet — watch the video above, or open it on YouTube.

Related talks

IEEE Symposium on Security and Privacy·19 min

IEEE SP
Red Team
Date: 2025
Location: Ieee Sp

ProFuzzer: On-the-fly Input Type Probing for Better Zero-day Vulnerability Discovery

Analysts investigate attack surfaces and defenses concerning ProFuzzer: On-the-fly Input Type Probing for Better Zero-day Vulnerability Discovery.

zero-dayvulnerability-discoveryprofuzzer+3

IEEE Symposium on Security and Privacy·20 min

IEEE SP
Red Team
Date: 2025
Location: Ieee Sp

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases

Industry experts analyze emerging threats surrounding vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases.

vsqlverifyingarbitrary+2

IEEE Symposium on Security and Privacy·14 min

IEEE SP
Hardware
Date: 2025
Location: Ieee Sp

OWL: Compositional Verification of Security Protocols via an Information-Flow Type System

Analysts investigate attack surfaces and defenses concerning OWL: Compositional Verification of Security Protocols via an Information-Flow Type System.

protocolscompositionalverification+3