Protocol sequences are used for channel access in the collision channel without feedback. Each user accesses the channel according to a deterministic zero-one pattern, called the p...
The data model of an application, the nature and format of data stored across executions, is typically a very rigid part of its early specication, even when prototyping, and chang...
Abstract. Instruction Set Randomization (ISR) is a promising technique for preventing code-injection attacks. In this paper we present a complete randomization framework for JavaSc...
Elias Athanasopoulos, Antonis Krithinakis, Evangel...
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...