Sciweavers

561 search results - page 40 / 113
» Using number fields to compute logarithms in finite fields
Sort
View
PKC
2000
Springer
118views Cryptology» more  PKC 2000»
14 years 2 days ago
An Identification Scheme Based on Sparse Polynomials
This paper gives a new example of exploiting the idea of using polynomials with restricted coefficients over finite fields and rings to construct reliable cryptosystems and identif...
William D. Banks, Daniel Lieman, Igor Shparlinski
FOSSACS
2006
Springer
14 years 5 days ago
A Logic of Reachable Patterns in Linked Data-Structures
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sag...
FECS
2006
142views Education» more  FECS 2006»
13 years 10 months ago
CFD Graphical Interface in Matlab
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...
Tiago Pinho, Senhorinha Teixeira
DCC
2007
IEEE
14 years 8 months ago
Inferring sequences produced by a linear congruential generator on elliptic curves missing high-order bits
Let p be a prime and let E(IFp) be an elliptic curve defined over the finite field IFp of p elements. For a given point G E(IFp) the linear congruential genarator on elliptic curv...
Jaime Gutierrez, Álvar Ibeas
IPMI
1999
Springer
14 years 9 months ago
Recovery of Soft Tissue Object Deformation from 3D Image Sequences Using Biomechanical Models
The estimation of soft tissue deformation from 3D image sequences is an important problem in a number of fields such as diagnosis of heart disease and image guided surgery. In thi...
Xenophon Papademetris, Pengcheng Shi, Donald P. Di...