Personensuche
X
?
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering ,
2
Rapid Taint Assisted Concolic Execution (TACE):
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
ESBMC v7.4: Harnessing the Power of Intervals: (Competition..:
, In:
?
Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering ,
10
The FormAI Dataset: Generative AI in Software Security thro..:
, In:
?
2021 International Carnahan Conference on Security Technology (ICCST) ,
13
Creating effective fingerprint artefacts: a cooperative and..:
, In:
?
Security, Privacy, and Anonymity in Computation, Communication, and Storage; Lecture Notes in Computer Science ,
14
The Theory and Practice of Magic Hash Based Attacks on Ligh..:
, In:
?
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ,
15