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

논문 목록 (9건)


Insights from Running 24 Static Analysis Tools on Open Source Software Repositories
키워드: #useful #security #comprehensive #effectiveness #effective
파트: Verification | 연도: 2024
Discovering IoT Physical Channel Vulnerabilities
키워드: #security #automation #apps #alarms #heater
파트: Strategies | 연도: 2022
Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles
키워드: #vulnerabilities #accidents #inconsistency #alarms #crash
파트: Strategies | 연도: 2020
Logging to the Danger Zone: Race Condition Attacks and Defenses on System Audit Frameworks
키워드: #security #attacker #attackers #cryptographic #tampering
파트: Cryptography | 연도: 2020
Cluster-Based Social Reinforcement Learning
키워드: #learning #computational #challenging #challenges #complexity
파트: Artificial Intelligence | 연도: 2020