Lexi Brent

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 12

Top Topics

Contractual Obligations

Database Management Systems

Security Analysis

Declarative Knowledge

Top Venues

Internet Measurement Conference

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Uwe Röhm, Lexi Brent, Tim Dawborn, Bryn Jeffries
SQL for Data Scientists: Designing SQL Tutorials for Scalable Online Teaching. Proc. VLDB Endow. 13 (12) (2020)
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
Ethainter: a smart contract security analyzer for composite vulnerabilities. PLDI (2020)
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
MadMax: analyzing the out-of-gas world of smart contracts. Commun. ACM 63 (10) (2020)
Kalana Abeywardena, Jiawei Zhao, Lexi Brent, Suranga Seneviratne, Ralph Holz
Triplet Mining-based Phishing Webpage Detection. LCN (2020)
Lexi Brent, Alan D. Fekete
A Versatile Framework for Painless Benchmarking of Database Management Systems. ADC (2019)
Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
Gigahorse: thorough, declarative decompilation of smart contracts. ICSE (2019)
Quirin Scheitle, Taejoong Chung, Johanna Amann, Oliver Gasser, Lexi Brent, Georg Carle, Ralph Holz, Jens Hiller, Johannes Naab, Roland van Rijswijk-Deij, Oliver Hohlfeld, David R. Choffnes, Alan Mislove
Measuring Adoption of Security Additions to the HTTPS Ecosystem. ANRW (2018)
Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, François Gauthier, Vincent Gramoli, Ralph Holz, Bernhard Scholz
Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR (2018)
Quirin Scheitle, Oliver Gasser, Theodor Nolte, Johanna Amann, Lexi Brent, Georg Carle, Ralph Holz, Thomas C. Schmidt, Matthias Wählisch
The Rise of Certificate Transparency and Its Implications on the Internet Ecosystem. Internet Measurement Conference (2018)
Quirin Scheitle, Oliver Gasser, Theodor Nolte, Johanna Amann, Lexi Brent, Georg Carle, Ralph Holz, Thomas C. Schmidt, Matthias Wählisch
The Rise of Certificate Transparency and Its Implications on the Internet Ecosystem. CoRR (2018)
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis
MadMax: surviving out-of-gas conditions in Ethereum smart contracts. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Johanna Amann, Oliver Gasser, Quirin Scheitle, Lexi Brent, Georg Carle, Ralph Holz
Mission accomplished?: HTTPS security after diginotar. Internet Measurement Conference (2017)