Ken Mano

According to our database, Ken Mano authored at least 24 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Quality and Quantity Pair as Trust Metric.

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

IEICE Trans. Inf. Syst., February, 2023

2020

Foreword.

Ken Mano

IEICE Trans. Inf. Syst., 2020

2017

Trust Trust Me (The Additivity).

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

Proceedings of the Trust Management XI - 11th IFIP WG 11.11 International Conference, 2017

2016

On compositional reasoning about anonymity and privacy in epistemic logic.

Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe

Ann. Math. Artif. Intell., 2016

2014

Evaluating data utility of privacy-preserving pseudonymized location datasets.

Tomoya Tanjo, Kazuhiro Minami, Ken Mano, Hiroshi Maruyama

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014

On Safety of Pseudonym-Based Location Data in the Context of Constraint Satisfation Problems.

Tomoya Tanjo, Kazuhiro Minami, Ken Mano, Hiroshi Maruyama

Proceedings of the Information and Communication Technology, 2014

Pseudonym exchange for privacy-preserving publishing of trajectory data set.

Ken Mano, Kazuhiro Minami, Hiroshi Maruyama

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

2013

An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.

Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Protecting location privacy with k-confusing paths based on dynamic pseudonyms.

Ken Mano, Kazuhiro Minami, Hiroshi Maruyama

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

Privacy-Preserving Publishing of Pseudonym-Based Trajectory Location Data Set.

Ken Mano, Kazuhiro Minami, Hiroshi Maruyama

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2010

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.

Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe

Trans. Data Priv., 2010

Role Interchange for Anonymity and Privacy of Voting.

Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada

J. Log. Comput., 2010

2008

On Backward-Style Anonymity Verification.

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

Theorem-proving anonymity of infinite-state systems.

Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada

Inf. Process. Lett., 2007

2005

Name creation implements restriction in the pi-calculus.

Yoshinobu Kawabe, Ken Mano, Eiichi Horita, Kiyoshi Kogure

Syst. Comput. Jpn., 2005

Verifying Trace Equivalence of a Shared-Memory-Style Communication System.

Yoshinobu Kawabe, Ken Mano

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

2004

Name-passing style GUI programming in the <i>pi</i>-calculus-based language Nepi.

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

The Nepi Network Programming System: A Programming Environment for Distributed Systems.

Ken Mano, Yoshinobu Kawabe

Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

2001

Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem.

Ken Mano, Mizuhito Ogawa

Theor. Comput. Sci., 2001

2000

The Nepi² Programming System: A pi-Calculus-Based Approach to Agent-Based Programming.

Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

On Formal Modeling of Agent Computations.

Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1997

Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus.

Eiichi Horita, Ken Mano

Proceedings of the Advances in Computing Science, 1997

1996

Nepi: A Network Programming Language Based on the pi-Calculus.

Eiichi Horita, Ken Mano

Proceedings of the Coordination Languages and Models, First International Conference, 1996

Unique Normal Form Property of Higher-Order Rewriting Systems.

Ken Mano, Mizuhito Ogawa

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996