| FS2025 |
Adapting the PBFT Consensus Algorithm to the Asymmetric Trust Setting |
MSc |
Michael Senn, Juan Villacis |
Jonathan Bernhard |
| FS2025 |
Privacy-preserving Authentication Flow for U2SSO with Open ID Self-Provider |
BSc |
Mariarosaria Barbaraci |
Yanis Berger |
| FS2025 |
Privacy-preserving credentials with BBS+ |
BSc |
François-Xavier Wicht |
Lukas Leuba |
| HS2024 |
Exploring the Consensus Mechanism of the BNB Smart Chain |
BSc |
François-Xavier Wicht, Michael Senn |
Daniele De Jeso |
| HS2024 |
Privacy Preserving Decentralized Identities |
MSc |
Jayamine Alupotha, Mariarosaria Barbaraci |
Marko Cirkovic |
| FS2024 |
Balancing Privacy and Public Policy Objectives: A study of eCash applied to the Digital Euro |
BSc |
François-Xavier Wicht |
Joel David Auerbach |
| FS2024 |
ROAST in Rust |
MSc |
Mariarosaria Barbaraci |
Lukas Leo Schacher |
| HS2023 |
An extended, modular library of distributed protocols |
BSc |
Jovana Micic |
Marcel Haag |
| FS2023 |
Implementing Distributed Randomness |
MSc |
Mariarosaria Barbaraci, Orestis Alpos |
Marius Asadauskas |
| HS2023 |
Blockchain and BlockDAG protocols |
MSc |
Ignacio Amores Sesar |
Renato Rao |
| HS2023 |
Design and Implementation of an Asynchronous Distributed Key Generation Protocol |
MSc |
Orestis Alpos, Mariarosaria Barbaraci |
Markus Eggiman |
| FS2023 |
Analyzing Inter-blockchain Communication |
BSc |
David Lehnherr |
Raphael Fehr |
| FS2023 |
Analyzing FastPay |
BSc |
David Lehnherr |
Noah Maggio |
| FS2023 |
Solana Consensus Protocol
(available on request) |
MSc |
Jovana Micic, Luca Zanolini |
Elias Wipfli |
| FS2023 |
Balance attack on a forkable blockchain |
MSc |
Ignacio Amores Sesar |
Marcel Zauder |
| FS2023 |
Implementing and evaluating protocol Π3 in BlockSim |
BSc |
Orestis Alpos, Ignacio Amores Sesar |
Lawrence Chiang |
| FS2023 |
Exploring threshold cryptosystems |
MSc |
Orestis Alpos |
Michael Senn |
| FS2023 |
E-Voting verifier for the Swiss Post voting system |
BSc |
Patrick Liniger, Mariarosaria Barbaraci |
Marc Günter |
| HS2022 |
Security in the NFT world |
BSc |
Jovana Micic |
Noé Bayard |
| HS2022 |
Blockchain privacy notions using the transaction graph model |
MSc |
Duc V. Le |
François-Xavier Wicht |
| HS2022 |
Concurrent distributed storage protocols |
MSc |
David Lehnherr |
Marco Cacciatore |
| HS2022 |
Benchmarking threshold signatures for consensus protocols |
BSc |
Orestis Alpos |
Julien Brunner |
| FS2022 |
Implementation of a threshold post-quantum signature scheme |
MSc |
Ignacio Amores Sesar, Nathalie Steinhauer |
Dominique Roux |
| FS2022 |
Cryptographic primitives for on-chain tumbler designs |
BSc |
Duc V. Le |
Marko Cirkovic |
| FS2022 |
Filecoin consensus: Performance analysis |
MSc |
Christian Cachin |
Marcel Würsten |
| FS2022 |
Secure execution on a blockchain |
MSc |
Christian Cachin |
Riccardo Zappoli |
| FS2022 |
Blockchain consensus protocols based on stake |
MSc |
Luca Zanolini |
Timo Bürk |
| FS2022 |
Fair transaction order in Hedera Hashgraph |
BSc |
Nathalie Steinhauer |
Matteo Biner |
| HS2021 |
A concurrent DEX on Cardano |
BSc |
Luca Zanolini, Jovana Micic |
Peter Brühwiler |
| HS2021 |
Consensus zoo
(available on request) |
MSc |
Jovana Micic |
Paula Raseni |
| HS2021 |
Multiparty computation on blockchain |
BSc |
Orestis Alpos |
Gillian Cathomas |
| HS2021 |
Randomness and games on Ethereum |
MSc |
Luca Zanolini
Ignacio Amores Sesar |
Peter Allemann |
| HS2021 |
Exploring blockchain-based decentralized exchanges |
BSc |
Jovana Micic |
Benjamin Helmy |
| FS2021 |
Implementation of an asset transfer system … |
BSc |
Orestis Alpos |
Jérémie De Faveri |
| FS2021 |
Encrypting into the future |
BSc |
Christian Cachin, Giorgia Marson |
Lukas Schacher |
| FS2021 |
PoET: An eco-friendly alternative to PoW |
BSc |
Ignacio Amores Sesar |
Marius Asadauskas |
| FS2021 |
Secure causal atomic broadcast |
BSc |
Orestis Alpos |
Noah Schmid |
| FS2021 |
Provably robust proof-of-stake protocols |
MSc |
Giorgia Marson |
Arbër Kuçi |
| FS2021 |
Implementing RSA signatures on the Internet Computer |
BSc |
Jovana Micic |
Michael Senn |
| HS2020 |
Analysis of the Tangle |
BSc |
Ignacio Amores Sesar |
Michael Brunner |
| HS2020 |
The library of distributed protocols |
MSc |
Jovana Micic |
Aleksandar Lazic |
| FS2020 |
Blockchain and BlockDAG protocols |
BSc |
Ignacio Amores Sesar |
Luca Althaus |
| FS2020 |
Using polynomial systems to decode binary linear codes |
BSc |
Alex Pellegrini |
Annina Helmy |
| FS2020 |
Implementing Byzantine-fault tolerant algorithms in DistAlgo |
BSc |
Orestis Alpos
Luca Zanolini |
Roland Widmer |
| FS2020 |
BLS signatures in PROTECT |
MSc |
Christian Cachin |
Patrick Hodel |
| HS2019 |
Threshold cryptography with Tendermint Core |
MSc |
Christian Cachin |
Nathalie Froidevaux |
| HS2019 |
Evaluating the B3 condition in asymmetric quorums |
BSc |
Orestis Alpos |
Sabine Brunner |
| FS2019 |
Execution of smart contracts with ARM TrustZone |
MSc |
Christian Cachin, Pascal Felber (UniNE) |
Christina Müller |
| HS2019 |
Generalized quorums for consensus |
BSc |
Orestis Alpos, Christian Cachin |
Angela Keller |
| FS2019 |
Security analysis of Ripple consensus
(available on request) |
MSc |
Christian Cachin |
Jovana Micic |