Ken MANO


FOREWORD
Ken MANO 
Publication:   
Publication Date: 2020/08/01
Vol. E103-D  No. 8  pp. 1782-1782
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(78.6KB)

On Backward-Style Anonymity Verification
Yoshinobu KAWABE Ken MANO Hideki SAKURADA Yasuyuki TSUKADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/09/01
Vol. E91-A  No. 9  pp. 2597-2606
Type of Manuscript:  PAPER
Category: Cryptography and Information Security
Keyword: 
formal methodsanonymitysoftware securityverificationtheorem-proving
 Summary | Full Text:PDF(667.2KB)

Verifying Trace Equivalence of a Shared-Memory-Style Communication System
Yoshinobu KAWABE Ken MANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Vol. E88-A  No. 4  pp. 915-922
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
I/O-automatontrace equivalencetheorem proving
 Summary | Full Text:PDF(236.8KB)