1818 search results - page 187 / 364 » Granularity-Adaptive Proof Presentation |
125
Voted
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Naor and Pinkas introduced metering schemes at Eurocrypt ’98 in order to decide on advertisement fees for web servers. In the schemes, any server should be able to cons...
135
Voted
JELIA
1990
Springer
15 years 7 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
145
Voted
CRYPTO
2007
Springer
15 years 7 months ago
2007
Springer
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
143
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
120
Voted
CCS
2001
ACM
15 years 7 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...