Login / Signup
Yusuke Ikeno
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Software Systems
Interactive Theorem Proving
Home Care
Top Venues
Financial Cryptography Workshops
DPM/CBT@ESORICS
</>
Publications
</>
Yusuke Ikeno
,
James Angel
,
Sabitra Sankalp Panigrahi
Soundness of Stablecoins.
Financial Cryptography Workshops
(2022)
Michael Bartholic
,
Jianan Su
,
Ryosuke Ushida
,
Yusuke Ikeno
,
Zhengrong Gu
,
Shin'ichiro Matsuo
Proof of No-Work: How to Incentivize Individuals to Stay at Home.
DPM/CBT@ESORICS
(2020)