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

논문 목록 (3건)


Passport: Improving Automated Formal Verification Using Identifiers
키워드: #expensive #powerful #richness #enriching #underexploited
파트: Verification | 연도: 2023
On the Forensic Validity of Approximated Audit Logs
키워드: #security #difficult #threats #forensic #anomalous
파트: Safety | 연도: 2020