12 citations · 27 across the 7 of their papers we have counts for
7 papers
Testing Resource Isolation for System-on-Chip Architectures
Philippe Ledent, Radu Mateescu, Wendelin Serwe
Ensuring resource isolation at the hardware level is a crucial step towards more security inside the Internet of Things. Even though there is still no generally accepted technique…
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Lina Marsso, Radu Mateescu, Lucie Muller +1
We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. T…
Is CADP an Applicable Formal Method?
Hubert Garavel, Frédéric Lang, Radu Mateescu +1
CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the e…
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
Radu Mateescu, Wendelin Serwe, Aymane Bouzafour +1
Asynchronous circuits have several advantages for security applications, in particular their good resistance to attacks. In this paper, we report on experiments with modeling, at v…
A Formal TLS Handshake Model in LNT
Josip Bozic, Lina Marsso, Radu Mateescu +1
Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These…
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
Frédéric Lang, Radu Mateescu
Partial model checking was proposed by Andersen in 1995 to verify a temporal logic formula compositionally on a composition of processes. It consists in incrementally incorporating…
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu +2
Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful technology…