4340 search results - page 268 / 868 » Formal Methods and Cryptography |
167
click to vote
PKC
2004
Springer
15 years 11 months ago
2004
Springer
The isogeny for elliptic curve cryptosystems was initially used for the efficient improvement of order counting methods. Recently, Smart proposed the countermeasure using isogeny f...
142
click to vote
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
Concept lattices built on noisy data tend to be large and hence hard to interpret. We introduce several measures that can be used in selecting relevant concepts and discuss how the...
169
click to vote
AFP
2008
Springer
16 years 18 days ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
209
click to vote
AGTIVE
2007
Springer
16 years 13 days ago
2007
Springer
We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructi...
161
Voted
AGTIVE
2007
Springer
16 years 13 days ago
2007
Springer
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...