| Budget Amount *help |
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2016: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Outline of Final Research Achievements |
Verifiable delegation of computation is a cryptographic technology in which computation performed by a third party can later be verified. We studied how to make it more efficient and flexible. As our main work, we focused on proxy re-encryption, which is a cryptographic primitive in which the task of changing the destination of ciphertexts (i.e. re-encryption) can be delegated to a third party, and obtained several results on it. In particular, we proposed proxy re-encryption that supports the verifiability of the re-encryption procedure, and one that supports the homomorphic property.
|
