Abstract Syntax and Variable Binding for Linear Binders. - Miki Tanaka (MFCS, 2000)

A unified category-theoretic formulation of typed binding signatures. - Miki Tanaka; John Power (MERLIN, 2005)

Binding Signatures for Generic Contexts. - John Power; Miki Tanaka (TLCA, 2005)

Axiomatics for Data Refinement in Call by Value Programming Languages. - John Power; Miki Tanaka (MFCSIT, 2006)

Pseudo-distributive laws and axiomatics for variable binding. - Miki Tanaka; John Power (High. Order Symb. Comput., 2006)

A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. - Miki Tanaka; John Power (J. Log. Comput., 2006)

Formal Proof of Provable Security by Game-Playing in a Proof Assistant. - Reynald Affeldt; Miki Tanaka; Nicolas Marti (ProvSec, 2007)

Category Theoretic Semantics for Typed Binding Signatures with Recursion. - John Power; Miki Tanaka (Fundam. Informaticae, 2008)

A 28nm high density 1R/1W 8T-SRAM macro with screening circuitry against read disturb failure. - Makoto Yabuuchi; Hidehiro Fujiwara; Yasumasa Tsukamoto; Miki Tanaka; Shinji Tanaka; Koji Nii (CICC, 2013)

13.3 20nm High-density single-port and dual-port SRAMs with wordline-voltage-adjustment system for read/write assists. - Makoto Yabuuchi; Yasumasa Tsukamoto; Masao Morimoto; Miki Tanaka; Koji Nii (ISSCC, 2014)

A cost effective test screening method on 40-nm 4-Mb embedded SRAM for low-power MCU. - Yoshisato Yokoyama; Yuichiro Ishii; Toshihiro Inada; Koji Tanaka; Miki Tanaka; Yoshiki Tsujihashi; Koji Nii (A-SSCC, 2015)

1.8 Mbit/mm2 ternary-CAM macro with 484 ps search access time in 16 nm Fin-FET bulk CMOS technology. - Yasumasa Tsukamoto; Masao Morimoto; Makoto Yabuuchi; Miki Tanaka; Koji Nii (VLSIC, 2015)

A 6.05-Mb/mm2 16-nm FinFET double pumping 1W1R 2-port SRAM with 313 ps read access time. - Makoto Yabuuchi; Yohei Sawada; Toshiaki Sano; Yuichiro Ishii; Shinji Tanaka; Miki Tanaka; Koji Nii (VLSI Circuits, 2016)

A 28-nm 1R1W Two-Port 8T SRAM Macro With Screening Circuitry Against Read Disturbance and Wordline Coupling Noise Failures. - Makoto Yabuuchi; Yasumasa Tsukamoto; Hidehiro Fujiwara; Miki Tanaka; Shinji Tanaka; Koji Nii (IEEE Trans. Very Large Scale Integr. Syst., 2018)

A 29.2 Mb/mm2 Ultra High Density SRAM Macro using 7nm FinFET Technology with Dual-Edge Driven Wordline/Bitline and Write/Read-Assist Circuit. - Yoshisato Yokoyama; Miki Tanaka; Koji Tanaka; Masao Morimoto; Makoto Yabuuchi; Yuichiro Ishii; Shinji Tanaka (VLSI Circuits, 2020)

CycleGAN without checkerboard artifacts for counter-forensics of fake-image detection. - Takayuki Osakabe; Miki Tanaka; Yuma Kinoshita; Hitoshi Kiya (CoRR, 2020)

A universal detector of CNN-generated images using properties of checkerboard artifacts in the frequency domain. - Miki Tanaka; Sayaka Shiota; Hitoshi Kiya (GCCE, 2021)

Fake-image detection with Robust Hashing. - Miki Tanaka; Hitoshi Kiya (LifeTech, 2021)

A Detection Method of Operated Fake-Images Using Robust Hashing. - Miki Tanaka; Sayaka Shiota; Hitoshi Kiya (J. Imaging, 2021)

A Detection Method of Temporally Operated Videos Using Robust Hashing. - Shoko Niwa; Miki Tanaka; Hitoshi Kiya (GCCE, 2022)

On the Transferability of Adversarial Examples between Encrypted Models. - Miki Tanaka; Isao Echizen; Hitoshi Kiya (ISPACS, 2022)

On the Adversarial Transferability of ConvMixer Models. - Ryota Iijima; Miki Tanaka; Isao Echizen; Hitoshi Kiya (CoRR, 2022)

Enhanced Security against Adversarial Examples Using a Random Ensemble of Encrypted Vision Transformer Models. - Ryota Iijima; Miki Tanaka; Sayaka Shiota; Hitoshi Kiya (GCCE, 2023)

Pancake: Verified Systems Programming Made Sweeter. - 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 (PLOS@SOSP, 2023)

A Hoare Logic for Diverging Programs. - Johannes Åman Pohjola; Magnus O. Myreen; Miki Tanaka (Arch. Formal Proofs, 2023)

22-nm Data Backup SRAM Using 3.3V IO MOSs with Ultralow-Voltage-Drop Erasure Technique for Secure IoT Applications. - Daiki Kitagata; Shunya Nagata; Kouji Satou; Daisuke Nakamura; Koji Tanaka; Miki Tanaka (A-SSCC, 2024)

An Area-Efficient PVT-Dependent Adaptive Assist Termination Technique with SNM Detector for High Density SRAM. - Shunya Nagata; Daiki Kitagata; Kouji Satou; Daisuke Nakamura; Koji Tanaka; Miki Tanaka; Haruyuki Okuda; Kenichiro Takiguchi (A-SSCC, 2024)

Verifying Device Drivers with Pancake. - Junming Zhao; Alessandro Legnani; Tiana J. Tsang Ung; H. Truong; Tsun Wang Sau; Miki Tanaka; Johannes Åman Pohjola; Thomas Sewell; Robert Sison; Syeda Hira; Magnus Myreen; Michael Norrish; et al. (CoRR, 2025)