120 search results - page 12 / 24 » Functional Encryption for Regular Languages |
APSEC
2002
IEEE
14 years 14 days ago
2002
IEEE
Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular...
PKC
2012
Springer
11 years 10 months ago
2012
Springer
We define a new notion of relatively-sound non-interactive zeroknowledge (NIZK) proofs, where a private verifier with access to a trapdoor continues to be sound even when the Ad...
AI
2011
Springer
13 years 2 months ago
2011
Springer
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...
FPCA
1991
13 years 11 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
ICDCSW
2002
IEEE
14 years 13 days ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...