News

Workshoplet on Formal Methods for Security

ARGOMENTI: Convegni

Workshoplet on Formal Methods for Security
March, 12th-13th

Starting on March, 12th, h. 12:00, room 2BC/30.

-Topics
security properties verification in the formal and the computational model, process algebras for security, intruder models and compromising adversaries, type-based analysis, protocol stacks, key management, channel types.

Rif. int. G. Filè

Download Web Site

NEWS: New Second Level Degree in Data Science - Second cycle degree - a. y. 2017/18 X