寳木 和夫

Secure Revocation Features in eKYC - Privacy Protection in Central Bank Digital Currency. 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 106(3) 325-332 2023年3月  

Evaluation of Applying LDA to Redacted Documents in Security and Safety Analysis. 

CSR 212-218 2023年  

Safety and Security Analysis using LDA based on Case Reports: Case Study and Trust Evaluation Method. 

ARES 2022: The 17th International Conference on Availability, Reliability and Security(ARES) 154-7 2022年  

Competitive Compliance with Blockchain. 

IEEE International Conference on Pervasive Computing and Communications Workshops 967-972 2019年  

Privacy-Enhancing Trust Infrastructure for Process Mining. 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 101-A(1) 149-156 2018年  

Foreword. 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 93-A(1) 1-2 2010年  

Verifying a signature architecture: a comparative case study. 

Formal Aspects of Computing 19(1) 63-91 2007年  

Generalized Powering Functions and Their Application to Digital Signatures. 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 89-A(1) 81-89 2006年  

Verification of a Signature Architecture with HOL-Z. 

FM 2005: Formal Methods(FM) 269-285 2005年  

A New Keystream Generator MUGI. 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 87-A(1) 37-45 2004年  

A Formal Analysis of a Digital Signature Architecture. 

Integrity and Internal Control in Information Systems VI - IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13-14 November 2003(IICIS) 31-47 2003年  

Generalized Powering Functions and Their Application to Digital Signatures. 

Advances in Cryptology - ASIACRYPT 2003, 9th International Conference on the Theory and Application of Cryptology and Information Security(ASIACRYPT) 434-451 2003年  

Legally Authorized and Unauthorized Digital Evidence. 

Security Protocols 67-73 2002年  

A New Keystream Generator MUGI. 

Fast Software Encryption(FSE) 179-194 2002年  

Integrity-Aware Mode of Stream Cipher. 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 85-A(1) 58-65 2002年  

A Multi-OS Approach to Trusted Computer Systems. 

Security Protocols 107-114 2001年  

An Ultra Small Individual Recognition Security Chip. 

IEEE Micro 21(6) 43-49 2001年  

Secure Fingerprinting Using Public-Key Cryptography (Position Paper). 

Security Protocols 83-89 1998年