Search Results - Bartzia, Evmorfia-Iro

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics

    An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics by Bartzia, Evmorfia-Iro, Lodi, Michael, Sbaraglia, Marco, Modeste, Simon, Durand-Guerrier, Viviane, Martini, Simone

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    A Verified Extensible Library of Elliptic Curves

    A Verified Extensible Library of Elliptic Curves by Zinzindohoue, Jean Karim, Bartzia, Evmorfia-Iro, Bhargavan, Karthikeyan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: