Paulo Matias

1. NIZKCTF: A Noninteractive Zero-Knowledge Capture-the-Flag Platform
   2017/08/19 by Paulo Matias, Pedro Barbosa, Thiago Cardoso +5 · 1 voice
   Computer Science · #Cryptography and Data Security #Web Application Security Vulnerabilities #Security and Verification in Computing
2. A Controlled Candidate-Set Benchmark for Offline Satellite-Security Plan Decomposition
   2026/07/29 by João Paolo Cavalcante Martins Oliveira, Lucas Teske, Paulo Matias
   Computer Science · #cs.CR