Yuuki Takano

32 papers A 1B 4C 2Misc 2Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Case Study on Model Checking and Runtime Verification for Awkernel.
CoRR
Akira Hasegawa, Ryuta Kambe, Toshiaki Aoki, Yuuki Takano
2025 J jnl
Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm.
J. Inf. Process.
Ryuta Kambe, Makoto Kurihara, Tetsuhiro Kawaguchi, Ryohei Kawabuchi, Yuuki Takano
2025 A conf
Work-in-Progress: Function-as-Subtask API Replacing Publish/Subscribe for OS-Native DAG Scheduling.
RTSS
Takahiro Ishikawa-Aso, Atsushi Yano, Yutaro Kobayashi, Takumi Jin, Yuuki Takano, Shinpei Kato
2025 J jnl
Work-in-Progress: Function-as-Subtask API Replacing Publish/Subscribe for OS-Native DAG Scheduling.
CoRR
Takahiro Ishikawa-Aso, Atsushi Yano, Yutaro Kobayashi, Takumi Jin, Yuuki Takano, Shinpei Kato
2024 B conf
A Formally Verified Leader Election Algorithm for Autonomous Driving Systems.
RTCSA
Ryuta Kambe, Benjamin Gilby, Yuuki Takano
2024 — conf
An Enhanced Firewall for IoT Security.
SciSec
Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji
2024 J jnl
PRSafe: A Domain Specific Language Created with LLVM.
J. Inf. Process.
Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji
2023 — conf
Deadlock- and Starvation-free Formally Verified Client Library for Robots.
ICSRS
Yuuki Takano
2022 C conf
NEMIANA: Cross-Platform Execution Migration for Debugging.
AST
Nobuyuki Kanaya, Yu Tsuda, Yuuki Takano, Yoshitada Fujiwara, Ryoichi Isawa, Daisuke Inoue
2021 — conf
A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection.
CANDAR (Workshops)
Seitaro Mishima, Kazuhisa Nakasho, Yuuki Takano, Atsuko Miyaji
2021 — conf
PRSafe: Primitive Recursive Function based Domain Specific Language using LLVM.
ICEIC
Sai Veerya Mahadevan, Yuuki Takano, Atsuko Miyaji
2020 — conf
Development and Application of Privacy-preserving Distributed Medical Data Integration System.
ICCE-TW
Seitaro Mishima, Kazuhisa Nakasho, Kousuke Takeuchi, Naohiro Hayaishi, Yuuki Takano, Atsuko Miyaji
2020 — ch.
Secure Primitive for Big Data Utilization.
Security Infrastructure Technology for Integrated Utilization of Big Data
Akinori Kawachi, Atsuko Miyaji, Kazuhisa Nakasho, Yiying Qi, Yuuki Takano
2019 — conf
Byakko: Automatic Whitelist Generation based on Occurrence Distribution of Features of Network Traffic.
IEEE BigData
Nobuyuki Kanaya, Yu Tsuda, Yuuki Takano, Daisuke Inoue
2017 — conf
GINTATE: Scalable and Extensible Deep Packet Inspection System for Encrypted Network Traffic: Session Resumption in Transport Layer Security Communication Considered Harmful to DPI.
SoICT
Ryosuke Miura, Yuuki Takano, Shinsuke Miwa, Tomoya Inoue
2016 Misc conf
Alfons: A Mimetic Network Environment Construction System.
TRIDENTCOM
Shingo Yasuda, Ryosuke Miura, Satoshi Ohta, Yuuki Takano, Toshiyuki Miyachi
2016 — conf
FARIS: Fast and Memory-Efficient URL Filter by Domain Specific Machine.
ICITCS
Yuuki Takano, Ryosuke Miura
2016 — conf
NETorium: high-fidelity scalable wireless network emulator.
AINTEC
Kunio Akashi, Tomoya Inoue, Shingo Yasuda, Yuuki Takano, Yoichi Shinoda
2015 J jnl
DynamiQ: A Tool for Dynamic Emulation of Networks.
EAI Endorsed Trans. Self Adapt. Syst.
Razvan Beuran, Shingo Yasuda, Tomoya Inoue, Yuuki Takano, Toshiyuki Miyachi, Yoichi Shinoda
2015 — conf
SF-TAP: Scalable and Flexible Traffic Analysis Platform Running on Commodity Hardware.
LISA
Yuuki Takano, Ryosuke Miura, Shingo Yasuda, Kunio Akashi, Tomoya Inoue
2015 J jnl
Towards an Interactive Experiment Framework: DynamiQ.
EAI Endorsed Trans. Cloud Syst.
Razvan Beuran, Shingo Yasuda, Tomoya Inoue, Yuuki Takano, Toshiyuki Miyachi, Yoichi Shinoda
2014 B conf
Expressing Security Requirements: Usability of Taxonomy-Based Requirement Identification Scheme.
SERVICES
Takeshi Takahashi, Joona Kannisto, Jarmo Harju, Akira Kanaoka, Yuuki Takano, Shin'ichiro Matsuo
2014 C conf
MindYourPrivacy: Design and implementation of a visualization system for third-party Web tracking.
PST
Yuuki Takano, Satoshi Ohta, Takeshi Takahashi, Ruo Ando, Tomoya Inoue
2014 — conf
Remote Collaboration with Spatial AR Support.
HCI (2)
Nobuchika Sakata, Yuuki Takano, Shogo Nishida
2012 J jnl
Mobile-carrier Choice Modeling Framework Under Competitive Conditions.
Inf. Media Technol.
Akiya Inoue, Yuuki Takano, Takeshi Kurosawa, Motoi Iwashita, Ken Nishimastu
2012 J jnl
Mobile-carrier Choice Modeling Framework Under Competitive Conditions.
J. Inf. Process.
Akiya Inoue, Yuuki Takano, Takeshi Kurosawa, Motoi Iwashita, Ken Nishimatsu
2011 — conf
A design and implementation of nickname-based sockets for applications inside NATed network.
AINTEC
Tomoya Inoue, Yuuki Takano, Shinsuke Miwa, Yoichi Shinoda
2010 — conf
Customer Segmentation in Mobile Carrier Choice Modeling.
ACIS-ICIS
Yuuki Takano, Akiya Inoue, Takeshi Kurosawa, Motoi Iwashita, Ken Nishimatsu
2007 J jnl
Evaluation of the Security of RC6 against the Chi
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Atsuko Miyaji, Yuuki Takano
2006 B conf
Multipath Key Exchange on P2P Networks.
ARES
Yuuki Takano, Naoki Isozaki, Yoichi Shinoda
2005 Misc conf
On the Success Probability of chi
ACISP
Atsuko Miyaji, Yuuki Takano
2004 B conf
Success Probability in Chi
ACNS
Takashi Matsunaka, Atsuko Miyaji, Yuuki Takano