1579 search results - page 64 / 316 » On the Constructions of Constant-Weight Codes |
188
click to vote
CRYPTO
1997
Springer
15 years 10 months ago
1997
Springer
This paper considers hash functions based on block ciphers. It presents a new attack on the compression function of the 128-bit hash function MDC-4 using DES with a complexity far ...
160
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
A k-query locally decodable code (LDC) C : n N encodes each message x into a codeword C(x) such that each symbol of x can be probabilistically recovered by querying only k coordina...
166
click to vote
LFCS
2009
Springer
16 years 21 days ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
138
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
It is possible to translate code written in Emacs Lisp or another Lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely ...
165
click to vote
CRYPTO
2012
Springer
13 years 8 months ago
2012
Springer
It is notoriously difficult to create hardware that is immune from side channel and tampering attacks. A lot of recent literature, therefore, has instead considered algorithmic de...