Sciweavers

1898 search results - page 58 / 380
» Weak Keys for IDEA
Sort
View
WETICE
2005
IEEE
14 years 2 months ago
Minimum intrusion Grid - The Simple Model
: This paper describes the key ideas in the new Grid model: MiG (Minimum intrusion Grid). “The Simple Model” is a major milestone in developing the full MiG concept and when co...
Henrik Hoey Karlsen, Brian Vinter
CRYPTO
2005
Springer
83views Cryptology» more  CRYPTO 2005»
14 years 2 months ago
A Practical Attack on a Braid Group Based Cryptographic Protocol
In this paper we present a practical heuristic attack on the Ko, Lee et al. key exchange protocol introduced at Crypto 2000 [10]. One of the ideas behind our attack is using Dehorn...
Alexei G. Myasnikov, Vladimir Shpilrain, Alexander...
ICRA
2000
IEEE
71views Robotics» more  ICRA 2000»
14 years 1 months ago
Dynamic Simulation for Grasping and Whole Arm Manipulation
We propose a novel approach to dynamic simulation of grasps that overcomes di culties due to inconsistencies in the forward dynamics problem. The key idea in the paper is a minima...
Peng Song, Masahito Yashima, Vijay Kumar
IDEAS
1999
IEEE
131views Database» more  IDEAS 1999»
14 years 1 months ago
ISIS: A Semantic Mediation Model and an Agent Based Architecture for GIS Interoperability
The diversity of spatial information systems promotes the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. This paper ...
Eric Leclercq, Djamal Benslimane, Kokou Yét...
PLDI
2010
ACM
14 years 1 days ago
Parameterized Verification of Transactional Memories
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
Michael Emmi, Rupak Majumdar, Roman Manevich