home.md

@@ -22,6 +22,8 @@
 * 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 (preprint)
+  * An Idealized 
+Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol - CLEI 2022 (In press)
 
 
 * 2021:
@@ -41,6 +43,8 @@
   * [When Blockchain Meets the Right to Be Forgotten: Technology versus Law in the Healthcare Industry](https://ieeexplore.ieee.org/document/8609693)
 
 # **Master thesis**
+* 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: 
   * [Constructing privacy aware blockchain solutions: design guidelines and threat analysis techniques](https://www.colibri.udelar.edu.uy/jspui/handle/20.500.12008/30599)