Get started
Author

Evmorfia-Iro Bartzia

Observed names: Bartzia, Evmorfia, Bartzia, Evmorfia-Iro
Institutions: Université Paris-Est Créteil, Université Paris Cité, Université de Lille, CY Cergy Paris Université, Laboratoire de Didactique André Revuz, Laboratoire Alexander Grothendieck
Observed institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Université Paris-Est Créteil, Université de Montpellier, Université Paris Cité, Université de Lille, Université Paris-Saclay, Centre Inria de Saclay, Institut Montpelliérain Alexander Grothendieck, CY Cergy Paris Université, Laboratoire de Didactique André Revuz, Université Montpellier 2, Laboratoire Alexander Grothendieck, PROSECCO: Programming securely with cryptography
ORCID: 0009-0007-9402-7560
Observed ORCID: 0009-0007-9402-7560
OpenAlex ID: A5012620189
A Verified Extensible Library of Elliptic Curves
2016 · Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, et al. · Proceedings - Computer Security Foundations Workshop/Proceedings · 26
A Formal Library for Elliptic Curves in the Coq Proof Assistant
2014 · Evmorfia-Iro Bartzia, Pierre-Yves Strub · Lecture notes in computer science · 17
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics
2023 · Evmorfia-Iro Bartzia, Michael Lodi, et al. · Informatics in Education · 3
Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis
2022 · Bartzia, Evmorfia, Meyer, Antoine, et al. · HAL · 2
PDF
Proof assistants for undergraduate mathematics education: elements of an a priori analysis
2026 · Evmorfia-Iro Bartzia, Emmanuel Beffara, et al. · International Journal of Mathematical Education in Science and Technology · 1
PDF
La TSD pour des situations d’apprentissage en informatique et à l’interface mathématiques-informatique
2025 · Modeste, Simon, Bartzia, Evmorfia-Iro, et al. · HAL
Underlying theories of proof assistants and potential impact on the teaching and learning of proof
2023 · Bartzia, Evmorfia-Iro, Beffara, Emmanuel, et al. · HAL
Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation
2023 · Modeste, Simon, Bartzia, Evmorfia-Iro, et al. · HAL
PDF
Conception et organisation d'une situation didactique en cryptographie [atelier]
2022 · Bartzia, Evmorfia-Iro, Modeste, Simon, et al. · HAL
PDF
A formalization of elliptic curves for cryptography
2017 · Bartzia, Evmorfia-Iro · HAL
PDF
A formalization of elliptic curves for cryptography
2017 · Evmorfia-Iro Bartzia
Works count: 11
Citation count: 49
H-index: 3
I10-index: 2
Year
Topic
Type