Created in June 05, 2026
2026
VeriPRAC is accepted to appear in CCS 2026 (top-tier conference in Security).