نتایج جستجو برای: 4 predicate

تعداد نتایج: 1311894  

2007
Jenn-Yuan Tsai Pen-Chung Yew

Speculative execution has long been used as an approach to exploit instruction level par-allelism across basic block boundaries. Most existing speculative execution techniques only support speculating along single control path, and heavily rely on branch prediction to choose the right control path. In this paper, we propose an extended predicated execution mechanism, called predicate shifting, ...

Journal: :Electronic Notes in Theoretical Computer Science 2008

Journal: :Software: Practice and Experience 1984

Journal: :Science of Computer Programming 2011

Journal: :Pacific Journal of Mathematics 1959

Journal: :Acta Linguistica Hungarica 2006

Journal: :IACR Cryptology ePrint Archive 2008
Emily Shen Elaine Shi Brent Waters

Predicate encryption is a new encryption paradigm which gives a master secret key owner fine-grained control over access to encrypted data. The master secret key owner can generate secret key tokens corresponding to predicates. An encryption of data x can be evaluated using a secret token corresponding to a predicate f ; the user learns whether the data satisfies the predicate, i.e., whether f(...

2012
Shota Yamada Nuttapong Attrapadung Bagus Santoso Jacob C. N. Schuldt Goichiro Hanaoka Noboru Kunihiro

In this paper, we focus on verifiability of predicate encryption. A verifiable predicate encryption scheme guarantees that all legitimate receivers of a ciphertext will obtain the same message upon decryption. While verifiability of predicate encryption might be a desirable property by itself, we furthermore show that this property enables interesting applications. Specifically, we provide two ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید