Giorgia Remedi

According to our database, Giorgia Remedi authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Modeling and Verification of the Worth-One-Minute Security Protocols.

Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, Lorenz Cuno Klopfenstein, Giorgia Remedi

Proceedings of the Fourth Italian Conference on Cyber Security, 2020