Publications tagged "Security"
Automation CPS Certification Complexity Analysis Constraint Systems Cryptography EasyCrypt Expectation Transformers Formalization Functional Programming Graph Rewriting Hardness Haskell Higher-Order ICC ICCT Imperative Imperative Programming Interpretations Invariance Isabelle/HOL Layout-Randomization Memoization OCaml Path Orders Predicative Recursion Probabilistic Program Analysis Quantum Relational Logic Rewriting Runtime Complexity Analysis Security Sized-Types TCT Term Rewriting Termination Types
2025
-
Davide Davoli, Martin Avanzini and Tamara Rezk. “Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation”. ACM Trans. Priv. Secur. 28 (3): 39:1–39:39 (2025)
2024
-
Davide Davoli, Martin Avanzini and Tamara Rezk. “On Kernel’s Safety in the Spectre Era (And KASLR is Formally Dead)”. Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024, pages 1091–1105, (2024). ACM.