4217 search results - page 16 / 844 » Computational indistinguishability logic |
92
Voted
ENTCS
2008
15 years 28 days ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
79
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
EUC
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a low-cost and secure authentication protocol to reduce the computational load on both the back-end database and the tags in a distributed RFID system. The prop...
118
Voted
JUCS
2006
15 years 24 days ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
95
Voted
DCC
2008
IEEE
16 years 13 days ago
2008
IEEE
We propose a simple and efficient deterministic extractor for an ordinary elliptic curve E, defined over F2n , where n = 2 and is a positive integer. Our extractor, for a given poi...