TAP 2024
18th International Conference on Tests and Proofs
|
LAJC 2024
Latin-American Journal of Computing
|
NordSec 2024
The 29th Nordic Conference on Secure IT systems (NordSec) 2024
|
DSA 2024
The 11th International Conference on Dependable Systems and Their Applications
|
ZKDAPPS 2024
1st IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications
|
Security 2025
Special Issue on Recent Advances in Security, Privacy, and Trust
|
CEVVE 2024
2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)
|
USENIX Security 2025
The 34th USENIX Security Symposium - Cycle 2
|
USENIX Security 2025
The 34th USENIX Security Symposium - Cycle 1
|
PCDS 2024
The 1st International Symposium on Parallel Computing and Distributed Systems
|