Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning. - Ewa Syta; Iulia Tamas; Dylan Visher; David Isaac Wolinsky; Philipp Jovanovic; Linus Gasser; Nicolas Gailly; Ismail Khoffi; Bryan Ford (IEEE Symposium on Security and Privacy, 2016)

Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing. - Eleftherios Kokoris-Kogias; Philipp Jovanovic; Nicolas Gailly; Ismail Khoffi; Linus Gasser; Bryan Ford (USENIX Security Symposium, 2016)

Scalable Bias-Resistant Distributed Randomness. - Ewa Syta; Philipp Jovanovic; Eleftherios Kokoris-Kogias; Nicolas Gailly; Linus Gasser; Ismail Khoffi; Michael J. Fischer; Bryan Ford (IACR Cryptol. ePrint Arch., 2016)

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds. - Kirill Nikitin 001; Eleftherios Kokoris-Kogias; Philipp Jovanovic; Linus Gasser; Nicolas Gailly; Ismail Khoffi; Justin Cappos; Bryan Ford (IACR Cryptol. ePrint Arch., 2017)

Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems. - André Gaul; Ismail Khoffi; Jörg Liesen; Torsten Stüber (CoRR, 2019)

A Tendermint Light Client. - Sean Braithwaite; Ethan Buchman; Ismail Khoffi; Igor Konnov 001; Zarko Milosevic 001; Romain Ruetschi; Josef Widder (CoRR, 2020)

Fraud and Data Availability Proofs: Detecting Invalid Blocks in Light Clients. - Mustafa Al-Bassam; Alberto Sonnino; Vitalik Buterin; Ismail Khoffi (Financial Cryptography (2), 2021)

Accountable Safety for Rollups. - Ertem Nusret Tas; John Adler; Mustafa Al-Bassam; Ismail Khoffi; David Tse; Nima Vaziri (CoRR, 2022)