research
∙
04/02/2021
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol
MimbleWimble (MW) is a privacy-oriented cryptocurrency technology which ...
share
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
∙
03/14/2018
Machine learning-assisted virtual patching of web applications
Web applications are permanently being exposed to attacks that exploit t...
research
∙
09/12/2017