Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors Rei UENONaofumi HOMMATakafumi AOKISumio MORIOKA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2015/01/01 Vol. E98-ANo. 1pp. 171-181 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Foundation Keyword: embedded microcontrollers, cryptographic software, fault injection attacks,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/09/01 Vol. E97-DNo. 9pp. 2270-2277 Type of Manuscript: Special Section PAPER (Special Section on Multiple-Valued Logic and VLSI Computing) Category: VLSI Architecture Keyword: arithmetic circuits, formal verification, normal basis, computer algebra,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 2014/04/01 Vol. E97-CNo. 4pp. 272-279 Type of Manuscript: Special Section PAPER (Special Section on Solid-State Circuit Design,---,Architecture, Circuit, Device and Design Methodology) Category: Keyword: information leakage, side-channel attack, correlation power analysis, advance encryption standard,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/01/01 Vol. E97-ANo. 1pp. 157-166 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Symmetric Key Based Cryptography Keyword: side-channel attacks, KCipher-2, correlation power analysis, random masking,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/04/01 Vol. E96-DNo. 4pp. 826-835 Type of Manuscript: Special Section PAPER (Special Section on Medical Imaging) Category: Medical Image Processing Keyword: CT, MRI, registration, phase-only correlation, GPU,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/01/01 Vol. E95-ANo. 1pp. 263-266 Type of Manuscript: Special Section LETTER (Special Section on Cryptography and Information Security) Category: Keyword: faulty injection attacks, clock glitch, RSA, safe-error attack,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/12/01 Vol. E94-DNo. 12pp. 2338-2344 Type of Manuscript: Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking) Category: Keyword: FDTD method, Cell B.E., DMA transfers, parallel computing with region segmentation,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/10/01 Vol. E94-ANo. 10pp. 1971-1980 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: dependable architectures, fault injection attacks, tamper resistance, error detection,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/04/01 Vol. E92-ANo. 4pp. 1047-1055 Type of Manuscript: Special Section PAPER (Special Section on Advanced Technologies Emerging Mainly from the 21st Workshop on Circuits and Systems in Karuizawa) Category: Keyword: biometrics, face recognition, 3D face, facial expression, phase-only correlation,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/01/01 Vol. E92-ANo. 1pp. 235-243 Type of Manuscript: PAPER Category: Digital Signal Processing Keyword: image registration, rotation estimation, phase correlation,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/08/01 Vol. E91-ANo. 8pp. 1974-1981 Type of Manuscript: Special Section PAPER (Special Section on Signal Processing) Category: Keyword: biometrics, face recognition, phase-only correlation, stereo vision, 3D measurement,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/04/01 Vol. E91-ANo. 4pp. 1023-1030 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 20th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: biometrics, palmprint recognition, security, image recognition, phase-only correlation,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/01/01 Vol. E91-ANo. 1pp. 193-202 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Side Channel Attacks Keyword: side-channel attacks, DPA, DEMA, cryptographic module, waveform matching, phase-only correlation,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/01/01 Vol. E91-ANo. 1pp. 298-305 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Biometrics Keyword: dental biometrics, dental radiograph, image registration, image matching, phase-only correlation, biometrics,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 2006/11/01 Vol. E89-CNo. 11pp. 1645-1654 Type of Manuscript: Special Section PAPER (Special Section on Novel Device Architectures and System Integration Technologies) Category: Keyword: datapaths, arithmetic circuits, addition algorithms, number systems, multiple-valued logic,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/03/01 Vol. E89-ANo. 3pp. 686-697 Type of Manuscript: Special Section PAPER (Special Section on Multidimensional Signal Processing and Its Application) Category: Image/Vision Processing Keyword: 3D measurement, stereo vision, phase-based image matching, phase-only correlation, outlier detection,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/03/01 Vol. E89-ANo. 3pp. 735-743 Type of Manuscript: Special Section PAPER (Special Section on Multidimensional Signal Processing and Its Application) Category: Signal Processing Algorithm Keyword: reaction-diffusion system, nonlinear dynamics, shortest path search, excitable dynamics,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/07/01 Vol. E88-DNo. 7pp. 1553-1560 Type of Manuscript: Special Section PAPER (Special Section on Recent Advances in Circuits and Systems--Part 1) Category: Image Processing and Multimedia Systems Keyword: object extraction, object segmentation, learning vector quantization, video processing, MPEG,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2004/08/01 Vol. E87-ANo. 8pp. 1913-1923 Type of Manuscript: Special Section PAPER (Special Section on Digital Signal Processing) Category: Image/Visual Signal Processing Keyword: phase-only correlation, phase correlation, image matching, sub-pixel matching, block matching,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/12/01 Vol. E86-ANo. 12pp. 3009-3019 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: IP Design Keyword: computer arithmetic algorithms, parallel counters, multipliers, datapath, VLSI, circuit synthesis,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/08/01 Vol. E86-ANo. 8pp. 1925-1934 Type of Manuscript: Special Section PAPER (Special Section on Digital Signal Processing) Category: Keyword: image registration, subpixel registration, image matching, phase-only correlation, phase correlation,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/08/01 Vol. E86-ANo. 8pp. 2001-2010 Type of Manuscript: Special Section PAPER (Special Section on Digital Signal Processing) Category: Keyword: multiple-valued logic, signal processor, FPGAs, FIR filters,
Parallel Evolutionary Graph Generation with Terminal-Color Constraint and Its Application to Current-Mode Logic Circuit Design Masanori NATSUITakafumi AOKITatsuo HIGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/09/01 Vol. E85-ANo. 9pp. 2061-2071 Type of Manuscript: Special Section PAPER (Special Section on Nonlinear Theory and Its Applications) Category: Keyword: multiple-valued logic, arithmetic circuit, evolutionary computation, genetic algorithm (GA),
Evolutionary Graph Generation System with Terminal-Color Constraint--An Application to Multiple-Valued Logic Circuit Synthesis-- Masanori NATSUITakafumi AOKITatsuo HIGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-ANo. 11pp. 2808-2810 Type of Manuscript: Special Section LETTER (Special Section on VLSI Design and CAD Algorithms) Category: Analog Synthesis Keyword: multiple-valued logic, arithmetic circuits, evolutionary computation, genetic algorithm,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/11/01 Vol. E84-ANo. 11pp. 2623-2631 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: VLSI Design Keyword: computer arithmetic, SRT division, high-radix division, signed-digit number systems, VLSI,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/08/01 Vol. E84-ANo. 8pp. 1909-1918 Type of Manuscript: Special Section PAPER (Special Section on Digital Signal Processing) Category: Image/Visual Signal Processing Keyword: reaction-diffusion system, pattern formation, digital signal processing, digital filters,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/06/25 Vol. E83-ANo. 6pp. 1106-1114 Type of Manuscript: Special Section PAPER (Special Section of Papers Selected from 1999 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC'99)) Category: Keyword: computer arithmetic, arithmetic circuits, CORDIC, VLSI, digital signal processing,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 1999/09/25 Vol. E82-CNo. 9pp. 1687-1698 Type of Manuscript: Special Section PAPER (Special Issue on Integrated Electronics and New System Paradigms) Category: Configurable Computing and Fault Tolerance Keyword: computer arithmetic, redundant number systems, digital signal processing, FIR filter, FPGAs,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1999/05/25 Vol. E82-ANo. 5pp. 798-806 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: circuit design, computer arithmetic, arithmetic circuits, evolvable hardware, evolutionary computation,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 1993/07/25 Vol. E76-CNo. 7pp. 1133-1143 Type of Manuscript: Special Section PAPER (Special Issue on New Architecture LSIs) Category: Multiple-Valued Architectures and Systems Keyword: multiple-valued logic, set-valued logic, parallel processing, frequency multiplexing,