4731 search results - page 196 / 947 » Securing Interactive Programs |
104
Voted
ESSOS
2010
Springer
15 years 11 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
106
Voted
IWSEC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
101
Voted
CCS
2005
ACM
15 years 7 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...
98
Voted
CHI
2009
ACM
15 years 9 months ago
2009
ACM
We built a text-based programming environment that enables youth to design and implement a chat client for the One Laptop per Child XO. The environment allows users to program and...
102
Voted
PC
1998
15 years 1 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...