Dante Zanarini

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Set-Based Models for Cryptocurrency Software.
CLEI Electron. J., 2021

2020
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.
Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2019
Primary Level Teachers Training in Computer Science: Experience in the Argentine Context.
Proceedings of the Computer Science - CACIC 2019, 2019

2014
Monitoring Reactive Systems with Dynamic Channels.
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2013
Precise Enforcement of Confidentiality for Reactive Systems.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012
Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012


  Loading...