4099 search results - page 317 / 820 » A Framework for Interactive Proof |
181
click to vote
TCBB
2010
15 years 5 months ago
2010
— We describe a theoretical unifying framework to express comparison of RNA structures, which we call alignment hierarchy. This framework relies on the definition of common supe...
190
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...
146
Voted
VIZSEC
2005
Springer
16 years 4 days ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
174
click to vote
CRYPTO
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Non-Interactive Zero Knowledge (NIZK), introduced by Blum, Feldman, and Micali in 1988, is a fundamental cryptographic primitive which has attracted considerable attentio...
202
click to vote
CCS
2007
ACM
16 years 26 days ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...