2226 search results - page 417 / 446 » Computable Analysis via Representations |
121
click to vote
SP
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
133
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
111
click to vote
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
103
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
141
click to vote
ANCS
2005
ACM
15 years 7 months ago
2005
ACM
Hash tables provide efficient table implementations, achieving O(1), query, insert and delete operations at low loads. However, at moderate or high loads collisions are quite freq...