Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2016/12/01 Vol. E99-ANo. 12 ;
pp. 2585-2590 Type of Manuscript: LETTER Category: Cryptography and Information Security Keyword: return-oriented programming, exploit code, malware defense, software security,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/01/01 Vol. E97-ANo. 1 ;
pp. 303-305 Type of Manuscript: Special Section LETTER (Special Section on Cryptography and Information Security) Category: Keyword: return-oriented programming, malware defense, software security,
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,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2005/01/01 Vol. E88-ANo. 1 ;
pp. 112-122 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Tamper-Resistance Keyword: software security, software protection, obfuscation, encryption,