A Theory-based Typological Notion of Institutions. - Amílcar Sernadas; Cristina Sernadas; José Manuel Valença (COMPASS/ADT, 1994)

Post-Quantum Authentication with Lightweight Cryptographic Primitives. - Henrique Faria; José Manuel Valença (IACR Cryptol. ePrint Arch., 2021)