861 search results - page 70 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
130
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
142
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
135
click to vote
ICSM
1994
IEEE
15 years 7 months ago
1994
IEEE
In order to improve software maintenance processes, we need to be able to first characterize and assess them. This task needs to be performed in depth and with objectivity since t...
145
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
141
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...