EthIR: A Framework for High-Level Analysis of Ethereum Bytecode von Albert, Elvira, Gordillo, Pablo, Livshits, Benjamin, Rubio, Albert, Sergey, Ilya

Volltext

Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit von Qin, Kaihua, Zhou, Liyi, Livshits, Benjamin, Gervais, Arthur

Volltext

On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols von Zhou, Liyi, Qin, Kaihua, Cully, Antoine, Livshits, Benjamin, Gervais, Arthur

Volltext

Rozzle: De-cloaking Internet Malware von Kolbitsch, C., Livshits, B., Zorn, B., Seifert, C.

Volltext

Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings von Barthe, Gilles, Livshits, Ben, Scandariato, Riccardo

Volltext

An Empirical Study on the Effectiveness of Security Code Review von Edmundson, Anne, Holtkamp, Brian, Rivera, Emanuel, Finifter, Matthew, Mettler, Adrian, Wagner, David

Volltext

Fast: A Transducer-Based Language for Tree Manipulation von D'antoni, Loris, Veanes, Margus, Livshits, Benjamin, Molnar, David

Volltext

ZKSENSE: A Friction-less Privacy-Preserving Human Attestation Mechanism for Mobile Devices von Querejeta-Azurmendi, Iñigo, Papadopoulos, Panagiotis, Varvello, Matteo, Nappa, Antonio, Zhang, Jiexin, Livshits, Benjamin

Volltext

Reflection analysis for Java von LIVSHITS, Benjamin, WHALEY, John, LAM, Monica S

Volltext

Scriptless attacks: Stealing more pie without touching the sill von Heiderich, M., Niemietz, M., Schuster, F., Holz, T., Schwenk, J.

Volltext

Short Paper: Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers von Silva, Maria Inês, Livshits, Benjamin

Volltext bestellen

Typed-based verification of Web sandboxes von Gibbs Politz, Joe, Guha, Arjun, Krishnamurthi, Shriram

Volltext

AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications von Kiciman, Emre, Livshits, Benjamin

Volltext

zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs von Ernstberger, Jens, Chaliasos, Stefanos, Kadianakis, George, Steinhorst, Sebastian, Jovanovic, Philipp, Gervais, Arthur, Livshits, Benjamin, Orrù, Michele

Volltext

AjaxScope : A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications von KICIMAN, Emre, LIVSHITS, Benjamin

Volltext

Towards fully automatic placement of security sanitizers and declassifiers von Livshits, Benjamin, Chong, Stephen

Volltext

A Public Dataset For the ZKsync Rollup von Silva, Maria Inês, Messias, Johnnatan, Livshits, Benjamin

Volltext bestellen

Towards a Formal Foundation for Blockchain Rollups von Chaliasos, Stefanos, Firsov, Denis, Livshits, Benjamin

Volltext bestellen

Anatomy of Exploit Kits: Preliminary Analysis of Exploit Kits as Software Artefacts von Kotov, Vadim, Massacci, Fabio

Volltext

SoK: Decentralized Sequencers for Rollups von Motepalli, Shashank, Freitas, Luciano, Livshits, Benjamin

Volltext bestellen