Chuta Sano

According to our database, Chuta Sano authored at least 8 papers between 2017 and 2025.

Collaborative distances:

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

2025

Split Decisions: Explicit Contexts for Substructural Languages.

Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2023

Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity.

Chuta Sano, Ryan Kavanagh, Brigitte Pientka

Proc. ACM Program. Lang., October, 2023

2021

Manifestly Phased Communication via Shared Session Types.

Chuta Sano, Stephanie Balzer, Frank Pfenning

Proceedings of the Coordination Models and Languages, 2021

2020

STIR: A Smart and Trustworthy IoT System Interconnecting Legacy IR Devices.

Zhen Ling, Chao Gao, Chuta Sano, Chukpozohn Toe, Zupei Li, Xinwen Fu

IEEE Internet Things J., 2020

2018

Turning Legacy IR Devices into Smart IoT Devices.

Chuta Sano, Chao Gao, Zupei Li, Zhen Ling, Xinwen Fu

Proceedings of the Wireless Algorithms, Systems, and Applications, 2018

2017

Privacy Enhancing Keyboard: Design, Implementation, and Usability Testing.

Zhen Ling, Melanie Borgeest, Chuta Sano, Jazmyn Fuller, Anthony Cuomo, Sirong Lin, Wei Yu, Xinwen Fu, Wei Zhao

Wirel. Commun. Mob. Comput., 2017

A Case Study of Usable Security: Usability Testing of Android Privacy Enhancing Keyboard.

Zhen Ling, Melanie Borgeest, Chuta Sano, Sirong Lin, Mogahid Fadl, Wei Yu, Xinwen Fu, Wei Zhao

Proceedings of the Wireless Algorithms, Systems, and Applications, 2017

3D vision attack against authentication.

Zupei Li, Qinggang Yue, Chuta Sano, Wei Yu, Xinwen Fu

Proceedings of the IEEE International Conference on Communications, 2017