58 search results - page 2 / 12 » Low-Level Ideal Signatures and General Integrity Idealizatio... |
CCS
2000
ACM
14 years 2 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
WACV
2012
IEEE
12 years 5 months ago
2012
IEEE
We combine and extend the previous work on DCT-based image signatures and face detection to determine the visual saliency. To this end, we transfer the scalar definition of image...
ITCC
2005
IEEE
14 years 3 months ago
2005
IEEE
- With the development of e-commerce, choosing a proper electronic payment method has become more and more important. Competing with other payment methods on the Internet, electron...
DCC
2001
IEEE
14 years 9 months ago
2001
IEEE
We describe several cryptographic schemes in quadratic function fields of odd characteristic. In both the real and the imaginary representation of such a field, we present a Diffi...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
In this work, we report on an unprecedented design where digital, analog, and MEMS technologies are combined to realize a generalpurpose single-chip CMOS microsystem. The converge...