Chuta Sano

12 papers B 1C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Deconstructed Proto-Quipper: A Rational Reconstruction.
CoRR
Ryan Kavanagh, Chuta Sano, Brigitte Pientka
2025 J jnl
Fusing Session-Typed Concurrent Programming into Functional Programming.
Proc. ACM Program. Lang.
Chuta Sano, Deepak Garg, Ryan Kavanagh, Brigitte Pientka, Bernardo Toninho
2025 B conf
Split Decisions: Explicit Contexts for Substructural Languages.
CPP
Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka
2023 J jnl
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity.
CoRR
Chuta Sano, Ryan Kavanagh, Brigitte Pientka
2023 J jnl
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity.
Proc. ACM Program. Lang.
Chuta Sano, Ryan Kavanagh, Brigitte Pientka
2021 C conf
Manifestly Phased Communication via Shared Session Types.
COORDINATION
Chuta Sano, Stephanie Balzer, Frank Pfenning
2021 J jnl
Manifestly Phased Communication via Shared Session Types.
CoRR
Chuta Sano, Stephanie Balzer, Frank Pfenning
2020 J jnl
STIR: A Smart and Trustworthy IoT System Interconnecting Legacy IR Devices.
IEEE Internet Things J.
Zhen Ling, Chao Gao, Chuta Sano, Chukpozohn Toe, Zupei Li, Xinwen Fu
2018 — conf
Turning Legacy IR Devices into Smart IoT Devices.
WASA
Chuta Sano, Chao Gao, Zupei Li, Zhen Ling, Xinwen Fu
2017 — conf
3D vision attack against authentication.
ICC
Zupei Li, Qinggang Yue, Chuta Sano, Wei Yu, Xinwen Fu
2017 — conf
A Case Study of Usable Security: Usability Testing of Android Privacy Enhancing Keyboard.
WASA
Zhen Ling, Melanie Borgeest, Chuta Sano, Sirong Lin, Mogahid Fadl, Wei Yu, Xinwen Fu, Wei Zhao
2017 J jnl
Privacy Enhancing Keyboard: Design, Implementation, and Usability Testing.
Wirel. Commun. Mob. Comput.
Zhen Ling, Melanie Borgeest, Chuta Sano, Jazmyn Fuller, Anthony Cuomo, Sirong Lin, Wei Yu, Xinwen Fu, Wei Zhao