information-flow

1 talk tagged with this topic.

Filters+

Loading filters…

1–1 of 1 talk · loading…

Sort

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