Compositional Non-Interference for Fine-Grained Concurrent Programs

Explore a comprehensive presentation on compositional non-interference techniques for fine-grained concurrent programs. Delve into advanced concepts in program security and concurrency, examining how to ensure information flow security in complex, multi-threaded software systems. Learn about cutting-edge approaches to prevent unauthorized information leakage while maintaining program efficiency and scalability. Gain insights into the challenges of implementing non-interference in concurrent environments and discover innovative solutions proposed by experts in the field.