Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Matsuoka, Kotaro"'
Autor:
Waga, Masaki, Matsuoka, Kotaro, Suwa, Takashi, Matsumoto, Naoki, Banno, Ryotaro, Bian, Song, Suenaga, Kohei
When monitoring a cyber-physical system (CPS) from a remote server, keeping the monitored data secret is crucial, particularly when they contain sensitive information, e.g., biological or location data. Recently, Banno et al. (CAV'22) proposed a prot
Externí odkaz:
http://arxiv.org/abs/2405.16767
In many Internet of Things (IoT) applications, data sensed by an IoT device are continuously sent to the server and monitored against a specification. Since the data often contain sensitive information, and the monitored specification is usually prop
Externí odkaz:
http://arxiv.org/abs/2206.03582
We present Virtual Secure Platform (VSP), the first comprehensive platform that implements a multi-opcode general-purpose sequential processor over Fully Homomorphic Encryption (FHE) for Secure Multi-Party Computation (SMPC). VSP protects both the da
Externí odkaz:
http://arxiv.org/abs/2010.09410
Raw data of the experimental results of the paper entitled "Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption". The artifact we used is here.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7301b58992fcbdfa3bba272ca7b0afaa
Publikováno v:
In Nuclear Inst. and Methods in Physics Research, B 1 November 2013 314:117-121
Autor:
Matsuoka, Kotaro, Yushima, Yasutomo, Hayakawa, Ryo, Kawasaki, Riho, Hayashi , Kazunori, Kaneko , Megumi
Publikováno v:
ELCAS Journal. 1:96-96
In this paper, we propose a tag identification protocol based on Boolean compressed sensing (CS) for a radio frequency identification (RFID) system. Unlike the conventional CS-based tag identification protocol, our proposed protocol offers improved r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::88cdc4a972b817779a5c40c1697987d1
http://hdl.handle.net/2433/216470
http://hdl.handle.net/2433/216470
Publikováno v:
In Journal of Nuclear Materials 1995 220:908-911
Autor:
Kentaroh Miyoshi, Norihito Okumura, Yujiro Kokado, Tomoaki Matsuoka, Kotaro Kameyama, Tatsuo Nakagawa
Publikováno v:
Surgery Today; Feb2008, Vol. 38 Issue 4, p344-347, 4p
Autor:
Sharon Shoham, Yakir Vizel
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented tog
Autor:
Erika Ábrahám, Houssam Abbas
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book wer