Browse by UCL people
Group by: Type | Date
Number of items: 40.
2024
Chaliasos, S;
Galanopoulou, R;
Charalambous, MA;
Gervais, A;
Livshits, B;
Zhou, L;
Mitropoulos, D;
(2024)
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
In:
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering.
(pp. pp. 1-13).
ACM (Association for Computing Machinery)
|
|
Chaliasos, Stefanos;
Charalambous, Marcos Antonios;
Zhou, Liyi;
Galanopoulou, Rafaila;
Gervais, Arthur;
Mitropoulos, Dimitris;
Livshits, Benjamin;
(2024)
Smart Contract and DeFi Security Tools:
Do They Meet the Needs of Practitioners?
In:
Proceedings of the 46th International Conference on Software Engineering (ICSE 2024).
(pp. art no-60).
Association for Computing Machinery (ACM): Lisbon, Portugal.
|
|
Ding, Y;
Gervais, A;
Wattenhofer, R;
Sato, H;
(2024)
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification.
In:
Proceedings - International Conference on Software Engineering.
(pp. pp. 324-325).
Association for Computing Machinery (ACM): Lisbon, Portugal.
|
 |
|
Ding, Yepeng;
Gervais, Arthur;
Wattenhofer, Roger;
Sato, Hiroyuki;
(2024)
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification.
arXiv.org: Ithaca, NY, United States.
|
|
Yaish, Aviv;
Qin, Kaihua;
Zhou, Liyi;
Zohar, Aviv;
Gervais, Arthur;
(2024)
Speculative Denial-of-Service Attacks in Ethereum.
In:
Proceedings of the 33rd USENIX Security Symposium.
(pp. pp. 3531-3548).
USENIX: Philadelphia, PA, USA.
|
|
2023
|
Ernstberger, Jens;
Lauinger, Jan;
Elsheimy, Fatima;
Zhou, Liyi;
Steinhorst, Sebastian;
Canetti, Ran;
Miller, Andrew;
... Song, Dawn; + view all
(2023)
SoK: Data Sovereignty.
In:
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P).
(pp. pp. 122-143).
IEEE: Delft, Netherlands.
|
|
Feng, Ding;
Hitsch, Rupert;
Qin, Kaihua;
Gervais, Arthur;
Wattenhofer, Roger;
Yao, Yaxing;
Wang, Ye;
(2023)
DeFi Auditing: Mechanisms, Effectiveness, and User Perceptions.
In: Essex, Aleksander and Matsuo, Shin'ichiro and Kulyk, Oksana and Gudgeon, Lewis and Klages-Mundt, Ariah and Perez, Daniel and Werner, Sam and Bracciali, Andrea and Goodell, Geoff, (eds.)
Financial Cryptography and Data Security. FC 2023 International Workshops: FC 2023.
(pp. pp. 320-336).
Springer: Cham, Switzerland.
|
|
Qin, K;
Chaliasos, S;
Zhou, L;
Livshits, B;
Song, D;
Gervais, A;
(2023)
The Blockchain Imitation Game.
In:
SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium.
(pp. pp. 3961-3978).
Association for Computing Machinery (ACM)
|
|
Wang, Zhipeng;
Chaliasos, Stefanos;
Qin, Kaihua;
Zhou, Liyi;
Gao, Lifeng;
Berrang, Pascal;
Livshits, Benjamin;
(2023)
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy.
In: Ding, Ying and Tang, Jie and Sequeda, Juan and Aroyo, Lora and Castillo, Carlos and Houben, Geert-Jan, (eds.)
WWW '23: Proceedings of the ACM Web Conference 2023.
(pp. pp. 2022-2032).
ACM (Association for Computing Machinery): New York, NY, USA.
|
|
Zhou, L;
Xiong, X;
Ernstberger, J;
Chaliasos, S;
Wang, Z;
Wang, Y;
Qin, K;
... Gervais, A; + view all
(2023)
SoK: Decentralized Finance (DeFi) Attacks.
In:
Proceedings - IEEE Symposium on Security and Privacy.
(pp. pp. 2444-2461).
IEEE: San Francisco, CA, USA.
|
2022
|
Chaliasos, S;
Gervais, A;
Livshits, B;
(2022)
A study of inline assembly in solidity smart contracts.
Proceedings of the ACM on Programming Languages
, 6
(OOPSLA2)
, Article 165. 10.1145/3563328.
|
|
Chaliasos, Stefanos;
Sotiropoulos, Thodoris;
Spinellis, Diomidis;
Gervais, Arthur;
Livshits, Benjamin;
Mitropoulos, Dimitris;
(2022)
Finding typing compiler bugs.
In:
PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation.
(pp. pp. 183-198).
Association for Computing Machinery (ACM): San Diego, CA, USA.
|
|
Qin, Kaihua;
Zhou, Liyi;
Gervais, Arthur;
(2022)
Quantifying Blockchain Extractable Value: How dark is the forest?
In:
2022 IEEE Symposium on Security and Privacy (SP).
(pp. pp. 198-214).
IEEE: San Francisco, CA, USA.
|
|
Wang, Zhipeng;
Chaliasos, Stefanos;
Qin, Kaihua;
Zhou, Liyi;
Gao, Lifeng;
Berrang, Pascal;
Livshits, Ben;
(2022)
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy.
arXiv.org: Ithaca (NY), USA.
|
|
Zhipeng, Wang;
Qin, Kaihua;
Minh, Duc Vu;
Gervais, Arthur;
(2022)
Speculative Multipliers on DeFi: Quantifying On-Chain Leverage Risks.
In: Eyal, I and Garay, J, (eds.)
Financial Cryptography and Data Security. FC 2022.
(pp. pp. 38-56).
Springer: Cham, Switzerland.
|
2021
|
Ferreira Torres, C;
Iannillo, AK;
Gervais, A;
State, R;
(2021)
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts.
In:
International Conference on Financial Cryptography and Data Security FC 2021: Financial Cryptography and Data Security.
(pp. pp. 33-52).
Springer, Cham
|
|
Le, Duc V;
Gervais, Arthur;
(2021)
AMR: autonomous coin mixer with privacy preserving reward distribution.
In:
AFT '21: Proceedings of the 3rd ACM Conference on Advances in Financial Technologies.
(pp. pp. 142-155).
ACM
|
|
Qin, Kaihua;
Zhou, Liyi;
Livshits, Benjamin;
Gervais, Arthur;
(2021)
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit.
In:
International Conference on Financial Cryptography and Data Security FC 2021: Financial Cryptography and Data Security.
(pp. pp. 3-32).
Springer, Berlin, Heidelberg
|
|
Song, D;
Wattenhofer, R;
Gervais, A;
Jovanovic, P;
(2021)
Chairs' introduction and welcome to DeFi 2021.
In:
DeFi '21: Proceedings of the 2021 ACM CCS Workshop on Decentralized Finance and Security.
(pp. iii-iii).
ACM, New York, NY, United States
|
|
Torres, Christof Ferreira;
Iannillo, Antonio Ken;
Gervais, Arthur;
State, Radu;
(2021)
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts.
In:
2021 IEEE European Symposium on Security and Privacy (EuroS&P).
(pp. pp. 103-119).
IEEE: Vienna, Austria.
|
|
Zhou, Liyi;
Qin, Kaihua;
Cully, Antoine;
Livshits, Benjamin;
Gervais, Arthur;
(2021)
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols.
In:
2021 IEEE Symposium on Security and Privacy (SP).
(pp. pp. 919-936).
IEEE: San Francisco, CA, USA.
|
|
Zhou, Liyi;
Qin, Kaihua;
Torres, Christof Ferreira;
Le, Duc V;
Gervais, Arthur;
(2021)
High-Frequency Trading on Decentralized On-Chain Exchanges.
In:
2021 IEEE Symposium on Security and Privacy (SP).
(pp. pp. 428-445).
IEEE: San Francisco, CA, USA.
|
2020
|
Gudgeon, Lewis;
Moreno-Sanchez, Pedro;
Roos, Stefanie;
McCorry, Patrick;
Gervais, Arthur;
(2020)
SoK: Layer-Two Blockchain Protocols.
In:
International Conference on Financial Cryptography and Data Security FC 2020: Financial Cryptography and Data Security.
(pp. pp. 201-226).
Springer, Cham
|
|
Gudgeon, Lewis;
Perez, Daniel;
Harz, Dominik;
Livshits, Benjamin;
Gervais, Arthur;
(2020)
The Decentralized Financial Crisis.
In:
2020 Crypto Valley Conference on Blockchain Technology (CVCBT).
IEEE: Rotkreuz, Switzerland.
|
|
Janin, Simon;
Qin, Kaihua;
Mamageishvili, Akaki;
Gervais, Arthur;
(2020)
FileBounty: Fair Data Exchange.
In:
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
(pp. pp. 357-366).
IEEE: Genoa, Italy.
|
2019
|
Qin, Kaihua;
Hadass, Henryk;
Gervais, Arthur;
Reardon, Joel;
(2019)
Applying Private Information Retrieval to Lightweight Bitcoin Clients.
In:
2019 Crypto Valley Conference on Blockchain Technology (CVCBT).
(pp. pp. 60-72).
IEEE: Rotkreuz, Switzerland.
|
|
Zamyatin, Alexei;
Harz, Dominik;
Lind, Joshua;
Panayiotou, Panayiotis;
Gervais, Arthur;
Knottenbelt, William;
(2019)
XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets.
In:
2019 IEEE Symposium on Security and Privacy (SP).
(pp. pp. 193-210).
IEEE: San Francisco, CA, USA.
|
2018
|
Ritzdorf, Hubert;
Wust, Karl;
Gervais, Arthur;
Felley, Guillaume;
Capkun, Srdjan;
(2018)
TLS-N: Non-repudiation over TLS Enabling Ubiquitous Content Signing.
In:
Proceedings 2018 Network and Distributed System Security Symposium.
Internet Society: San Diego, CA, USA.
|
|
Tsankov, Petar;
Dan, Andrei;
Drachsler-Cohen, Dana;
Gervais, Arthur;
Bünzli, Florian;
Vechev, Martin;
(2018)
Securify: Practical Security Analysis of Smart Contracts.
In:
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security.
(pp. pp. 67-82).
ACM: Toronto, Canada.
|
|
Wust, Karl;
Gervais, Arthur;
(2018)
Do you Need a Blockchain?
In:
2018 Crypto Valley Conference on Blockchain Technology (CVCBT).
(pp. pp. 45-54).
IEEE: Zug, Switzerland.
|
2017
|
Gervais, Arthur;
Filios, Alexandros;
Lenders, Vincent;
Capkun, Srdjan;
(2017)
Quantifying Web Adblocker Privacy.
In:
Computer Security – ESORICS 2017.
(pp. pp. 21-42).
Springer: Cham, Switzerland.
|
|
Khalil, Rami;
Gervais, Arthur;
(2017)
Revive: Rebalancing Off-Blockchain Payment Networks.
In:
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security.
(pp. pp. 439-453).
Association for Computing Machinery (ACM): Dallas, TX, USA.
|
|
Matetic, Sinisa;
Admed, Mansoor;
Kostiainen, Kari;
Dhar, Aritra;
Sommer, David;
Gervais, Arthur;
Juels, Ari;
(2017)
ROTE: Rollback Protection for Trusted Execution.
In:
SEC'17: Proceedings of the 26th USENIX Security Symposium.
(pp. pp. 1289-1306).
USENIX: Vancouver, BC, Canada.
|
2016
|
Gervais, Arthur;
Karame, Ghassan O;
Wüst, Karl;
Glykantzis, Vasileios;
Ritzdorf, Hubert;
Capkun, Srdjan;
(2016)
On the Security and Performance of Proof of Work Blockchains.
In:
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security.
(pp. pp. 3-16).
Association for Computing Machinery (ACM): Vienna, Austria.
|
|
Gervais, Arthur;
Ritzdorf, Hubert;
Lucic, Mario;
Lenders, Vincent;
Capkun, Srdjan;
(2016)
Quantifying location privacy leakage from transaction prices.
In: Askoxylakis, Ioannis and Ioannidis, Sotiris and Katsikas, Sokratis and Meadows, Catherine, (eds.)
ESORICS 2016: Computer Security – ESORICS 2016.
(pp. pp. 382-405).
Springer: Cham, Switzerland.
|
2015
|
Gervais, Arthur;
Ritzdorf, Hubert;
Karame, Ghassan O;
Capkun, Srdjan;
(2015)
Tampering with the Delivery of Blocks and Transactions in Bitcoin.
In:
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security.
(pp. pp. 692-705).
Association for Computing Machinery (ACM): Denver, CO, USA.
|
|
Karame, Ghassan O;
Androulaki, Elli;
Roeschlin, Marc;
Gervais, Arthur;
Čapkun, Srdjan;
(2015)
Misbehavior in Bitcoin.
ACM Transactions on Information and System Security
, 18
(1)
pp. 1-32.
10.1145/2732196.
|
2014
|
Gervais, Arthur;
Capkun, Srdjan;
Karame, Ghassan O;
Gruber, Damian;
(2014)
On the privacy provisions of Bloom filters in lightweight bitcoin clients.
In:
Proceedings of the 30th Annual Computer Security Applications Conference.
(pp. pp. 326-335).
Association for Computing Machinery (ACM): New Orleans, LA, USA.
|
|
Gervais, Arthur;
Karame, Ghassan O;
Capkun, Vedran;
Capkun, Srdjan;
(2014)
Is Bitcoin a Decentralized Currency?
IEEE Security & Privacy
, 12
(3)
pp. 54-60.
10.1109/msp.2014.49.
|
|
Gervais, Arthur;
Shokri, Reza;
Singla, Adish;
Capkun, Srdjan;
Lenders, Vincent;
(2014)
Quantifying Web-Search Privacy.
In:
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security.
(pp. pp. 966-977).
Association for Computing Machinery (ACM): Scottsdale, AZ, USA.
|
