3 papers
cs.SE2026
SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
Yoann Marquer, Domenico Bianculli, Lionel C. Briand
Python is one of the most popular programming languages; as such, projects written in Python involve an increasing number of diverse security vulnerabilities. However, existing sta…
cs.SE2025
A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers
Yoann Marquer, Domenico Bianculli
Quantum computing, while allowing for processing information exponentially faster than classical computing, requires computations to be delegated to quantum servers, which makes se…
cs.CR2024
AIM: Automated Input Set Minimization for Metamorphic Security Testing
Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore +1
Although the security testing of Web systems can be automated by generating crafted inputs, solutions to automate the test oracle, i.e., vulnerability detection, remain difficult t…