Sciweavers

1005 search results - page 60 / 201
» On genomic coding theory
Sort
View
WEWORC
2007
132views Cryptology» more  WEWORC 2007»
15 years 5 months ago
Towards a Concrete Security Proof of Courtois, Finiasz and Sendrier Signature Scheme
Abstract. Courtois, Finiasz and Sendrier proposed in 2001 a practical code-based signature scheme. We give a rigorous security analysis of a modified version of this scheme in the...
Léonard Dallot
AML
2006
49views more  AML 2006»
15 years 4 months ago
No Escape from Vardanyan's theorem
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
Albert Visser, Maartje de Jonge
TIT
1998
63views more  TIT 1998»
15 years 3 months ago
Operational Capacity and Pseudoclassicality of a Quantum Channel
We explore some basic properties of coding theory of a general quantum communication channel and its operational capacity, including (1) adaptive measurement with feedback code, (...
Akio Fujiwara, Hiroshi Nagaoka
LFCS
2009
Springer
15 years 10 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
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...
Eduardo Bonelli, Federico Feller
ICIP
1999
IEEE
16 years 5 months ago
Image Coding Using Vector-Embedded Karhunen-Loeve Transform
In this paper, the theory and the design of a new class of orthogonal transforms are presented. The novel transform is derived from a correlation matrix in which an arbitrary orth...
Toshihisa Tanaka, Yukihiko Yamashita