Andreea Scurtu

According to our database, Andreea Scurtu authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2019

Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4.

Andreea Scurtu, Mihai-Lica Pura

Proceedings of the 11th International Conference on Electronics, 2019