[123] A. Permenev, D. Dimitrov, P. Tsankov, D. Drachsler-
Cohen and M. Vechev, "VerX:
Safety Verification of
Smart Contracts," in
2020 IEEE Symposium on Security
and Privacy, San Francisco, CA, US, 2020.
[124] A. Kosba, A. Miller, E. Shi, Z. Wen and C.
Papamanthou, "Hawk: The Blockchain Model of
Cryptography and Privacy-Preserving Smart Contracts,"
in
2016 IEEE Symposium on Security and Privacy, 2016.
[125] M. Tran, L. Luu, M. S. Kang, I. Bentov and P. Saxena,
"Obscuro: A Bitcoin Mixer using Trusted Execution
Environments," in
34th Annual Computer Security
Applications Conference (ACSAC), 2018.
[126] T. Kerber, A. Kiayias, M. Kohlweiss and V. Zikas,
"Ouroboros Crypsinous:
Privacy-Preserving Proof-of-
Stake," in
2019 IEEE Symposium on Security and
Privacy, San Francisco, CA, USA, 2019.
[127] S. Matetic, K. Wüst, M. Schneider, K. Kostiainen, G.
Karame and S. Capkun, "Bite: Bitcoin Lightweight
Client Privacy
using Trusted Execution," in
28th
USENIX Security Symposium, Santa Clara, CA, USA,
2019.
[128] S. Bowe, A. Chiesa, M. Green, I. Miers, P. Mishra and
H. Wu, "Zexe: Enabling Decentralized Private
Computation," in
2020 IEEE Symposium on Security and
Privacy, San Francisco, CA, US, 2020.
[129] F. Tramèr, D. Boneh and K. Paterson, "Remote Side-
Channel Attacks on Anonymous Transactions," in
29th
USENIX Security Symposium, 2020.
[130] T. Wright, "Four-Year
Anniversary of Bitfinex Hack,
and $12M of Stolen BTC Moved," Cointelegraph, Aug
4, 2020.
[131] Ethereum, "Upgrading Ethereum to radical new
heights," https://ethereum.org/en/eth2/, March 1, 2021.
[132] S. Dziembowski, L. Eckey, S. Faust and D. Malinowski,
"Perun: Virtual Payment Hubs over Cryptocurrencies,"
in
40th IEEE Symposium on Security and Privacy, San
Francisco, CA, USA, 2019.
[133] P. Gazi, A. Kiayias and D. Zindros, "Proof-of-Stake
Sidechains," in
40th IEEE Symposium on Security and
