... | ... | @@ -10,42 +10,38 @@ |
|
|
* Octavio Perez Kempner
|
|
|
* Raúl Ruggia
|
|
|
|
|
|
|
|
|
# **Research areas**
|
|
|
|
|
|
* Blockchain interoperability
|
|
|
* [Blockchain formal analysis ](A-Formal-Analysis-of-the-Mimblewimble-Cryptocurrency-Protocol-with-a-Security-Approach)
|
|
|
* [Blockchain security](Constructing-privacy-aware-blockchain-solutions:-design-guidelines-and-threat-analysis-techniques)
|
|
|
* [Blockchain formal analysis](A-Formal-Analysis-of-the-Mimblewimble-Cryptocurrency-Protocol-with-a-Security-Approach)
|
|
|
* [Blockchain security](constructing-privacy-aware-blockchain-solutions:-design-guidelines-and-threat-analysis-techniques)
|
|
|
* Architecture of Blockchain-based Applications
|
|
|
|
|
|
# **Publications**
|
|
|
|
|
|
* 2022:
|
|
|
* [Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric](https://eprint.iacr.org/2022/661)
|
|
|
* [A gateway-based interoperability solution for permissioned blockchains](https://ieeexplore.ieee.org/document/9959907/)
|
|
|
* An Idealized
|
|
|
Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol (In press)
|
|
|
|
|
|
|
|
|
* An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol (In press)
|
|
|
* Blockchain Interoperability: a Feature-based Classification Framework and Challenges Ahead (In press)
|
|
|
* 2021:
|
|
|
* [A range proof scheme analysis for the Mimblewimble cryptocurrency protocol](https://ieeexplore.ieee.org/document/9647414)
|
|
|
* [A Formal Analysis of the Mimblewimble Cryptocurrency Protocol](https://www.mdpi.com/1424-8220/21/17/5951)
|
|
|
* [Privacy-aware blockchain solutions: design and threat analysis](https://dblp.org/db/conf/cibse/cibse2021.html#MolinaB021)
|
|
|
* [Privacy-aware blockchain solutions: design and threat analysis](https://dblp.org/db/conf/cibse/cibse2021.html#MolinaB021)
|
|
|
* [On the Compliance of Blockchain Technology with Data Protection Regulations](https://ieeexplore.ieee.org/document/9647141)
|
|
|
* [Design principles for constructing GDPR-compliant blockchain solutions](https://ieeexplore.ieee.org/document/9474790)
|
|
|
|
|
|
* 2020:
|
|
|
* 2020:
|
|
|
* [Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol](https://link.springer.com/chapter/10.1007/978-3-030-61638-0_1)
|
|
|
|
|
|
* 2019:
|
|
|
* [Towards a Requirement-driven Identification and Selection Process for Blockchain Platforms](https://ieeexplore.ieee.org/abstract/document/9073873)
|
|
|
|
|
|
* 2018:
|
|
|
* [When Blockchain Meets the Right to Be Forgotten: Technology versus Law in the Healthcare Industry](https://ieeexplore.ieee.org/document/8609693)
|
|
|
|
|
|
# **Master thesis**
|
|
|
* 2022:
|
|
|
|
|
|
* 2022:
|
|
|
* [A formal analysis of the mimblewimble cryptocurrency protocol with a security approach](https://www.colibri.udelar.edu.uy/jspui/handle/20.500.12008/32492)
|
|
|
* 2021:
|
|
|
* 2021:
|
|
|
* [Constructing privacy aware blockchain solutions: design guidelines and threat analysis techniques](https://www.colibri.udelar.edu.uy/jspui/handle/20.500.12008/30599)
|
|
|
|
|
|
# **Grade thesis**
|
... | ... | |