Sciweavers

5227 search results - page 240 / 1046
» Constructing New Media
Sort
View
CRYPTO
1991
Springer
105views Cryptology» more  CRYPTO 1991»
15 years 10 months ago
Universal Hashing and Authentication Codes
In this paper, we study the application of universal hashingto the construction of unconditionally secure authentication codes without secrecy. This idea is most useful when the nu...
Douglas R. Stinson
CSR
2008
Springer
15 years 9 months ago
A Semantic Proof of Polytime Soundness of Light Affine Logic
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
Ugo Dal Lago, Martin Hofmann
CIC
2003
128views Communications» more  CIC 2003»
15 years 8 months ago
Communications in Electronic Textile Systems
- Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system me...
Zahi Nakad, Mark T. Jones, Thomas Martin
AAECC
2008
Springer
101views Algorithms» more  AAECC 2008»
15 years 7 months ago
In search of mathematical primitives for deriving universal projective hash families
We provide some guidelines for deriving new projective hash families of cryptographic interest. Our main building blocks are so called group action systems; we explore what propert...
Maria Isabel Gonzalez Vasco, Jorge Luis Villar
RV
2009
Springer
94views Hardware» more  RV 2009»
16 years 1 months ago
Monitor Circuits for LTL with Bounded and Unbounded Future
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
Bernd Finkbeiner, Lars Kuhtz