Eleftherios Ioannidis

According to our database1, Eleftherios Ioannidis authored at least 3 papers between 2019 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.
IACR Cryptol. ePrint Arch., 2023

2021
Efficient Representation of Numerical Optimization Problems for SNARKs.
IACR Cryptol. ePrint Arch., 2021

2019
Extracting and Optimizing Formally Verified Code for Systems Programming.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019


  Loading...