Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
ACM SIGPLAN Notices - United States
doi 10.1145/3140587.3062378
Full Text
Open PDFAbstract
Available in full text
Categories
Date
September 14, 2017
Authors
Publisher
Association for Computing Machinery (ACM)