2137 search results - page 205 / 428 » Proving Abstract Non-interference |
144
Voted
INDOCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...
101
Voted
ITS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe Wayang Outpost, a web-based ITS for the Math section of the Scholastic Aptitude Test (SAT). It has several distinctive features: help with multimedia animatio...
134
Voted
MICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
116
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...