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

논문 목록 (4건)


Reusing Single-Language Analyses for Static Analysis of Multi-language Programs
키워드: #software #reuse #javascript #programming #hypotheses
파트: Strategies | 연도: 2023
Verifiable Verification in Cryptographic Protocols
키워드: #security #cryptographic #erroneous #authentication #apple
파트: Cryptography | 연도: 2023
Organizing The World's Largest Hardware Security Competition: Challenges, Opportunities, and Lessons Learned
키워드: #vulnerabilities #automation #complexity #software #processor
파트: Verification | 연도: 2021