Blockchain group

Team

• Adrián Silveira
• Carlos Luna
• Gustavo Guimerans
• Guzmán Llambías
• Laura González
• Octavio Perez Kempner
• Raúl Ruggia
• Sebastián Pandolfi

Research areas

• Blockchain interoperability
• Blockchain formal analysis
• Blockchain security
• Architecture of Blockchain-based Applications

Publications

• 2024:
  • Leveraging Zero-Knowledge Proofs for Blockchain Interoperability: Experiences with Ethereum and Hyperledger Fabric
  • Formalising a Gateway-based Blockchain Interoperability Solution with Event-B
  • Blockchain interoperability patterns
• 2023:
  • Interoperability between DLT following a Gateway-based approach: the Case of Ethereum and Hyperledger Fabric
  • Gateway-based Interoperability for Distributed Ledger Technology
• 2022:
  • Blockchain Interoperability: a Feature-based Classification Framework and Challenges Ahead
  • Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric
  • A gateway-based interoperability solution for permissioned blockchains
  • An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol (In press)
• 2021:
  • A range proof scheme analysis for the Mimblewimble cryptocurrency protocol
  • A Formal Analysis of the Mimblewimble Cryptocurrency Protocol
  • Privacy-aware blockchain solutions: design and threat analysis
  • On the Compliance of Blockchain Technology with Data Protection Regulations
  • Design principles for constructing GDPR-compliant blockchain solutions
• 2020:
  • Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol
• 2019:
  • Towards a Requirement-driven Identification and Selection Process for Blockchain Platforms
• 2018:
  • When Blockchain Meets the Right to Be Forgotten: Technology versus Law in the Healthcare Industry

Master thesis

• 2022:
  • A formal analysis of the mimblewimble cryptocurrency protocol with a security approach
• 2021:
  • Constructing privacy aware blockchain solutions: design guidelines and threat analysis techniques

Grade thesis

• 2024:
  • Design and development of cross-chain DApps based on blockchain interoperability patterns (in progress)
• 2023:
  • Validación de transacciones cross-chain (in progress)
• 2022:
  • Gestión de la privacidad al interoperar plataformas de blockchain
• 2021:
  • BIG: Interoperabilidad en plataformas de blockchain
  • Manejo de la privacidad en permissioned blockchain
• 2020:
  • Interoperabilidad entre plataformas de blockchain
• 2018:
  • Plataformas de blockchain y escenarios de uso