3333 search results - page 269 / 667 » Abstract Proof Search |
199
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
160
click to vote
ICALP
2007
Springer
16 years 24 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...
172
click to vote
MKM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
174
click to vote
SACRYPT
2007
Springer
16 years 22 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...
154
click to vote
CTRSA
2005
Springer
16 years 5 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...