Mojan Javaheripi

Dec 12, 2023 | microsoft.com | Mojan Javaheripi |Sebastien Bubeck |Alyssa Hughes

Marah Abdin, Jyoti Aneja, Sebastien Bubeck, Caio César Teodoro Mendes, Weizhu Chen, Allie Del Giorno, Ronen Eldan, Sivakanth Gopi, Suriya Gunasekar, Mojan Javaheripi, Piero Kauffmann, Yin Tat Lee, Yuanzhi Li, Anh Nguyen, Gustavo de Rosa, Olli Saarikivi, Adil Salim, Shital Shah, Michael Santacroce, Anh Harkirat Singh Behl, Adam Taumann Kalai, Xin Wang, Rachel Ward, Philipp Witte, Cyril Zhang, Yi Zhang Over the past few months, our Machine Learning Foundations team at Microsoft Research has...

Sep 8, 2023 | eprint.iacr.org | Kushal Babel |Yan Ji |Mahimna Kelkar |Mojan Javaheripi

Paper 2023/1338 , Cornell Tech, IC3, University of California San Diego, Cornell Tech, IC3, Cornell Tech, IC3, University of California San Diego, Cornell Tech, IC3 We introduce Lanturn: a general purpose adaptive learning-based framework for measuring the cryptoeconomic security of composed decentralized-finance (DeFi) smart contracts.