5843 search results - page 120 / 1169 » Software Security in Practice |
SP
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side-channel attacks on modern x86 processors. We study how mo...
SP
2009
IEEE
14 years 5 months ago
2009
IEEE
Providing online access to sensitive data makes web servers lucrative targets for attackers. A compromise of any of the web server’s scripts, applications, or operating system c...
SP
2008
IEEE
14 years 4 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
OOPSLA
1999
Springer
14 years 2 months ago
1999
Springer
Java programs are routinely transmitted over low-bandwidth network connections as compressed class le archives (i.e., zip les and jar les). Since archive size is directly proporti...
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...