2947 search results - page 52 / 590 » Analyzing Program Analyses |
79
Voted
ICTCS
2007
Springer
15 years 5 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
ADAEUROPE
2001
Springer
15 years 3 months ago
2001
Springer
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
SIGCSE
2005
ACM
15 years 4 months ago
2005
ACM
An introductory CS1 course presents problems for educators and students due to students’ diverse background in programming knowledge and exposure. Students who enroll in CS1 als...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we present PEAT: The Portable Executable Analysis Toolkit. It is a software prototype designed to provide a selection of tools that an analyst may use in order to ex...