Alexander Hicks

According to our database, Alexander Hicks authored at least 10 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Verifying zkEVMs: Making Large Scale Formal Verification Work (Invited Talk).

Alexander Hicks

Proceedings of the 7th International Workshop on Formal Methods for Blockchains, 2026

2023

SoK: Log Based Transparency Enhancing Technologies.

Alexander Hicks

CoRR, 2023

Base Fee Manipulation in Ethereum's EIP-1559 Transaction Fee Mechanism.

Sarah Azouvi, Guy Goren, Lioba Heimbach, Alexander Hicks

Proceedings of the 37th International Symposium on Distributed Computing, 2023

2022

Transparency, Compliance, And Contestability When Code Is(n't) Law.

Alexander Hicks

Proceedings of the 2022 New Security Paradigms Workshop, 2022

Decentralisation Conscious Players and System Reliability.

Sarah Azouvi, Alexander Hicks

Proceedings of the Financial Cryptography and Data Security, 2022

2019

SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies.

Sarah Azouvi, Alexander Hicks

CoRR, 2019

Transparency Enhancing Technologies to Make Security Protocols Work for Humans.

Alexander Hicks, Steven J. Murdoch

Proceedings of the Security Protocols XXVII, 2019

2018

VAMS: Verifiable Auditing of Access to Confidential Data.

Alexander Hicks, Vasilios Mavroudis, Mustafa Al-Bassam, Sarah Meiklejohn, Steven J. Murdoch

CoRR, 2018

Incentives in Security Protocols.

Sarah Azouvi, Alexander Hicks, Steven J. Murdoch

Proceedings of the Security Protocols XXVI, 2018

Smart Contracts for Bribing Miners.

Patrick McCorry, Alexander Hicks, Sarah Meiklejohn

Proceedings of the Financial Cryptography and Data Security, 2018