8874 search results - page 56 / 1775 » A New Implementation of Automath |
CHES
2006
Springer
14 years 2 months ago
2006
Springer
Cryptographic algorithms implemented in embedded devices must withstand Side Channel Attacks such as the Differential Power Analysis (DPA). A common method of protecting symmetric ...
SCN
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The substitution box (S-box) of the Advanced Encryption Standard (AES) is based on the multiplicative inversion s(x) = x-1 in GF(256) and followed by an affine transforma...
ITCC
2003
IEEE
14 years 4 months ago
2003
IEEE
New guidelines for ICT curricula have recently appeared, both in Europe and the United States. New European guidelines are sponsored by the European Commission and are a consequen...
SIGCSE
2009
ACM
14 years 11 months ago
2009
ACM
In this paper, we report on our experience in designing and delivering two new software design courses in the Informatics major at UC Irvine. When the major was created in 2004, i...
VLDB
2008
ACM
14 years 11 months ago
2008
ACM
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...