Slides

All slides

• 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

• EICSymAware scaffolding

  Pubblicato:11 apr 2023

  Scaffolding proposal for the EICSymAware project