2257 search results - page 192 / 452 » Secure program partitioning |
93
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
104
Voted
CCS
2004
ACM
15 years 6 months ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...
209
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
101
Voted
PASTE
2010
ACM
15 years 5 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
105
click to vote
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...