Not finding it? Sign in to also search OpenAlex live.
-
Eradicating the Unseen: Detecting, Exploiting, and Remediating a Path Traversal Vulnerability across GitHub2025 ACM Asia Conference on Computer and Communications Security (ASIA CCS) conference-paper Computer Science Web Application Security Vulnerabilities Open access
Jafar Akhoundali, Hamidreza Hamidi, Kristian F. D. Rietveld, Olga Gadyatskaya
3citations -
Eradicating the Unseen: Detecting, Exploiting, and Remediating a Path Traversal Vulnerability across GitHub2025 arXiv (Cornell University) preprint Computer Science Web Application Security Vulnerabilities Open access
Jafar Akhoundali, Hamidreza Hamidi, Kristian F. D. Rietveld, Olga Gadyatskaya
0citations -
Implementing a Secure CI/CD Pipeline for Verifiable Trust in a Federated Health Data Network2026 Studies in health technology and informatics book-chapter Computer Science Information and Cyber Security Open access
Alexander Kombeiz, Emily Wedek, Simon Hüning, Hauke Heidemeyer, Raphael W. Majeed, Rainer Röhrig, +1 more
0citations -
PASTA-4-PHT: a pipeline for automated security and technical audits for the personal health train2026 BMC Medical Informatics and Decision Making article Computer Science Security and Verification in Computing Open access
Sascha Welten, Ahmet Polat, Martin Görz, Maximilian Jugl, Laurenz Neumann, Johannes Lohmöller, +2 more
0citations -
TOSSS: a CVE-based Software Security Benchmark for Large Language Models2026 Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands other Computer Science Software Engineering Research Open access
Marc Damie, Murat Bilgehan Ertan, Domenico Essoussi, Angela Makhanu, Gaëtan Peter, Roos Wensveen
0citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Security and Verification in Computing
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
1citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
0citations -
Prompt injection attacks on vision language models in oncology2025 Nature Communications article Computer Science Adversarial Robustness in Machine Learning Open access
Jan Clusmann, Dyke Ferber, Isabella C. Wiest, Carolin Victoria Schneider, Titus Josef Brinker, Sebastian Foersch, +2 more
59citations -
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog2021 Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Luca Hanel, Dominik Šišejković, Farhad Merchant, Rainer Leupers
26citations