Publications tagged "Security"
Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
2024
-
Davide Davoli, Martin Avanzini and Tamara Rezk. “On Kernel’s Safety in the Spectre Era (And KASLR is Formally Dead)”. (Preprint). 31st ACM Conference on Computer and Communications Security (CCS), pages 1–15, (2024).