共 50 条
- [1] WebAssembly - Hope for Fast Acceleration of Web Applications Using Java']JavaScript INFORMATION SYSTEMS ARCHITECTURE AND TECHNOLOGY, ISAT 2019, PT I, 2020, 1050 : 275 - 284
- [3] Analysis of JavaScript web applications using SAFE 2.0 Proc. - IEEE/ACM Int. Conf. Softw. Eng. Companion, ICSE-C, 1600, (59-62):
- [4] Formally Verified Cryptographic Web Applications in WebAssembly 2019 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2019), 2019, : 1256 - 1274
- [5] Fast physics on the web using C++, javascript, and emscripten Zakai, Alon (alonzakai@gmail.com), 2018, IEEE Computer Society (20): : 11 - 19
- [6] Formally verified cryptographic web applications in webassembly Proceedings - IEEE Symposium on Security and Privacy, 2019, 2019-May : 1256 - 1274
- [7] Empowering Web Applications with WebAssembly: Are We There Yet? 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING ASE 2021, 2021, : 1301 - 1305
- [8] Analysis of Java']JavaScript Web Applications Using SAFE 2.0 PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 59 - 62