Sections
  Home HASLab Science and Technology Cryptography and Information Security
Document Actions

Cryptography and Information Security

  • Provable security;
  • Efficient and secure implementation of cryptographic software;
  • Formal verification of cryptographic proofs and implementations;
  • Domain-specific software developments tools for cryptography;
  • Privacy-enhancing data-management technologies.
image_preview_HASLAB.jpg
image_preview_HASLAB.jpg
anuncio-site
anuncio-contactos

Contacts

HASLab +351 22 209 4000