Not finding it? Sign in to also search OpenAlex live.
-
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
4citations -
Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques
Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Matthias Mueller
2citations -
Hard-to-Detect Fault Analysis in FinFET SRAMs2021 IEEE Transactions on Very Large Scale Integration (VLSI) Systems article Computer Science VLSI and Analog Circuit Testing Open access
Guilherme Cardoso Medeiros, Moritz Fieback, Lizhou Wu, Mottaqiallah Taouil, L. M. Bolzani Poehls, Said Hamdioui
15citations -
RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications2024 Proceedings of the International Conference on Parallel Processing conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Felix Tomski
4citations -
Dissecting Android Cryptocurrency Miners2020 ACM Conference on Data and Application Security and Privacy (CODASPY) conference-paper Computer Science Advanced Malware Detection Techniques Open access
Stanislav Dashevskyi, Yury Zhauniarovich, Olga Gadyatskaya, Aleksandr Pilgun, Hamza Ouhssain
21citations -
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 -
Per-run Algorithm Selection with Warm-starting using Trajectory-based Features2022 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access
Ana Kostovska, Anja Jankovič, Diederick Vermetten, Jacob de Nobel, Hao Wang, Tome Eftimov, +1 more
2citations -
VPS: Excavating High-Level C++ Constructs from Low-Level Binaries to Protect Dynamic Dispatching2020 arXiv (Cornell University) preprint Computer Science Security and Verification in Computing Open access
Andre Pawlowski, Victor van der Veen, Dennis Andriesse, Erik van der Kouwe, Thorsten Holz, Cristiano Giuffrida, +1 more
0citations