ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
Protecting users in the ubiquitous online world is becoming more and more important, as shown by web application security – or the lack thereof – making the mainstream news. On...
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
Malware is every malicious code that has the potential to harm any computer or network. The amount of malware is increasing faster every year and poses a serious security threat. H...
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
Selection tasks are common in modern computer interfaces: we are often required to select a set of files, emails, data entries, and the like. File and data browsers have sorting a...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
The fundamental nature of grocery shopping makes it an interesting domain for intelligent mobile assistants. Even though the central role of shopping lists is widely recognized, r...