Paper Abstract and Keywords |
Presentation |
2021-05-19 14:30
[Invited Talk]
Security Definitions on Time-Lock Puzzles (from ICISC 2020) Daiki Hiraga (Tokyo Tech), Keisuke Hara (Tokyo Tech/AIST), Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka (Tokyo Tech) ISEC2021-7 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
Time-lock puzzles allow one to encapsulate a message for a pre-determined amount of time.
The message is required to be concealed from any algorithm running in parallel time less than the pre-determined amount of time.
The security of time-lock puzzles was formalized based on indistinguishability.
However, it is unclear whether it directly meets the security requirements of time-lock puzzles.
In this work, we define semantic security, which captures the security requirements of the time-lock puzzles more directly.
We consider three adversary's computational restrictions and see how the security relationship changes.
The first, the traditional definition, we cannot prove that the semantic security implies the indistinguishability, same as the opposite implication.
The second, relaxed definition compared to the first one, we can prove that the semantic security implies the indistinguishability. By contrast, we cannot prove the opposite implication.
The third, relaxed definition compared to the second one, we can prove that the semantic security implies the indistinguishability, same as the opposite implication.
This shows that indistinguishability meets the security requirements of time-lock puzzles in a certain restriction.
Finally, we present a scheme that meets semantic security. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
time-lock puzzle / indistinguishability / semantic security / / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 121, no. 22, ISEC2021-7, pp. 32-32, May 2021. |
Paper # |
ISEC2021-7 |
Date of Issue |
2021-05-12 (ISEC) |
ISSN |
Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
ISEC2021-7 |
Conference Information |
Committee |
ISEC |
Conference Date |
2021-05-19 - 2021-05-19 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Online |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
|
Paper Information |
Registration To |
ISEC |
Conference Code |
2021-05-ISEC |
Language |
English (Japanese title is available) |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Security Definitions on Time-Lock Puzzles (from ICISC 2020) |
Sub Title (in English) |
|
Keyword(1) |
time-lock puzzle |
Keyword(2) |
indistinguishability |
Keyword(3) |
semantic security |
Keyword(4) |
|
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Daiki Hiraga |
1st Author's Affiliation |
Tokyo Institute of Technology (Tokyo Tech) |
2nd Author's Name |
Keisuke Hara |
2nd Author's Affiliation |
Tokyo Institute of Technology/National Institute of Advanced Industrial Science and Technology (Tokyo Tech/AIST) |
3rd Author's Name |
Masayuki Tezuka |
3rd Author's Affiliation |
Tokyo Institute of Technology (Tokyo Tech) |
4th Author's Name |
Yusuke Yoshida |
4th Author's Affiliation |
Tokyo Institute of Technology (Tokyo Tech) |
5th Author's Name |
Keisuke Tanaka |
5th Author's Affiliation |
Tokyo Institute of Technology (Tokyo Tech) |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2021-05-19 14:30:00 |
Presentation Time |
30 minutes |
Registration for |
ISEC |
Paper # |
ISEC2021-7 |
Volume (vol) |
vol.121 |
Number (no) |
no.22 |
Page |
p.32 |
#Pages |
1 |
Date of Issue |
2021-05-12 (ISEC) |
|