1757 search results - page 69 / 352 » Secure Content Validation |
125
Voted
HPCA
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper studies the impact of L2 cache sharing on threads that simultaneously share the cache, on a Chip Multi-Processor (CMP) architecture. Cache sharing impacts threads non-u...
126
click to vote
ISW
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Today, digital content is routinely distributed over the Internet, and consumed in devices based on open platforms. However, on open platforms users can run exploits, rec...
137
click to vote
ICIW
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
121
click to vote
SYNTHESE
2011
14 years 10 months ago
2011
Structural realism is sometimes said to undermine the theory underdetermination (TUD) argument against realism, since, in usual TUD scenarios, the supposed underdetermination conc...
110
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...