Mex+Sync: Software Covert Channels Exploiting Mutual Exclusion and Synchronization.
Jiliang ZhangChaoqun ShenGang QuPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- mutual exclusion
- long distance
- temporal planning
- multi channel
- software development
- software systems
- software maintenance
- software architecture
- source code
- computer systems
- software tools
- information flow
- statistically significant
- runtime environment
- information retrieval
- dynamic environments
- state space
- search space
- learning algorithm