Author:
Protzenko Jonathan,Beurdouche Benjamin,Merigoux Denis,Bhargavan Karthikeyan
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17
2. SNARKProbe: An Automated Security Analysis Framework for zkSNARK Implementations;Lecture Notes in Computer Science;2024
3. When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. A Generic Methodology for the Modular Verification of Security Protocol Implementations;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15
5. WebAssembly Beyond the Web: A Review for the Edge-Cloud Continuum;2023 3rd International Conference on Intelligent Technologies (CONIT);2023-06-23