Energy retrofits are significant in improving the energy efficiency of existing residential
buildings (ERB) and mitigating greenhouse gas emissions. While many countries have …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

Mandatory Access Control (MAC) has provided a great contribution to the improvement of
the security of modern operating systems. A clear demonstration is represented by Android …

We present Lifty, a domain-specific language for data-centric applications that manipulate
sensitive data. A Lifty programmer annotates the sources of sensitive data with declarative …

The intrusion response component of an overall intrusion detection system is responsible for
issuing a suitable response to an anomalous request. We propose the notion of database …

This paper presents an approach to statically retrofit legacy servers with mechanisms for
authorization policy enforcement. The approach is based upon the observation that security …

When servers manage resources on behalf of multiple, mutually-distrusting clients, they
must mediate access to those resources to ensure that each client request complies with an …