Papers2511

Two papers from my postdoc were published this week! A JAR paper on relative security for reasoning on spectre-like vulnerabilities in Isabelle/HOL, and an iFM 2025 paper on model checking buffered durable linearizability for concurrent data structures in non-volatile memory environments.