… In this work, we presented a multi-faceted analysis of the security risks inherent in the
structure of language-based ecosystems. Our first contribution is a taxonomy of attacks based on …

… On the other hand, the security and safety issues take a vital role in the CPS, especially in
… a languagebased approach for combining functional views with security and safety views, …

… One of the main challenges for mechanising language-based security in … in language-based
security techniques. As the main contributions of the paper, 1) the language-based security, …

… Wyvern covers only a subset of the space of languagebased security, of course, but we
believe it is a subset that defends against important and interesting attacks: commandinjection is …

… Language-based information flow methods provide principled ways of enforcing that the …
The language-based approach is appealing as the security condition of noninterference [20] …

… In particular, we use a formal language-based approach with static analysis to enforce
privacy requirements. To make a general solution, we consider a high-level modeling language …

… To prevent DoS/DDoS flooding attacks in a manner complementary to existing approaches,
we propose an additional layer of defense, based on language-based security analysis. We …

… language-based sandboxes. Considering the findings in this section, we conclude that
language-based … Thus, there is potential for automated approaches for finding sandbox breakout …

… This motivated the design of formal methods to rigorously reason about web session security
… In this paper we introduce the first security type system that enforces session security on a …

… Language-based hardware-enforced mechanisms: Isolation can be provided by extending
a language with security domains and enforcing isolation with specialized hardware. SOOAP […