×
Author ID: livshits.benjamin Recent zbMATH articles by "Livshits, Benjamin"
Published as: Livshits, Benjamin
Documents Indexed: 8 Publications since 2005
Co-Authors: 20 Co-Authors with 8 Joint Publications
386 Co-Co-Authors

Serials

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 34 times in 31 Documents Cited by Year
Symbolic finite state transducers: algorithms and applications. Zbl 1321.68341
Veanes, Margus; Hooimeijer, Pieter; Livshits, Benjamin; Molnar, David; Bjorner, Nikolaj
20
2012
Fully abstract compilation to JavaScript. Zbl 1301.68100
Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin
4
2013
Attacking the DeFi ecosystem with flash loans for fun and profit. Zbl 1492.91404
Qin, Kaihua; Zhou, Liyi; Livshits, Benjamin; Gervais, Arthur
4
2021
Reflection analysis for Java. Zbl 1159.68375
Livshits, Benjamin; Whaley, John; Lam, Monica S.
3
2005
Data-parallel string-manipulating programs. Zbl 1345.68035
Veanes, Margus; Mytkowicz, Todd; Molnar, David; Livshits, Benjamin
1
2015
Towards fully automatic placement of security sanitizers and declassifiers. Zbl 1301.68093
Livshits, Benjamin; Chong, Stephen
1
2013
Liquidations: DeFi on a knife-edge. Zbl 1493.91157
Perez, Daniel; Werner, Sam M.; Xu, Jiahua; Livshits, Benjamin
1
2021
Attacking the DeFi ecosystem with flash loans for fun and profit. Zbl 1492.91404
Qin, Kaihua; Zhou, Liyi; Livshits, Benjamin; Gervais, Arthur
4
2021
Liquidations: DeFi on a knife-edge. Zbl 1493.91157
Perez, Daniel; Werner, Sam M.; Xu, Jiahua; Livshits, Benjamin
1
2021
Data-parallel string-manipulating programs. Zbl 1345.68035
Veanes, Margus; Mytkowicz, Todd; Molnar, David; Livshits, Benjamin
1
2015
Fully abstract compilation to JavaScript. Zbl 1301.68100
Fournet, Cedric; Swamy, Nikhil; Chen, Juan; Dagand, Pierre-Evariste; Strub, Pierre-Yves; Livshits, Benjamin
4
2013
Towards fully automatic placement of security sanitizers and declassifiers. Zbl 1301.68093
Livshits, Benjamin; Chong, Stephen
1
2013
Symbolic finite state transducers: algorithms and applications. Zbl 1321.68341
Veanes, Margus; Hooimeijer, Pieter; Livshits, Benjamin; Molnar, David; Bjorner, Nikolaj
20
2012
Reflection analysis for Java. Zbl 1159.68375
Livshits, Benjamin; Whaley, John; Lam, Monica S.
3
2005
all top 5

Cited by 85 Authors

3 Veanes, Margus
3 Zakharov, Vladimir Anatolyevich
2 Beldiceanu, Nicolas
2 Bjørner, Nikolaj S.
2 King, Andy
2 Simonis, Helmut
2 Singh, Ranjeet K.
1 Aarts, Fides
1 Alkhalaf, Muath
1 Alur, Rajeev
1 Angeris, Guillermo
1 Arafailova, Ekaterina
1 Barré, Nicolas
1 Bartoletti, Massimo
1 Berglund, Martin
1 Besson, Frédéric
1 Bester, Willem
1 Blahoudek, František
1 Botbol, Vincent
1 Bozzelli, Laura
1 Bugliesi, Michele
1 Bultan, Tevfik
1 Calzavara, Stefano
1 Carlsson, Mats
1 Chailloux, Emmanuel
1 Chawdhary, Aziem
1 Chen, Yu-Fang
1 Chiang, Hsin-Yu James
1 Chitra, Tarun
1 Chocholatý, David
1 Corbet, Shaen
1 D’Antoni, Loris
1 Demange, Delphine
1 Deng, Chaoqiang
1 Devriese, Dominique
1 Douence, Rémi
1 Evans, Alex
1 Fisman, Dana
1 Focardi, Riccardo
1 Fülöp, Zoltán
1 Gervais, Arthur
1 Giacobazzi, Roberto
1 Gnatenko, Anton Romanovich
1 Goodell, John W.
1 Gunay, Samet
1 Harris, William R.
1 Havlena, Vojtěch
1 Holík, Lukáš
1 Hubert, Laurent
1 Ibarra, Oscar H.
1 Jha, Somesh
1 Jonsson, Bengt
1 Kaşkaloğlu, Kerem
1 Konstantinidis, Stavros
1 Le Gall, Tristan
1 Lengál, Ondřej
1 Lluch Lafuente, Alberto
1 Mamouras, Konstantinos
1 Mastroeni, Isabella
1 Minh, Duc Vu
1 Monfort, Vincent
1 Moreira, Nelma
1 Namjoshi, Kedar S.
1 Niehren, Joachim
1 Pichardie, David
1 Piessens, Frank
1 Qin, Kaihua
1 Raghothaman, Mukund
1 Reis, Rogério
1 Reps, Thomas W.
1 Sabel, David
1 Sánchez, César
1 Schmidt-Schauß, Manfred
1 Schwinghammer, Jan
1 Seshia, Sanjit Arunkumar
1 Síč, Juraj
1 Turpin, Tiphaine
1 Uijen, Johan
1 Vaandrager, Frits W.
1 van der Merwe, Brink
1 Van Strydonck, Thomas
1 Vogler, Heiko
1 Wang, Zhipeng
1 Young, Joshua
1 Yu, Fang

Citations by Year