Ulysse Pavloff

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Theorem Proving

Countermeasures

Mathematical Proofs

Top Venues

Publications

Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni
Byzantine Attacks Exploiting Penalties in Ethereum PoS. CoRR (2024)
Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni
Ethereum Proof-of-Stake under Scrutiny. SAC (2023)
Hagit Attiya, Antonella Del Pozzo, Alessia Milani, Ulysse Pavloff, Alexandre Rapetti
The Synchronization Power of Auditable Registers. OPODIS (2023)
Hagit Attiya, Antonella Del Pozzo, Alessia Milani, Ulysse Pavloff, Alexandre Rapetti
The Synchronization Power of Auditable Registers. CoRR (2023)
Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni
Ethereum Proof-of-Stake under Scrutiny. CoRR (2022)
Ulysse Pavloff, Tristan Cazenave, Jérôme Lang
Sequential Elimination Voting Games. CoRR (2022)