Showing cs.SEShow all
3 papers · 1 filter
cs.SE2022
An Automatically Verified Prototype of the Android Permissions System
Maximiliano Cristiá, Guido De Luca, Carlos Luna
In a previous work De Luca and Luna presented formal specifications of idealized formulations of the permission model of Android in the Coq proof assistant. This formal development…
cs.SE2020
A Blockchain based and GDPR-compliant design of a system for digital education certificates
Fernanda Molina, Gustavo Betarte, Carlos Luna
Blockchain is an incipient technology that offers many strengths compared to traditional systems, such as decentralization, transparency and traceability. However, if the technolog…
cs.SE2019
Set-Based Models for Cryptocurrency Software
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna +2
Emin Gün Sirer once said: It's clear that writing a robust, secure smart contract requires extreme amounts of diligence. It's more similar to writing code for a nuclear power react…