The recently introduced WebAssembly standard aims to be a portable compilation target,
enabling the cross-platform distribution of programs written in a variety of languages. We …

The recently introduced WebAssembly standard aims to form a portable compilation target,
enabling the cross-platform distribution of programs written in a variety of languages. In this …

We present TIARA, a novel approach to recovering container classes in c++ binaries. Given
a variable address in a c++ binary, TIARA first applies a new type-relevant slicing algorithm …

In hard real-time systems, encountered for example in the transportation, energy or medical
domains, programs must not only provide a functionally correct result but also guarantee …

In this paper, we investigate the case for model checking in the WCET analysis of pipelined
processors with dynamic branch and target prediction. We consider a microarchitecture …

The WebAssembly standard aims to form a portable compilation target, enabling the cross-
platform distribution of programs written in a variety of languages. This paper introduces and …

Abstract Internet of Things (IoT) malware established itself as the new type of threat after
enabling the most intense DDoS attacks to date using Mirai botnet. All indications suggest …