output
20062026
most citedA Generic Model of Contracts for Embedded Systems

30 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2021Show all

2 papers · 1 filter

cs.AI2021

Realistic simulation of users for IT systems in cyber ranges

Alexandre Dey, Benjamin Costé, Éric Totel +1

Generating user activity is a key capability for both evaluating security monitoring tools as well as improving the credibility of attacker analysis platforms (e.g., honeynets). In…

cs.CR2021

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…