
elefthei.github.io/publications
Preview meta tags from the elefthei.github.io website.
Linked Hostnames
9- 12 links togithub.com
- 11 links toelefthei.github.io
- 3 links toarxiv.org
- 3 links topdos.csail.mit.edu
- 3 links towww.youtube.com
- 2 links toeprint.iacr.org
- 1 link totwitter.com
- 1 link towww.ece.utexas.edu
Search Engine Appearance
https://elefthei.github.io/publications
Lef Ioannidis - Publications
Verification, Rocq, LLM, Logic, Ticl, Zippel, Haskell, Zero-knowledge, zkSNARK, Eleftherios, Ioannidis, MIT, Penn
Bing
Lef Ioannidis - Publications
https://elefthei.github.io/publications
Verification, Rocq, LLM, Logic, Ticl, Zippel, Haskell, Zero-knowledge, zkSNARK, Eleftherios, Ioannidis, MIT, Penn
DuckDuckGo
https://elefthei.github.io/publications
Lef Ioannidis - Publications
Verification, Rocq, LLM, Logic, Ticl, Zippel, Haskell, Zero-knowledge, zkSNARK, Eleftherios, Ioannidis, MIT, Penn
General Meta Tags
9- titleLef Ioannidis - Publications
- titleLef Ioannidis - Publications | Eleftherios “Lef” Ioannidis
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1.0
- X-UA-Compatibleie=edge
Open Graph Meta Tags
5- og:titleLef Ioannidis - Publications
og:locale
en_US- og:descriptionVerification, Rocq, LLM, Logic, Ticl, Zippel, Haskell, Zero-knowledge, zkSNARK, Eleftherios, Ioannidis, MIT, Penn
- og:site_nameEleftherios “Lef” Ioannidis
- og:typewebsite
Twitter Meta Tags
1- twitter:cardsummary
Link Tags
2- stylesheethttps://fonts.googleapis.com/css?family=Merriweather:300|Raleway:400,700
- stylesheet/assets/css/style.css
Emails
1Links
37- https://arxiv.org/abs/2211.06863
- https://arxiv.org/abs/2403.04651
- https://arxiv.org/abs/2410.14906
- https://elefthei.github.io
- https://elefthei.github.io/assets/pdf/6033paper.pdf