EasyChair Smart SlideDocs/Log in
Author: Leonardo Alt

This page shows all presentations of this author published in EasyChair Smart Slide.

On Satisfiability of Polynomial Equations over Large Prime Fields

On Satisfiability of Polynomial Equations over Large Prime Fields

Lucas Vella and Leonardo Alt

SMT-based Compile-time Verification of Safety Properties for Smart Contracts

SMT-based Compile-time Verification of Safety Properties for Smart Contracts

Leonardo Alt and Christian Reitwiessner

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair