Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam. Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels. In Lujo Bauer, Ralf Küsters, editors, Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Volume 10804 of Lecture Notes in Computer Science, pages 109-133, Springer, 2018. [doi]

This author has not been identified. Look up 'Hamed Nemati' in GoogleThis author has not been identified. Look up 'Christoph Baumann' in GoogleThis author has not been identified. Look up 'Roberto Guanciale' in GoogleThis author has not been identified. Look up 'Mads Dam' in Google

runs on WebDSL