2257 search results - page 99 / 452 » Secure program partitioning |
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
A novel strategy for the representation and manipulation of distributed documents, potentially complex and heterogeneous, is presented in this paper. The document under the propos...
ENTCS
2010
13 years 9 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
OSDI
2006
ACM
14 years 9 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
This paper reconsiders the threat posed by Shacham's "return-oriented programming" -- a technique by which WX-style hardware protections are evaded via carefully cr...