Dante Zanarini
According to our database1,
Dante Zanarini
authored at least 6 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014
2013
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013
2012
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012