4731 search results - page 43 / 947 » Securing Interactive Programs |
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Understanding security bugs in a vulnerable program is a non-trivial task, even if the target program is known to be vulnerable. Though there exist debugging tools that facilitate...
NORDICHI
2006
ACM
14 years 2 months ago
2006
ACM
Talking during the course of a television program is
IUI
2004
ACM
14 years 2 months ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...