research
∙
09/21/2022
An Automatically Verified Prototype of the Android Permissions System
In a previous work De Luca and Luna presented formal specifications of i...
share
research
∙
04/02/2021
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol
MimbleWimble (MW) is a privacy-oriented cryptocurrency technology which ...
research
∙
10/29/2020
Towards a certified reference monitor of the Android 10 permission system
Android is a platform for mobile devices that captures more than 85 tota...
research
∙
10/24/2020
A Blockchain based and GDPR-compliant design of a system for digital education certificates
Blockchain is an incipient technology that offers many strengths compare...
research
∙
08/01/2019
Set-Based Models for Cryptocurrency Software
Emin Gün Sirer once said: It's clear that writing a robust, secure smart...
research
∙
07/03/2019
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
MimbleWimble is a privacy-oriented cryptocurrency technology encompassin...
research
∙
09/12/2017