1 citations · 1 across the 5 of their papers we have counts for
5 papers
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…
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…
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…
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
Benjamin Rouxel, Christopher Brown, Emad Ebeid +14
Non-functional properties, such as energy, time, and security (ETS) are becoming increasingly important in Cyber-Physical Systems (CPS) programming. This article describes TeamPlay…
A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version)
Yoann Marquer, Tania Richmond, Pascal Véron
The iterative conditional branchings appear in various sensitive algorithms, like the modular exponentiation in the RSA cryptosystem or the scalar multiplication in ellipticcurve c…