Iván Abellán Álvarez

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Theorem Proving

Max Sum Algorithm

Information Security

Top Venues

Publications

Renan Lima Baima, Iván Abellán Álvarez, Ivan Pavic, Emanuela Podda
Public Sector Sustainable Energy Scheduler - A Blockchain and IoT Integrated System. CoRR (2024)
Iván Abellán Álvarez, Vincent Gramlich, Johannes Sedlmeir
Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake. SAC (2024)
Iván Abellán Álvarez, Vincent Gramlich, Johannes Sedlmeir
Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake. CoRR (2024)
Egor Ermolaev, Iván Abellán Álvarez, Johannes Sedlmeir, Gilbert Fridgen
z-Commerce: Designing a Data-Minimizing One-Click Checkout Solution. DESRIST (2023)
Zakwan Jaroucheh, Iván Abellán Álvarez
Secretation: Toward a Decentralised Identity and Verifiable Credentials Based Scalable and Decentralised Secret Management Solution. IEEE ICBC (2021)