logo
language-based security

会议结果 (2)

ASIAN Symposium on Programming Languages and Systems (APLAS)

Rank: B
Venue TBD
Jan 12, 2026
programming paradigms and stylestype systems and dependent typesprogram logics and verification+7 更多

IEEE Computer Security Foundations Symposium (CSF)

Rank: AOffline
Santa Cruz, CA, USA
Jun 16, 2025 - Jun 20, 2025
access controlaccountabilityanonymity+33 更多