Search for persons
X
?
2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM) ,
1
Change Pattern Detection for Optimising Incremental Static ..:
, In:
?
2023 IEEE International Conference on Software Maintenance and Evolution (ICSME) ,
2
Dynamic Slicing of WebAssembly Binaries:
, In:
?
2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR) ,
3
Wasmizer: Curating WebAssembly-driven Projects on GitHub:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
4
Result Invalidation for Incremental Modular Analyses:
, In:
?
2022 IEEE International Conference on Software Maintenance and Evolution (ICSME) ,
6
Developers Struggle with Authentication in Blazor WebAssemb..:
, In:
?
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ,
7
Static Stack-Preserving Intra-Procedural Slicing of WebAsse..:
, In:
?
Proceedings of the 44th International Conference on Software Engineering ,
8
Static stack-preserving intra-procedural slicing of webasse..:
, In:
?
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing ,
9
Security risks of porting C programs to webassembly:
, In:
?
2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM) ,
10
Summary-Based Compositional Analysis for Soft Contract Veri..:
, In:
?
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) ,
11
The Security Risk of Lacking Compiler Protection in WebAsse..:
, In:
?
2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM) ,
15