Modern processors are becoming increasingly complex with features that improve
performance and add new functionality. However, such improvements are a double-edged …

To reach deployment, modern systems go through several levels of security verification, at
many differing abstractions. Security enforcement begins at entities (eg human users) …

Recent research utilizing Secure Virtual Architecture (SVA) has demonstrated that compiler-
based virtual machines can protect applications from side-channel attacks launched by …

In this paper, in the compartment pharmacokinetic model of the linear elimination, Describes
the glucose metabolism in the human body, References given by the concentration of …