Hierarchical and Explainable Forensics of Manipulated Facial Images

Ioana-Alexandra Tonu, Sebastian Tonu and Otilia Zvoristeanu

End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: the Case of CVE-2026-6741

Catalin-Andrei Chirita, Paul Mihai Valase, Ramon Mateas, Fineas Silaghi and Cristian Cira

Multilingual Phishing Email Generation and Detection: A Synthetic Data Pipeline with GRPO Fine-Tuning

Gabriela-Adelina Gherghe and Mihai Dascǎlu

Performance Evaluation of the Naccache-Stern Trapdoor Scheme Vs. NIST P-256 and Curve25519 in Classical and NISQ Environments

Daria-Maria Berca

A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems

Tiberiu-Alexandru Badoi and Andrei Olaru

Computational Improvements to the Frobenius Method for Computing the Series Solutions to Linear Ordinary Differential Equations at a Regular Singular Point

Greg Solis-Reyes and Marc Moreno Maza

OpenRoGrid: a Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting

Andrei-Sebastian Duță and Ciprian-Mihai Ceausescu

Formalization of fragments of the theory of hereditarily finite sets

Zuzana Haniková and Štěpán Holub

Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net

Cristina-Diana Savin and Ciprian-Mihai Ceausescu

Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking

Janis Kröger, Paul Kröger and Martin Fränzle

The Search for Sharac Quandles

Robert W. McGrail, Karomat Alimova, Husna Manalai and Bermet Sultangazieva

FPScan: an Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection

Julien Bortolussi, Dorra Ben Khalifa and Pierre-Loic Garoche

A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines

Flavio Ferrarotti and Klaus-Dieter Schewe

Minimum-Cost Electoral Manipulation Under Media Influence: Hardness, Approximation, and Algorithms

Adrian Miclaus, Luca Mureșan and Alexandru Popa

An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation

Iosua-Patrik Bălăban, Harold-Nimrod Foldvari and Florin Craciun

Program and Proof in F* of an LTL Model Checking Algorithm

Stéphane Aubry, Franck Butelle, Sami Evangelista and Micaela Mayero

Monomial and Graded Orders in Rocq

Sylvie Boldo, Francois Clement, Vincent Martin and Micaela Mayero

The Minimal Essence of Higher-Order Functions in Maude

Federico Bruzzone, Lorenzo Capra, Walter Cazzola and Carlos Olarte