Dante Zanarini

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 5

Top Topics

Computer Skills

Reactive Systems

Implementation Details

Top Venues

Publications

Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CLEI Electron. J. 24 (3) (2021)
Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. ACNS Workshops (2020)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CoRR (2019)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol. CoRR (2019)
Ana Casali, Natalia Monjelat, Patricia San Martín, Dante Zanarini
Primary Level Teachers Training in Computer Science: Experience in the Argentine Context. CACIC (2019)
Dante Zanarini, Mauro Jaskelioff
Monitoring Reactive Systems with Dynamic Channels. PLAS@ECOOP (2014)
Dante Zanarini, Mauro Jaskelioff, Alejandro Russo
Precise Enforcement of Confidentiality for Reactive Systems. CSF (2013)
Dante Zanarini, Carlos Luna, Luis Sierra
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions. SBMF (2012)