3552 search results - page 327 / 711 » Proof theory in the abstract |
164
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
176
click to vote
SACRYPT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The XCB mode of operation was outlined in 2004 as a contribution to the IEEE Security in Storage effort, but no security analysis was provided. In this paper, we provide...
158
click to vote
CTRSA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In the last few years we have concentrated our research efforts on new threats to the computing infrastructure that are the result of combining malicious software (malwar...
177
click to vote
ITRUST
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Question answering systems users may find answers without any supporting information insufficient for determining trust levels. Once those question answering systems beg...
180
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...