Concepedia

Victor Dyseryn

VD

2

Publications

28

Citations

2

H-Index

2017

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Victor Dyseryn is an author at Centre National de la Recherche Scientifique specializing in program analysis, engineering, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisProbabilityVerificationCommunicationData SecurityFormal MethodsProcess ControlMachine Learning

Publications per year

2017–2020

2

Publications

2

Analysing Mutual Exclusion using Process Algebra with Signals

Victor Dyseryn, Rob van Glabbeek, Peter Höfner · Electronic Proceedings in Theoretical Computer Science · 2017 · 17 citations · Full text

Engineering, Verification, Computational Complexity +17

End-to-end automated cache-timing attack driven by machine learning

Thomas Perianin, Sebastien Carré, Victor Dyseryn et al. · Journal of Cryptographic Engineering · 2020 · 11 citations

Engineering, Machine Learning, Program Analysis +8

Rows per page

1–2 of 2