Showing cs.CRShow all
3 papers · 1 filter
cs.CR2021
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá +1
MimbleWimble (MW) is a privacy-oriented cryptocurrency technology which provides security and scalability properties that distinguish it from other protocols of its kind. We presen…
cs.CR2020
Towards a certified reference monitor of the Android 10 permission system
Guido De Luca, Carlos Luna
Android is a platform for mobile devices that captures more than 85% of the total market-share. Currently, mobile devices allow people to develop multiple tasks in different areas.…
cs.CR2019
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna +2
MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we…