Sciweavers

20197 search results - page 688 / 4040
» Comparing Computational Power
Sort
View
ICALP
2005
Springer
16 years 28 days ago
Computationally Sound Implementations of Equational Theories Against Passive Adversaries
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
Mathieu Baudet, Véronique Cortier, Steve Kr...
CHES
2004
Springer
182views Cryptology» more  CHES 2004»
16 years 24 days ago
Pipelined Computation of Scalar Multiplication in Elliptic Curve Cryptosystems
In the current work we propose a pipelining scheme for implementing Elliptic Curve Cryptosystems (ECC). The scalar multiplication is the dominant operation in ECC. It is computed b...
Pradeep Kumar Mishra
209
Voted
GECCO
2004
Springer
156views Optimization» more  GECCO 2004»
16 years 24 days ago
Optimized Design of MEMS by Evolutionary Multi-objective Optimization with Interactive Evolutionary Computation
We combine interactive evolutionary computation (IEC) with existing evolutionary synthesis software for the design of micromachined resonators and evaluate its effectiveness using...
Raffi R. Kamalian, Hideyuki Takagi, Alice M. Agogi...
IWDC
2004
Springer
120views Communications» more  IWDC 2004»
16 years 23 days ago
SCIDS: A Soft Computing Intrusion Detection System
An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. Th...
Ajith Abraham, Ravi Jain, Sugata Sanyal, Sang-Yong...
WORDS
2003
IEEE
16 years 20 days ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann