7 citations · 19 across the 6 of their papers we have counts for
6 papers
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Andreas Lindner, Karl Palmskog, Scott Constable +3
Control flow in unstructured programs can be complex and dynamic, which makes static analysis difficult. Yet, automated reasoning about unstructured control flow is important when…
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
Roberto Guanciale, Musard Balliu, Mads Dam
The recent Spectre attacks has demonstrated the fundamental insecurity of current computer microarchitecture. The attacks use features like pipelining, out-of-order and speculation…
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects
Karl Palmskog, Mads Dam, Andreas Lundblad +1
We present a formalized, fully decentralized runtime semantics for a core subset of ABS, a language and framework for modelling distributed object-oriented systems. The semantics i…
Epistemic Temporal Logic for Information Flow Security
Musard Balliu, Mads Dam, Gurvan Le Guernic
Temporal epistemic logic is a well-established framework for expressing agents knowledge and how it evolves over time. Within language-based security these are central issues, for…
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
Mads Dam, Andreas Lundblad
We propose a light-weight approach for certification of monitor inlining for sequential Java bytecode using proof-carrying code. The goal is to enable the use of monitoring for qua…
The Accuracy of Tree-based Counting in Dynamic Networks
Supriya Krishnamurthy, John Ardelius, Erik Aurell +3
Tree-based protocols are ubiquitous in distributed systems. They are flexible, they perform generally well, and, in static conditions, their analysis is mostly simple. Under churn,…