Shoup’s Generic Group Model Limitations Necessitate Reevaluating Cryptographic Security Proofs
This research uncovers inherent limitations in Shoup's Generic Group Model, necessitating a critical reevaluation of security proofs for group-based cryptosystems.
Formalizing MEV Theory for Provable Blockchain Security
A new formal theory for Maximal Extractable Value offers a robust framework to understand and secure blockchain systems against economic attacks.
