Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/09/01 Vol. E91-ANo. 9 ;
pp. 2597-2606 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: formal methods, anonymity, software security, verification, theorem-proving,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/04/01 Vol. E91-ANo. 4 ;
pp. 1112-1120 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 20th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: formal methods, anonymity, software security, verification, theorem-proving,