2 citations · 3 across the 2 of their papers we have counts for
3 papers
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…
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…