연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (3건)


A Core Calculus for Equational Proofs of Cryptographic Protocols
키워드: #cryptographic #theoretical #mechanization #proof #proofs
파트: Cryptography | 연도: 2023
Robustness analysis for secure software design
키워드: #challenging #security #attacker #important #threat
파트: Cryptography | 연도: 2020