2257 search results - page 171 / 452 » Secure program partitioning |
123
Voted
HPCA
2005
IEEE
16 years 1 months ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...
133
Voted
MICRO
2006
IEEE
15 years 7 months ago
2006
IEEE
Computer security is severely threatened by software vulnerabilities. Prior work shows that information flow tracking (also referred to as taint analysis) is a promising techniqu...
113
Voted
CCS
2003
ACM
15 years 6 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
309
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Wireless Sensor Networks (WSNs) are no longer a nascent technology and today, they are actively deployed as a viable technology in many diverse application domains such as health ...
112
click to vote
CRYPTO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...