Miki Tanaka

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 18

Top Topics

Subpixel Accuracy

Spectral Domain

Top Venues

Publications

Ryota Iijima, Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
Enhanced Security against Adversarial Examples Using a Random Ensemble of Encrypted Vision Transformer Models. GCCE (2023)
Ryota Iijima, Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
Enhanced Security against Adversarial Examples Using a Random Ensemble of Encrypted Vision Transformer Models. CoRR (2023)
Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser
Pancake: Verified Systems Programming Made Sweeter. PLOS@SOSP (2023)
Johannes Åman Pohjola, Magnus O. Myreen, Miki Tanaka
A Hoare Logic for Diverging Programs. Arch. Formal Proofs 2023 (2023)
Miki Tanaka, Isao Echizen, Hitoshi Kiya
On the Transferability of Adversarial Examples between Encrypted Models. CoRR (2022)
Miki Tanaka, Isao Echizen, Hitoshi Kiya
On the Transferability of Adversarial Examples between Encrypted Models. ISPACS (2022)
Shoko Niwa, Miki Tanaka, Hitoshi Kiya
A Detection Method of Temporally Operated Videos Using Robust Hashing. GCCE (2022)
Ryota Iijima, Miki Tanaka, Isao Echizen, Hitoshi Kiya
On the Adversarial Transferability of ConvMixer Models. CoRR (2022)
Shoko Niwa, Miki Tanaka, Hitoshi Kiya
A Detection Method of Temporally Operated Videos Using Robust Hashing. CoRR (2022)
Miki Tanaka, Hitoshi Kiya
Fake-image detection with Robust Hashing. LifeTech (2021)
Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
A universal detector of CNN-generated images using properties of checkerboard artifacts in the frequency domain. CoRR (2021)
Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
A universal detector of CNN-generated images using properties of checkerboard artifacts in the frequency domain. GCCE (2021)
Miki Tanaka, Hitoshi Kiya
Fake-image detection with Robust Hashing. CoRR (2021)
Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
A Detection Method of Operated Fake-Images Using Robust Hashing. J. Imaging 7 (8) (2021)
Yoshisato Yokoyama, Miki Tanaka, Koji Tanaka, Masao Morimoto, Makoto Yabuuchi, Yuichiro Ishii, Shinji Tanaka
Ultra High Density SRAM Macro using 7nm FinFET Technology with Dual-Edge Driven Wordline/Bitline and Write/Read-Assist Circuit. VLSI Circuits (2020)
Takayuki Osakabe, Miki Tanaka, Yuma Kinoshita, Hitoshi Kiya
CycleGAN without checkerboard artifacts for counter-forensics of fake-image detection. CoRR (2020)
Makoto Yabuuchi, Yasumasa Tsukamoto, Hidehiro Fujiwara, Miki Tanaka, Shinji Tanaka, Koji Nii
A 28-nm 1R1W Two-Port 8T SRAM Macro With Screening Circuitry Against Read Disturbance and Wordline Coupling Noise Failures. IEEE Trans. Very Large Scale Integr. Syst. 26 (11) (2018)
Makoto Yabuuchi, Yohei Sawada, Toshiaki Sano, Yuichiro Ishii, Shinji Tanaka, Miki Tanaka, Koji Nii
16-nm FinFET double pumping 1W1R 2-port SRAM with 313 ps read access time. VLSI Circuits (2016)
Yoshisato Yokoyama, Yuichiro Ishii, Toshihiro Inada, Koji Tanaka, Miki Tanaka, Yoshiki Tsujihashi, Koji Nii
A cost effective test screening method on 40-nm 4-Mb embedded SRAM for low-power MCU. A-SSCC (2015)
Yasumasa Tsukamoto, Masao Morimoto, Makoto Yabuuchi, Miki Tanaka, Koji Nii
ternary-CAM macro with 484 ps search access time in 16 nm Fin-FET bulk CMOS technology. VLSIC (2015)
Makoto Yabuuchi, Yasumasa Tsukamoto, Masao Morimoto, Miki Tanaka, Koji Nii
13.3 20nm High-density single-port and dual-port SRAMs with wordline-voltage-adjustment system for read/write assists. ISSCC (2014)
Makoto Yabuuchi, Hidehiro Fujiwara, Yasumasa Tsukamoto, Miki Tanaka, Shinji Tanaka, Koji Nii
A 28nm high density 1R/1W 8T-SRAM macro with screening circuitry against read disturb failure. CICC (2013)
John Power, Miki Tanaka
Axiomatics for Data Refinement in Call by Value Programming Languages. Electron. Notes Theor. Comput. Sci. 225 (2009)
John Power, Miki Tanaka
Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundam. Informaticae 84 (2) (2008)
Reynald Affeldt, Miki Tanaka, Nicolas Marti
Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec (2007)
Miki Tanaka, John Power
A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. J. Log. Comput. 16 (1) (2006)
Miki Tanaka, John Power
Pseudo-distributive laws and axiomatics for variable binding. High. Order Symb. Comput. 19 (2-3) (2006)
John Power, Miki Tanaka
Binding Signatures for Generic Contexts. TLCA (2005)
Miki Tanaka, John Power
A unified category-theoretic formulation of typed binding signatures. MERLIN (2005)
Miki Tanaka
Abstract Syntax and Variable Binding for Linear Binders. MFCS (2000)