Ken Mano

26 papers B 3C 1Journal 12Unranked 10
YearRankTypeTitle / Venue / Authors
2023 J jnl
Quality and Quantity Pair as Trust Metric.
IEICE Trans. Inf. Syst.
Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
2020 J jnl
Foreword.
IEICE Trans. Inf. Syst.
Ken Mano
2017 — conf
Trust Trust Me (The Additivity).
IFIPTM
Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
2016 J jnl
On compositional reasoning about anonymity and privacy in epistemic logic.
Ann. Math. Artif. Intell.
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
2014 J jnl
Evaluating data utility of privacy-preserving pseudonymized location datasets.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Tomoya Tanjo, Kazuhiro Minami, Ken Mano, Hiroshi Maruyama
2014 — conf
On Safety of Pseudonym-Based Location Data in the Context of Constraint Satisfation Problems.
ICT-EurAsia
Tomoya Tanjo, Kazuhiro Minami, Ken Mano, Hiroshi Maruyama
2014 — conf
Pseudonym exchange for privacy-preserving publishing of trajectory data set.
GCCE
Ken Mano, Kazuhiro Minami, Hiroshi Maruyama
2013 B conf
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.
TARK
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
2013 J jnl
An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.
CoRR
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe
2013 B conf
Privacy-Preserving Publishing of Pseudonym-Based Trajectory Location Data Set.
ARES
Ken Mano, Kazuhiro Minami, Hiroshi Maruyama
2013 — conf
Protecting location privacy with k-confusing paths based on dynamic pseudonyms.
PerCom Workshops
Ken Mano, Kazuhiro Minami, Hiroshi Maruyama
2010 J jnl
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.
Trans. Data Priv.
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
2010 J jnl
Role Interchange for Anonymity and Privacy of Voting.
J. Log. Comput.
Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada
2009 — conf
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.
CSE (3)
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe
2008 J jnl
On Backward-Style Anonymity Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
2007 J jnl
Theorem-proving anonymity of infinite-state systems.
Inf. Process. Lett.
Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
2005 J jnl
Name creation implements restriction in the pi-calculus.
Syst. Comput. Jpn.
Yoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure
2005 J jnl
Verifying Trace Equivalence of a Shared-Memory-Style Communication System.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yoshinobu Kawabe, Ken Mano
2004 — conf
Name-passing style GUI programming in the
ARTS
Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen
2004 B conf
The Nepi Network Programming System: A Programming Environment for Distributed Systems.
NCA
Ken Mano, Yoshinobu Kawabe
2001 J jnl
Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem.
Theor. Comput. Sci.
Ken Mano, Mizuhito Ogawa
2000 — conf
On Formal Modeling of Agent Computations.
FAABS
Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
2000 — conf
The Nepi
FAABS
Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure
1997 — conf
Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus.
ASIAN
Eiichi Horita, Ken Mano
1996 C conf
Nepi: A Network Programming Language Based on the pi-Calculus.
COORDINATION
Eiichi Horita, Ken Mano
1996 — conf
Unique Normal Form Property of Higher-Order Rewriting Systems.
ALP
Ken Mano, Mizuhito Ogawa