photo de profil d'un membre

Vidal Attias

Résumé

I am a Cybersecurity PhD candidate at CEA List (French nuclear energy commission) and Loria (Lorraine University) working under the direction of Pr. Jean-Yves Marion and Grégoire Menguy. I focus on automating deobfuscation of binary code, investigating black-box techniques, such as code synthesis guided by input/output examples. I have experience in research in blockchain, networking and applied cryptography. I have formerly been working on Verifiable Delay Functions (VDF) and low level implementation as well as their integration in the IOTA protocol. I have experience with theoretical studies, in-depth understanding of multi-precision computing libraries such as OpenSSL and excellent interpersonal skills.

Expériences professionnelles

Researcher phd candidate

CEA SACLAY

Depuis le 02 octobre 2023

Research intern

INSTITUT DE BIOLOGIE DE L'ECOLE NORMALE SUPÉRIEURE

De Mars 2021 à Septembre 2021

I was working under the supervision of Pr. David Naccache from the Information Security Group lab of École normale supérieure de Paris on various topics such as blockchain, graph theory and visualization.

Researcher

IOTA FOUNDATION

De Mai 2019 à Août 2022

I am part of the Networking team and our goal is to build the networking layer of the IOTA protocol for the Coordicide project.

As part of this team, I have participated in various projects,

VDF Research : I have been investigating the research on Verifiable Delay Functions as a replacement of Proof of Work for the IOTA protocol as a rate control mechanism. This project is also part of a collaboration with the VDF Alliance, a consortium of researchers from Supranational, Ethereum, Tezos... As a mean of this research, I have built a VDF simulator, studied multiexponentiation algorithms in order to optimize the performances and it has lead to several publications..

Networking Research : The Network team is currently designing different congestion control algorithms specifically designed for Distributed Ledger Technologies (DLT) constraints and we are investigating a new protocol which ensures security with high throughput. For this we have formally designed an algorithm, developed a simulator and a testing toy network for validation.

Research intern, networking team

LABORATOIRE DES SCIENCES DE L'IMAGE, DE L'INFORMATIQUE ET DE LA TÉLÉDÉTECTION

De Mai 2018 à Juillet 2018

Internship during École Normale Supérieure scholarship in a public research lab, I worked on the IOTA cryptocurrency, establishing and analyzing new properties of the DAG based Tangle structure. I wrote a simulator in C++ in order to run my analyzes.

Parcours officiels

Langues

Français - Langue maternelle

Anglais - Courant

Hébreu - Notions

Espagnol - Notions

Compétences

Research
Système d’exploitation
Cybersécurité
Architecture réseau
Programmation
C
Algorithmes
Informatique
C++
Python
Recherche
OCaml
LaTeX
Linux
Réseaux informatiques
HTML