Lexi Brent
Lexi Brent
Networking & Security Group, International Computer Science Institute (ICSI)
Verified email at icsi.berkeley.edu
Title
Cited by
Cited by
Year
Madmax: Surviving out-of-gas conditions in ethereum smart contracts
N Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y Smaragdakis
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
1042018
Vandal: A scalable security analysis framework for smart contracts
L Brent, A Jurisevic, M Kong, E Liu, F Gauthier, V Gramoli, R Holz, ...
arXiv preprint arXiv:1809.03981, 2018
732018
Mission accomplished? HTTPS security after DigiNotar
J Amann, O Gasser, Q Scheitle, L Brent, G Carle, R Holz
Proceedings of the 2017 Internet Measurement Conference, 325-340, 2017
582017
Gigahorse: thorough, declarative decompilation of smart contracts
N Grech, L Brent, B Scholz, Y Smaragdakis
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
192019
The rise of certificate transparency and its implications on the internet ecosystem
Q Scheitle, O Gasser, T Nolte, J Amann, L Brent, G Carle, R Holz, ...
Proceedings of the Internet Measurement Conference 2018, 343-349, 2018
162018
Measuring Adoption of Security Additions to the HTTPS Ecosystem
Q Scheitle, T Chung, J Amann, O Gasser, L Brent, G Carle, R Holz, J Hiller, ...
Proceedings of the Applied Networking Research Workshop, 1-2, 2018
32018
A versatile framework for painless benchmarking of database management systems
L Brent, A Fekete
Australasian Database Conference, 45-56, 2019
22019
Ethainter: a smart contract security analyzer for composite vulnerabilities.
L Brent, N Grech, S Lagouvardos, B Scholz, Y Smaragdakis
PLDI, 454-469, 2020
12020
MadMax: Analyzing the Out-of-Gas World of Smart Contracts
N Grech, M Kong, A Jurisevic, L Brent, B Scholz, Y Smaragdakis
COMMUNICATIONS OF THE ACM 63 (6), 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–9