5599 search results - page 857 / 1120 » Abstract State Services |
162
click to vote
SACRYPT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
158
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. A family of spatio-temporal scale-spaces suitable for a moving observer is developed. The scale-spaces are required to be time causal for being usable for real time measu...
170
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
163
click to vote
SSS
2007
Springer
16 years 22 days ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
163
click to vote
AHS
2006
IEEE
16 years 21 days ago
2006
IEEE
Traditional approaches to evolvable hardware (EHW), in which the field programmable gate array (FPGA) configuration is directly encoded, have not scaled well with increasing cir...