2257 search results - page 233 / 452 » Secure program partitioning |
95
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices. Among the topics are devel...
100
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
102
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
133
click to vote
CCS
2011
ACM
14 years 23 days ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
123
click to vote
IJHPCA
2007
15 years 21 days ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...