AMCS
2010
13 years 11 months ago
2010
CASC
2009
Springer
13 years 11 months ago
2009
Springer
WAIFI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
SETA
2010
Springer
13 years 11 months ago
2010
Springer
SETA
2010
Springer
13 years 11 months ago
2010
Springer
ITP
2010
13 years 11 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
CASC
2010
Springer
13 years 12 months ago
2010
Springer
CASC
2010
Springer
13 years 12 months ago
2010
Springer
CASC
2010
Springer
13 years 12 months ago
2010
Springer
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these system into so-called simple subsystems and there...
ASMTA
2010
Springer
13 years 12 months ago
2010
Springer
Due to the overall growing demand on the network resources and tight restrictions on the power consumption, the requirements to the long-term scalability, cost and performance capa...