Presentation 2023-08-04
Constructing Visual Cryptography Schemes for Multiple Images Using SAT Technology
Tako Hiroaki, Xiao-Nan Lu, Nabeshima Hidetomo,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) The visual cryptography scheme (VCS) is a type of secret sharing scheme for images.The VCS uses matrices called basis matrices to generate shares, which are partitioned information for the images.In this paper, we focus on the VCS, in which multiple image information appear as a share or combinations of shares, and propose a method for constructing the basis matrices using the Boolean satisfiability (SAT) technique.Also, basis matrices constructed by the SAT technique are evaluated in terms of pixel expansion.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Visual cryptography scheme / Pixel expansion / Boolean satisfiability testing / Constraint satisfaction problem
Paper # IT2023-25
Date of Issue 2023-07-27 (IT)

Conference Information
Committee IT
Conference Date 2023/8/3(2days)
Place (in Japanese) (See Japanese page)
Place (in English) Shonan Institute of Technology
Topics (in Japanese) (See Japanese page)
Topics (in English) Freshman session, General
Chair Tetsuya Kojima(Tokyo Kosen)
Vice Chair Yasuyuki Nogami(Okayama Univ.)
Secretary Yasuyuki Nogami(Waseda Univ.)
Assistant Tetsunao Matsuta(Saitamai Univ.)

Paper Information
Registration To Technical Committee on Information Theory
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Constructing Visual Cryptography Schemes for Multiple Images Using SAT Technology
Sub Title (in English)
Keyword(1) Visual cryptography scheme
Keyword(2) Pixel expansion
Keyword(3) Boolean satisfiability testing
Keyword(4) Constraint satisfaction problem
1st Author's Name Tako Hiroaki
1st Author's Affiliation University of Yamanashi(Univ. Yamanashi)
2nd Author's Name Xiao-Nan Lu
2nd Author's Affiliation Gifu University(Gifu Univ.)
3rd Author's Name Nabeshima Hidetomo
3rd Author's Affiliation University of Yamanashi(Univ. Yamanashi)
Date 2023-08-04
Paper # IT2023-25
Volume (vol) vol.123
Number (no) IT-149
Page pp.pp.62-67(IT),
#Pages 6
Date of Issue 2023-07-27 (IT)