Dante Zanarini

According to our database, Dante Zanarini authored at least 6 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Set-Based Models for Cryptocurrency Software.

Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini

CLEI Electron. J., 2021

2020

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.

Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini

Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2019

Primary Level Teachers Training in Computer Science: Experience in the Argentine Context.

Ana Casali, Natalia Monjelat, Patricia Silvana San Martín, Dante Zanarini

Proceedings of the Computer Science - CACIC 2019, 2019

2014

Monitoring Reactive Systems with Dynamic Channels.

Dante Zanarini, Mauro Jaskelioff

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2013

Precise Enforcement of Confidentiality for Reactive Systems.

Dante Zanarini, Mauro Jaskelioff, Alejandro Russo

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions.

Dante Zanarini, Carlos Luna, Luis Sierra

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012