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
Pattern-Oriented Software Architectures: Programming Mobile Services for Android Handheld SystemsVanderbilt University via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX Introduction to Operating Systems
Georgia Institute of Technology via Udacity Programming Mobile Services for Android Handheld Systems: Content
Vanderbilt University via Coursera Advanced Software Construction in Java
Massachusetts Institute of Technology via edX