Benjamin Livshits

From MaRDI portal
Person:2145356

Available identifiers

zbMath Open livshits.benjaminMaRDI QIDQ2145356

List of research outcomes





PublicationDate of PublicationType
zk-Bench: a toolset for comparative evaluation and performance benchmarking of SNARKs2025-01-10Paper
Attacking the DeFi ecosystem with flash loans for fun and profit2022-06-17Paper
Data-parallel string-manipulating programs2016-09-29Paper
Program boosting: program synthesis via crowd-sourcing2016-09-29Paper
Symbolic finite state transducers2015-09-11Paper
Fully abstract compilation to JavaScript2014-11-27Paper
Towards fully automatic placement of security sanitizers and declassifiers2014-11-27Paper
Programming Languages and Systems2006-10-20Paper

Research outcomes over time

This page was built for person: Benjamin Livshits

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2145356&oldid=7413760"
Powered by MediaWiki