Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code
| Title: | Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code |
|---|---|
| Authors: | Hatchikian-Houdot, Jean-LoupAff11; Wilke, PierreAff12; Besson, FrédéricAff11; Hiet, GuillaumeAff12 |
| Contributors: | Goos, Gerhard, Series EditorAff1; Hartmanis, Juris, Founding EditorAff2; Bertino, Elisa, Editorial Board MemberAff3; Gao, Wen, Editorial Board MemberAff4; Steffen, Bernhard, Editorial Board MemberAff5; Yung, Moti, Editorial Board MemberAff6; Garcia-Alfaro, Joaquin, editorAff7; Kozik, Rafał, editorAff8; Choraś, Michał, editorAff9; Katsikas, Sokratis, editorAff10 |
| Source: | Computer Security – ESORICS 2024 : 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16–20, 2024, Proceedings, Part III. 14984:153-173 |
| Database: | Springer Nature eBooks |