4270 search results - page 81 / 854 » A Permutation Approach to Validation |
124
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
132
click to vote
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
Ranking microblogs, such as tweets, as search results for a query is challenging, among other things because of the sheer amount of microblogs that are being generated in real time...
192
click to vote
EJWCN
2010
14 years 11 months ago
2010
Abstract--Wormhole attacks can negatively affect the localization in wireless sensor networks. A typical wormhole attack can be launched by two colluding attackers, one of which sn...
136
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Establishing point correspondences between images is a key step for 3D-shape computation. Nevertheless, shape extraction and point correspondence are treated, usually, as two diffe...
127
click to vote
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
In this work, we apply the rebound attack to the AES based SHA-3 candidate Lane. The hash function Lane uses a permutation based compression function, consisting of a linear messag...