Dayane Horkos

Dayane Horkos

Cryptography Researcher · Paris

Researcher at the intersection of cybersecurity, cryptography, and applied mathematics. My work focuses on enhancing multi-cloud storage security — ensuring data confidentiality, availability, and integrity across distributed platforms. Passionate about the mathematical foundations of cryptography and committed to advancing secure data management.

↓ Curriculum Vitae

Research & Publications

SoK: On Cryptography for Multi-Cloud Storage

2024–2025 · Working Paper · Sorbonne Université / LRE / Astran

A Systematization of Knowledge on cryptographic techniques in Multi-Cloud Storage. Classifies existing MCS approaches along two dimensions — architectural trust models and the cryptographic primitives used to achieve confidentiality, integrity, availability, access control, and auditability. Introduces a unified taxonomy, highlights recurring design patterns, and identifies open research gaps.

Multi-Cloud Storage Secret Sharing Threshold Primitives MPC Erasure Coding Trust Models SoK

PhD Thesis — in progress

2025–2028 · Sorbonne Université · CIFRE — LRE (EPITA) & Astran

Designing and developing advanced cryptographic algorithms for multi-cloud storage. Research explores keyless and untrusted-proxy models, post-quantum cryptographic integration, and formal security proofs for distributed architectures.

Multi-Cloud Post-Quantum Formal Proofs CIFRE Keyless Protocols

Research Interests

Ongoing

Distributed storage security · Threshold cryptography · Secret sharing schemes · Proxy re-encryption · Multi-party computation · Formal game-based proofs · Post-quantum cryptographic primitives · Information dispersal algorithms.

Experience

Oct 2024 — present

Cryptography Researcher — CDI (CIFRE)

Astran · Paris, France

Research and development in cryptographic primitives for distributed multi-cloud storage. Spans threshold protocols, secret sharing, MPC, and formal game-based security proofs.

Mar–Sep 2024

R&D Internship in Cryptography

Astran · Paris, France

Distributed storage primitives, threshold schemes, multi-cloud protocols, and formal security proofs. Led to the SoK publication and the CIFRE PhD contract.

Jan 2023

University Projects

Université Paris-Saclay · Versailles

Fault injection attack on DES (C++) · Attack on a simplified RSA scheme (C).

2020 — 2022

Mathematics Tutor

Private · Lebanon

Tutored undergraduate engineering students in analysis and algebra.

Education

2025 — 2028

PhD — CIFRE in Cryptography

Sorbonne Université · LRE (EPITA) & Astran · Paris

Designing advanced cryptographic algorithms for multi-cloud storage.

2023 — 2024

Master 2 — Applied Algebra & Cryptography

Université Paris-Saclay · Versailles · Mention Bien

IDEX Excellence Scholarship. Advanced algorithms, algebraic complexity, elliptic curves, algebraic geometry, effective algebra.

2022 — 2023

Master 1 — Applied Algebra & Cryptography

Université Paris-Saclay · Versailles

IDEX Excellence Scholarship. Cryptography, secure computation, information theory, elliptic curves, number theory, formal computation.

2019 — 2022

Bachelor's in Mathematics

Université Libanaise · Lebanon

Instruction in English.

2018 — 2019

Baccalauréat in General Sciences

CSSTA · Lebanon · Très Bien

Instruction in French.

Skills & Languages

Programming

SageMath, Python, C, C++

Writing & Tools

LaTeX, Microsoft Word, Git

Cryptographic Areas

Secret sharing, MPC, threshold primitives, erasure coding, formal proofs

Volunteer

Lebanese Red Cross — Youth Section, since 2018

Languages

Arabic Native French DELF B2 English SAT C1