Evmorfia-Iro Bartzia
According to our database1,
Evmorfia-Iro Bartzia
authored at least 4 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics.
Informatics Educ., 2024
2017
A formalization of elliptic curves for cryptography. (Une formalisation des courbes elliptiques pour la cryptographie).
PhD thesis, 2017
2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014