End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli. End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Volume 13372 of Lecture Notes in Computer Science, pages 293-316, Springer, 2022. [doi]

This author has not been identified. Look up 'Shenghao Yuan' in GoogleThis author has not been identified. Look up 'Frédéric Besson' in GoogleThis author has not been identified. Look up 'Jean-Pierre Talpin' in GoogleThis author has not been identified. Look up 'Samuel Hym' in GoogleThis author has not been identified. Look up 'Koen Zandberg' in GoogleThis author has not been identified. Look up 'Emmanuel Baccelli' in Google

runs on WebDSL