2432 search results - page 11 / 487 » Cryptographic logical relations |
ILP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
CHES
2005
Springer
15 years 3 months ago
2005
Springer
The Truncated Multiplication computes a truncated product, a contiguous subsequence of the digits of the product of 2 integers. A few truncated polynomial multiplication algorithms...
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relatio...
ENTCS
2007
14 years 9 months ago
2007
FPL
2003
Springer
15 years 3 months ago
2003
Springer
The use of FPGAs for cryptographic applications is highly attractive for a variety of reasons but at the same time there are many open issues related to the general security of FPG...