Compositional Non-Interference for Fine-Grained Concurrent Programs
Offered By: IEEE via YouTube
Course Description
Overview
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.
Syllabus
Compositional Non-Interference for Fine-Grained Concurrent Programs
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Sensor SecurityIEEE via YouTube Tracking Ransomware End-to-end
IEEE via YouTube Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems
IEEE via YouTube Bitcoin Over Tor Isn't a Good Idea
IEEE via YouTube