Stakechain: A Bitcoin-Backed Proof-of-Stake. - Robin Linus (Financial Cryptography Workshops, 2022)

Remote Staking with Economic Safety. - Xinshu Dong; Orfeas Stefanos Thyfronitis Litos; Ertem Nusret Tas; David Tse; Robin Linus Woll; Lei Yang 031; Mingchao Yu (CoRR, 2024)

BitVM: Quasi-Turing Complete Computation on Bitcoin. - Lukas Aumayr; Zeta Avarikioti; Robin Linus; Matteo Maffei; Andrea Pelosi; Christos Stefo; Alexei Zamyatin (IACR Cryptol. ePrint Arch., 2024)

Push-Button Verification for BitVM Implementations. - Hanzhi Liu; Jingyu Ke; Hongbo Wen; Robin Linus; Lukas George; Manish Bista; Hakan Karakus; Domo; Junrui Liu; Yanju Chen; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)

Bridging Bitcoin to Second Layers via BitVM2. - Robin Linus; Lukas Aumayr; Zeta Avarikioti; Matteo Maffei; Andrea Pelosi; Orfeas Stefanos Thyfronitis Litos; Christos Stefo; David Tse; Alexei Zamyatin (IACR Cryptol. ePrint Arch., 2025)

Shielded CSV: Private and Efficient Client-Side Validation. - Jonas Nick; Liam Eagen; Robin Linus (IACR Cryptol. ePrint Arch., 2025)