2257 search results - page 84 / 452 » Secure program partitioning |
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
We show that on both the x86 and ARM architectures it is possible to mount return-oriented programming attacks without using return instructions. Our attacks instead make use of c...
IWPC
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
OOPSLA
1993
Springer
14 years 27 days ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
ISSA
2004
13 years 10 months ago
2004
In today's hi-tech world, conventional physical security methods are simply insufficient for the protection of an organisation's information assets. This is because of t...