78 search results - page 10 / 16 » Using Program Transformation to Secure C Programs Against Bu... |
IJSN
2006
15 years 2 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
157
click to vote
ICFEM
2009
Springer
14 years 12 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
113
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to “lock down” individual users’ desktop machines in corporate comp...
118
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...
141
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...