Analysis and Enforcement of Properties in Software Systems
Abstract
Description
Keywords
Shield Synthesis, Program Analysis, Timing Side Channel, Cache Timing Leak, Speculative Execution, Abstract Interpretation
We collect and process your personal information for the following purposes: Authentication, Preferences, Acknowledgement and Statistics.
To learn more, please read our privacy policy.