Author of the publication

Formal Method for Security Analysis of Electronic Payment Protocols.

, , , , , and . IEICE Trans. Inf. Syst., 101-D (9): 2291-2297 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Novel Logical Method for Security Analysis of Electronic Payment Protocols., , , , and . CoRR, (2017)Foundry Material Design with Artificial Intelligence., , , and . ICIC (2), volume 8589 of Lecture Notes in Computer Science, page 444-455. Springer, (2014)A Novel Biologically Inspired Visual Saliency Model., , , , and . Cogn. Comput., 6 (4): 841-848 (2014)Dense Depth Estimation in Monocular Endoscopy With Self-Supervised Learning Methods., , , , , , and . IEEE Trans. Med. Imaging, 39 (5): 1438-1447 (2020)SAGE: SLAM with Appearance and Geometry Prior for Endoscopy., , , , , and . ICRA, page 5587-5593. IEEE, (2022)An Improved CTU-level Rate Control Algorithm Based on Temporal Domain Motion Intensity., , , , , and . ISCIT, page 214-218. IEEE, (2023)Corpus Callosum Segmentation in Brain MRIs via Robust Target-Localization and Joint Supervised Feature Extraction and Prediction., , , , , , and . MICCAI (2), volume 9901 of Lecture Notes in Computer Science, page 406-414. (2016)Endoscopic Navigation in the Absence of CT Imaging., , , , , and . MICCAI (4), volume 11073 of Lecture Notes in Computer Science, page 64-71. Springer, (2018)Reconstructing Sinus Anatomy from Endoscopic Video - Towards a Radiation-Free Approach for Quantitative Longitudinal Assessment., , , , , , and . MICCAI (3), volume 12263 of Lecture Notes in Computer Science, page 3-13. Springer, (2020)Enhancing Anonymity of Bitcoin Based on Ring Signature Algorithm., , , , , and . CIS, page 317-321. IEEE Computer Society, (2017)