TrustACPS

For more details see this website: https://www.tuwien.at/doc/trustacps/ (in particular, the curriculum

Involved CYSEC faculty:

Ezio Bartocci

(chair)

Laura Kovacs
automated reasoning
formal methods