Information Leakage as a Scheduling Resource - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay. Information Leakage as a Scheduling Resource. In Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti, editors, Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. Volume 10471 of Lecture Notes in Computer Science, pages 83-99, Springer, 2017. [doi]

This author has not been identified. Look up 'Fabrizio Biondi' in GoogleThis author has not been identified. Look up 'Mounir Chadli' in GoogleThis author has not been identified. Look up 'Thomas Given-Wilson' in GoogleThis author has not been identified. Look up 'Axel Legay' in Google

runs on WebDSL