Holographic Computation of Balanced Succinct Permanent Instances. - Shlomi Dolev; Nova Fandina; Joseph Rosen (OSC, 2010)

Nested Merkle's Puzzles against Sampling Attacks. - Shlomi Dolev; Nova Fandina; Ximing Li 001 (Inscrypt, 2012)

Succinct Permanent is NEXP-hard with Many Hard Instances. - Shlomi Dolev; Nova Fandina; Dan Gutfreund (Electron. Colloquium Comput. Complex., 2012)

Succinct Permanent Is NEXP-Hard with Many Hard Instances. - Shlomi Dolev; Nova Fandina; Dan Gutfreund (CIAC, 2013)

Holographic parallel processor for calculating Kronecker product. - Shlomi Dolev; Nova Fandina; Joseph Rosen (Nat. Comput., 2015)

Dimensionality reduction: theoretical perspective on practical measures. - Yair Bartal; Nova Fandina; Ofer Neiman (NeurIPS, 2019)

Online Probabilistic Metric Embedding: A General Framework for Bypassing Inherent Bounds. - Yair Bartal; Nova Fandina; Seeun William Umboh (SODA, 2020)

Resource Parameterized Metric Embedding (כותר נוסף בעברית: שיכונים מטריים בעלי משאבים מוגבלים). - Ora Nova Fandina (2020)

Optimality of the Johnson-Lindenstrauss Dimensionality Reduction for Practical Measures. - Yair Bartal; Ora Nova Fandina; Kasper Green Larsen (SoCG, 2022)

Covering metric spaces by few trees. - Yair Bartal; Ora Nova Fandina; Ofer Neiman (J. Comput. Syst. Sci., 2022)

The Fast Johnson-Lindenstrauss Transform Is Even Faster. - Ora Nova Fandina; Mikael Møller Høgsgaard; Kasper Green Larsen (ICML, 2023)

Barriers for Faster Dimensionality Reduction. - Ora Nova Fandina; Mikael Møller Høgsgaard; Kasper Green Larsen (STACS, 2023)

Unveiling Safety Vulnerabilities of Large Language Models. - George Kour; Marcel Zalmanovici; Naama Zwerdling; Esther Goldbraich; Ora Nova Fandina; Ateret Anaby-Tavor; Orna Raz; Eitan Farchi (CoRR, 2023)

Can You Trust Your Metric? Automatic Concatenation-Based Tests for Metric Validity. - Ora Nova Fandina; Leshem Choshen; Eitan Farchi; George Kour; Yotam Perlitz; Orna Raz (CoRR, 2024)

Exploring Straightforward Conversational Red-Teaming. - George Kour; Naama Zwerdling; Marcel Zalmanovici; Ateret Anaby-Tavor; Ora Nova Fandina; Eitan Farchi (CoRR, 2024)

Exploring Straightforward Methods for Automatic Conversational Red-Teaming. - George Kour; Naama Zwerdling; Marcel Zalmanovici; Ateret Anaby-Tavor; Ora Nova Fandina; Eitan Farchi (NAACL (Industry Track), 2025)

Automated Validation of LLM-based Evaluators for Software Engineering Artifacts. - Ora Nova Fandina; Eitan Farchi; Shmulik Froimovich; Rami Katan; Alice Podolsky; Orna Raz; Avi Ziv (CoRR, 2025)