870 search results - page 161 / 174 » A New Approach to Modeling and Solving Minimal Perturbation ... |
ASIACRYPT
2007
Springer
14 years 4 months ago
2007
Springer
Recent collision-finding attacks against hash functions such as MD5 and SHA-1 motivate the use of provably collision-resistant (CR) functions in their place. Finding a collision ...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
PDP
2006
IEEE
14 years 4 months ago
2006
IEEE
Mobile ad hoc networks (MANETs) raise new challenges in designing protocols for solving the consensus problem. Among the others, how to design message efficient protocols so as to...
IPSN
2005
Springer
14 years 3 months ago
2005
Springer
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
AIMSA
2004
Springer
14 years 1 months ago
2004
Springer
In: Proceedings of the Eleventh International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-04), Springer-Verlag LNAI Series. c 2004 We present ...