80 search results - page 9 / 16 » Behavioral and Coinductive Rewriting |
101
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
124
click to vote
POPL
1995
ACM
15 years 6 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
147
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-We study the well known linear consensus algorithm by means of a LQ-type performance cost. We want to understand how the communication topology influences this algorithm. ...
225
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
113
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...