858 search results - page 143 / 172 » Abstract Interpretation Based Verification of Logic Programs |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
DRM
2007
Springer
15 years 3 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
EXPERT
2006
14 years 9 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...