non-interference

2 talks tagged with this topic.

Filters+

Loading filters…

1–2 of 2 talks · loading…

Sort

IEEE Symposium on Security and Privacy·16 min

IEEE SP
Privacy
Date: 2025
Location: Ieee Sp

A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages

Industry experts analyze emerging threats surrounding A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages.

posterioritaint-trackingdemonstrating+3

IEEE Symposium on Security and Privacy·15 min

IEEE SP
Policy
Date: 2025
Location: Ieee Sp

Compositional Non-Interference for Fine-Grained Concurrent Programs

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

compositionalnon-interferencefine-grained+2