Modern embedded software development uses model-based methods to support long-term
maintenance, portability, and correctness. A growing trend is to use formal methods to create …

Most security solutions that rely on binary rewriting assume a clean separation between
code and data. Unfortunately, jump tables violate this assumption. In particular, switch …

Software programs are proliferating throughout modern life, to a point where even the
simplest appliances such as lightbulbs contain software, in addition to the software …

Embedded devices are ubiquitous. For example, an average household has at least a
couple of dozen of so-called smart systems. You can find these systems in your …

Forfatterne til denne artikel har, sammen med mange gode kolleger, i en del år arbejdet med
såkaldte energiproblemer. Disse handler om, at man i en formel model ønsker at bestemme …

With the proliferation of smart mobiles, disassembly techniques for position-independent
code (PIC) composed of ARM architecture instructions in computer security are becoming …

Cyber-Physical Systems (CPS) are complex systems which involve tight interactions
between physical dynamics, computational platforms, communication networks, and …

Verification is an essential task in the design of cyberphysical systems (CPS). Due to the
lack of many details captured at a high-level like compilation and computational platform …

This dissertation is concerned with abstract interpretation of programs whose semantics is
defined over finite machine words. Most notably, the considered class of programs contains …