4731 search results - page 366 / 947 » Securing Interactive Programs |
145
click to vote
ACSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
155
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
284
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
153
click to vote
ECLIPSE
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
163
click to vote
JUCS
2008
15 years 6 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...