Miki Tanaka

34 papers B 1C 1Journal 14Unranked 18
YearRankTypeTitle / Venue / Authors
2025 — conf
High-Fidelity Specification of Real-World Devices.
PLOS@SOSP
Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka, Gernot Heiser
2025 J jnl
Verifying Device Drivers with Pancake.
CoRR
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, Gernot Heiser
2024 — conf
22-nm Data Backup SRAM Using 3.3V IO MOSs with Ultralow-Voltage-Drop Erasure Technique for Secure IoT Applications.
A-SSCC
Daiki Kitagata, Shunya Nagata, Kouji Satou, Daisuke Nakamura, Koji Tanaka, Miki Tanaka
2024 — conf
An Area-Efficient PVT-Dependent Adaptive Assist Termination Technique with SNM Detector for High Density SRAM.
A-SSCC
Shunya Nagata, Daiki Kitagata, Kouji Satou, Daisuke Nakamura, Koji Tanaka, Miki Tanaka, Haruyuki Okuda, Kenichiro Takiguchi
2023 J jnl
A Hoare Logic for Diverging Programs.
Arch. Formal Proofs
Johannes Åman Pohjola, Magnus O. Myreen, Miki Tanaka
2023 — conf
Enhanced Security against Adversarial Examples Using a Random Ensemble of Encrypted Vision Transformer Models.
GCCE
Ryota Iijima, Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
2023 J jnl
Enhanced Security against Adversarial Examples Using a Random Ensemble of Encrypted Vision Transformer Models.
CoRR
Ryota Iijima, Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
2023 — conf
Pancake: Verified Systems Programming Made Sweeter.
PLOS@SOSP
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
2022 — conf
A Detection Method of Temporally Operated Videos Using Robust Hashing.
GCCE
Shoko Niwa, Miki Tanaka, Hitoshi Kiya
2022 J jnl
A Detection Method of Temporally Operated Videos Using Robust Hashing.
CoRR
Shoko Niwa, Miki Tanaka, Hitoshi Kiya
2022 J jnl
On the Adversarial Transferability of ConvMixer Models.
CoRR
Ryota Iijima, Miki Tanaka, Isao Echizen, Hitoshi Kiya
2022 — conf
On the Transferability of Adversarial Examples between Encrypted Models.
ISPACS
Miki Tanaka, Isao Echizen, Hitoshi Kiya
2022 J jnl
On the Transferability of Adversarial Examples between Encrypted Models.
CoRR
Miki Tanaka, Isao Echizen, Hitoshi Kiya
2021 J jnl
A Detection Method of Operated Fake-Images Using Robust Hashing.
J. Imaging
Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
2021 — conf
A universal detector of CNN-generated images using properties of checkerboard artifacts in the frequency domain.
GCCE
Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
2021 J jnl
A universal detector of CNN-generated images using properties of checkerboard artifacts in the frequency domain.
CoRR
Miki Tanaka, Sayaka Shiota, Hitoshi Kiya
2021 — conf
Fake-image detection with Robust Hashing.
LifeTech
Miki Tanaka, Hitoshi Kiya
2021 J jnl
Fake-image detection with Robust Hashing.
CoRR
Miki Tanaka, Hitoshi Kiya
2020 — conf
A 29.2 Mb/mm
VLSI Circuits
Yoshisato Yokoyama, Miki Tanaka, Koji Tanaka, Masao Morimoto, Makoto Yabuuchi, Yuichiro Ishii, Shinji Tanaka
2020 J jnl
CycleGAN without checkerboard artifacts for counter-forensics of fake-image detection.
CoRR
Takayuki Osakabe, Miki Tanaka, Yuma Kinoshita, Hitoshi Kiya
2018 J jnl
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.
Makoto Yabuuchi, Yasumasa Tsukamoto, Hidehiro Fujiwara, Miki Tanaka, Shinji Tanaka, Koji Nii
2016 — conf
A 6.05-Mb/mm
VLSI Circuits
Makoto Yabuuchi, Yohei Sawada, Toshiaki Sano, Yuichiro Ishii, Shinji Tanaka, Miki Tanaka, Koji Nii
2015 — conf
1.8 Mbit/mm
VLSIC
Yasumasa Tsukamoto, Masao Morimoto, Makoto Yabuuchi, Miki Tanaka, Koji Nii
2015 — conf
A cost effective test screening method on 40-nm 4-Mb embedded SRAM for low-power MCU.
A-SSCC
Yoshisato Yokoyama, Yuichiro Ishii, Toshihiro Inada, Koji Tanaka, Miki Tanaka, Yoshiki Tsujihashi, Koji Nii
2014 — conf
13.3 20nm High-density single-port and dual-port SRAMs with wordline-voltage-adjustment system for read/write assists.
ISSCC
Makoto Yabuuchi, Yasumasa Tsukamoto, Masao Morimoto, Miki Tanaka, Koji Nii
2013 — conf
A 28nm high density 1R/1W 8T-SRAM macro with screening circuitry against read disturb failure.
CICC
Makoto Yabuuchi, Hidehiro Fujiwara, Yasumasa Tsukamoto, Miki Tanaka, Shinji Tanaka, Koji Nii
2008 J jnl
Category Theoretic Semantics for Typed Binding Signatures with Recursion.
Fundam. Informaticae
John Power, Miki Tanaka
2007 C conf
Formal Proof of Provable Security by Game-Playing in a Proof Assistant.
ProvSec
Reynald Affeldt, Miki Tanaka, Nicolas Marti
2006 J jnl
A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics.
J. Log. Comput.
Miki Tanaka, John Power
2006 — conf
Axiomatics for Data Refinement in Call by Value Programming Languages.
MFCSIT
John Power, Miki Tanaka
2006 J jnl
Pseudo-distributive laws and axiomatics for variable binding.
High. Order Symb. Comput.
Miki Tanaka, John Power
2005 — conf
A unified category-theoretic formulation of typed binding signatures.
MERLIN
Miki Tanaka, John Power
2005 — conf
Binding Signatures for Generic Contexts.
TLCA
John Power, Miki Tanaka
2000 B conf
Abstract Syntax and Variable Binding for Linear Binders.
MFCS
Miki Tanaka