搜索结果: 1-15 共查到“Predicates”相关记录27条 . 查询时间(0.074 秒)
Function Private Predicate Encryption for Low Min-Entropy Predicates
public-key cryptography ZIPE
2019/1/4
In this work, we propose new predicate encryption schemes for zero inner-product encryption (ZIPE) and non-zero inner-product encryption (NIPE) predicates from prime-order bilinear pairings, which are...
On the Untapped Potential of Encoding Predicates by Arithmetic Circuits and Their Applications
Predicates verifiable random functions predicate encryption schemes
2017/8/29
Predicates are used in cryptography as a fundamental tool to control the disclosure of secrets. However, how to embed a particular predicate into a cryptographic primitive is usually not given much at...
Indistinguishable Predicates: A New Tool for Obfuscation
program obfuscation indistinguishable/opaque predicates
2017/8/22
Opaque predicates are a commonly used technique in program obfuscation, intended to add complexity to control flow and to insert dummy code or watermarks. We survey a number of methods to remove opaqu...
Simplifying Loop Invariant Generation Using Splitter Predicates
Static analysis invariant generation decomposition of multiphase loops
2016/5/24
We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our technique decomposes multi-phase loops...
Proof of Knowledge on Monotone Predicates and its Application to Attribute-Based Identifications and Signatures
secondary-key public-key cryptography
2016/5/24
We propose a concrete procedure of a \Sgm-protocol to prove knowledge that satisfies a monotone predicate. Inspired by the high-level proposal by Cramer, Damg\r{a}rd and Schoenmakers at CRYPTO '94, we...
Attribute-Based Signcryption : Signer Privacy, Strong Unforgeability and IND-CCA2 Security in Adaptive-Predicates Attack
Attribute-based encryption Attribute-based signature Attribute-based signcryption
2015/12/29
An Attribute-Based Signcryption (ABSC) is a natural extension of Attribute-Based Encryption
(ABE) and Attribute-Based Signature (ABS), where we have the message confidentiality and authenticity
toge...
Mutually algebraic structures and expansions by predicates
algebraic structures predicates
2015/9/28
We introduce the notions of a mutually algebraic structures and
theories and prove many equivalents. A theory T is mutually algebraic
if and only if it is weakly minimal and trivial if and only if n...
Semantic Role Labeling of Implicit Arguments for Nominal Predicates
Semantic Role Labeling Implicit Arguments Nominal Predicates
2015/9/10
Nominal predicates often carry implicit arguments. Recent work on semantic role labeling has focused on identifying arguments within the local context of a predicate; implicit arguments, however, have...
In this article we report work on Chinese semantic role labeling, taking advantage of two recently completed corpora, the Chinese PropBank, a semantically annotated corpus of Chinese verbs, and the Ch...
Participant structure in event perception: Towards the acquisition of implicitly 3-place predicates
perception:semantic
2015/9/2
In acquiring a semantics, children relate their experience of their world to their experience of
speakers. When we study this in the lab, we often presume to understand the first part of this relati...
Romance Complex Predicates:In defence of the right-branching structure
Romance Complex Predicates the right-branching structure
2015/6/12
Abeille and Godard (1994) seek to show that the rightward branching analysis of French tense auxiliaries shown in (1b), that I argued for in Manning (1992) and which is widely adopted in general, is w...
Introduction-The typology and semantics of locative predicates: Posturals, positionals and other beasts. Linguistics
Posturals positionals
2015/3/30
This special issue is devoted to a relatively neglected topic in linguistics, namely the verbal component of locative statements. English tends, of course, to use a simple copula in utterances like “T...
IMPLEMENTING TOPOLOGICAL PREDICATES FOR COMPLEX REGIONS
TOPOLOGICAL PREDICATES COMPLEX REGIONS
2015/3/17
IMPLEMENTING TOPOLOGICAL PREDICATES FOR COMPLEX REGIONS.
Predicates that, informally speaking, range over collections of individuals can be grouped
into three kinds: "genuine collective" predicates, "pluralized individual" predicates and
"essentially pl...
Content nouns and the semantics of question-embedding predicates
Content nouns question-embedding predicates
2014/9/4
Let us start with an observation. In (1) below, we see that believe and know have different entailment patterns when they are combined with a DP with a propositional complement, such as the rumor that...