4340 search results - page 399 / 868 » Formal Methods and Cryptography |
199
click to vote
ICTIR
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a theoretical methodology to evaluate filters in XML retrieval. Theoretical evaluation is concerned with the formal investigation of qualitative properties of r...
164
click to vote
IGARSS
2010
15 years 4 months ago
2010
The ESA project GlobSnow develops products and services for snow extent and snow water equivalent. The time series of Snow Extent (SE) products will cover the whole seasonally sno...
167
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making p...
186
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. “Secure Device Pairing” is the process of bootstrapping secure communication between two devices over a short- or medium-range wireless channel (such as Bluetooth, Wi...
189
click to vote
EUROCRYPT
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...