Search for persons
X
?
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results ,
1
Synthesis of Allowlists for Runtime Protection against SQLi:
, In:
?
Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses ,
4
Macaron: A Logic-based Framework for Software Supply Chain ..:
, In:
?
Formal Methods for an Informal World; Lecture Notes in Computer Science ,
6
Security Research: Program Analysis Meets Security:
, In:
?
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) ,
10
Synthesis of Java Deserialisation Filters from Examples:
, In:
?
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ,
11
Scalable string analysis: an experience report:
, In:
?
Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
12
MoScan: a model-based vulnerability scanner for web single ..:
, In:
?
Proceedings of the 3rd International Conference on Technical Debt ,
13
Trade-offs in managing risk and technical debt in industria..:
, In:
?
2020 IEEE Secure Development (SecDev) ,
15