Formal verification | InfoBlender

Formal verification

Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems 11/16/2016:

application/pdf icon

Download slides (PDF)

By Saulo Silva, HASLab, INESC TEC & University of Minho.

Read more

Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC 5/25/2016:

application/pdf icon

Download Slides (pdf)

By Prof. Manuel Barbosa, HASLab/INESC TEC & UMinho, and DCC-FCUP.

Read more