Anca Nitulescu

According to our database, Anca Nitulescu authored at least 18 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Crossing with Confidence: Formal Analysis and Model Checking of Blockchain Bridges.

Pyrros Chaidos, Pooya Farshim, Denis Firsov, Dimitar Jetchev, Aggelos Kiayias, Markulf Kohlweiss, Anca Nitulescu

IACR Cryptol. ePrint Arch., 2026

FLIP-and-Prove R1CS.

Anca Nitulescu, Nikitas Paslis, Carla Ràfols

IACR Commun. Cryptol., 2026

2024

Anonymous, Timed and Revocable Proxy Signatures.

Ghada Almashaqbeh, Anca Nitulescu

Proceedings of the Information Security - 27th International Conference, 2024

2022

MyOPE: Malicious SecuritY for Oblivious Polynomial Evaluation.

Malika Izabachène, Anca Nitulescu, Paola de Perthuis, David Pointcheval

Proceedings of the Security and Cryptography for Networks - 13th International Conference, 2022

What Makes Fiat-Shamir zkSNARKs (Updatable SRS) Simulation Extractable?

Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac

Proceedings of the Security and Cryptography for Networks - 13th International Conference, 2022

Count Me In! Extendability for Threshold Ring Signatures.

Diego F. Aranha, Mathias Hall-Andersen, Anca Nitulescu, Elena Pagnin, Sophia Yakoubov

Proceedings of the Public-Key Cryptography - PKC 2022, 2022

SnarkPack: Practical SNARK Aggregation.

Nicolas Gailly, Mary Maller, Anca Nitulescu

Proceedings of the Financial Cryptography and Data Security, 2022

Caulk: Lookup Arguments in Sublinear Time.

Arantxa Zapico, Vitalik Buterin, Dmitry Khovratovich, Mary Maller, Anca Nitulescu, Mark Simkin

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Linear-Map Vector Commitments and Their Practical Applications.

Matteo Campanelli, Anca Nitulescu, Carla Ràfols, Alexandros Zacharakis, Arantxa Zapico

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

2021

Rinocchio: SNARKs for Ring Arithmetic.

Chaya Ganesh, Anca Nitulescu, Eduardo Soria-Vazquez

IACR Cryptol. ePrint Arch., 2021

2020

Stronger Security and Constructions of Multi-designated Verifier Signatures.

Ivan Damgård, Helene Haagh, Rebekah Mercer, Anca Nitulescu, Claudio Orlandi, Sophia Yakoubov

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

Boosting Verifiable Computation on Encrypted Data.

Dario Fiore, Anca Nitulescu, David Pointcheval

Proceedings of the Public-Key Cryptography - PKC 2020, 2020

2019

A tale of SNARKs: quantum resilience, knowledge extractability and data privacy. (Un recueil de SNARKs: sécurité quantique, extractabilité et confidentialité des données).

Anca Nitulescu

PhD thesis, 2019

Stronger Notions and Constructions for Multi-Designated Verifier Signatures.

Ivan Damgård, Helene Haagh, Rebekah Mercer, Anca Nitulescu, Claudio Orlandi, Sophia Yakoubov

IACR Cryptol. ePrint Arch., 2019

Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits.

Anca Nitulescu

Proceedings of the Progress in Cryptology - LATINCRYPT 2019, 2019

2018

Lattice-Based zk-SNARKs from Square Span Programs.

Rosario Gennaro, Michele Minelli, Anca Nitulescu, Michele Orrù

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2016

On the (In)Security of SNARKs in the Presence of Oracles.

Dario Fiore, Anca Nitulescu

Proceedings of the Theory of Cryptography - 14th International Conference, 2016

Robust Password-Protected Secret Sharing.

Michel Abdalla, Mario Cornejo, Anca Nitulescu, David Pointcheval

Proceedings of the Computer Security - ESORICS 2016, 2016