Slides

All slides

• Error analysis

  Pubblicato:23 gen 2025

  How floating-point computations affect our results

• Cryptography (CSC363): Stream ciphers

  Pubblicato:1 ott 2024

  Stream ciphers

• Cryptography (CSC363): Historical ciphers

  Pubblicato:26 set 2024

  Historical ciphers

• Verification of Neural Networks

  Pubblicato:5 lug 2024

  Formal verification of Neural Networks using dlinear