compositional

IEEE Symposium on Security and Privacy·15 min

• IEEE SP
• Policy
• Date: 2025
• Location: Ieee Sp

Presenters detail vulnerability discovery and exploitation in Compositional Non-Interference for Fine-Grained Concurrent Programs.

IEEE Symposium on Security and Privacy·14 min

• IEEE SP
• Hardware
• Date: 2025
• Location: Ieee Sp

Analysts investigate attack surfaces and defenses concerning Compositional Security for Reentrant Applications.

IEEE Symposium on Security and Privacy·14 min

• IEEE SP
• Hardware
• Date: 2025
• Location: Ieee Sp

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