PoVSmith automates PoV test generation for library vulnerabilities in apps via call paths and LLM feedback, correctly identifying 96% of entry points and producing effective attack tests in 55% of 33 evaluated Java pairs.
In: 2023 IEEE International Conference on Cyber Security and Resilience (CSR), pp
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 3
citation-polarity summary
fields
cs.CR 3years
2026 3verdicts
UNVERDICTED 3roles
background 2polarities
background 2representative citing papers
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
A microservices platform integrates endpoint telemetry with BERT-based NLP models for real-time detection and alerting on security threats and hate speech, reporting 87% average accuracy on text classification.
citing papers explorer
-
Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
PoVSmith automates PoV test generation for library vulnerabilities in apps via call paths and LLM feedback, correctly identifying 96% of entry points and producing effective attack tests in 55% of 33 evaluated Java pairs.
-
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
Evidence-based taxonomy of security properties with first-order logic definitions and ProVerif/Tamarin executable examples derived from a 2022-2025 literature review of 53 studies.
-
A microservices-based endpoint monitoring platform with predictive NLP models for real-time security and hate-speech risk alerting
A microservices platform integrates endpoint telemetry with BERT-based NLP models for real-time detection and alerting on security threats and hate speech, reporting 87% average accuracy on text classification.