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

논문 목록 (8건)


Towards Discovering Quantum-Threats for Applications Using Open-Source Libraries
키워드: #keyword #quantum #cryptography #cryptographic #cryptosystems
파트: Verification | 연도: 2024
Timing Side-Channel Mitigation via Automated Program Repair
키워드: #vulnerabilities #mitigation #repairing #meltdown #programmingenvironments
파트: Verification | 연도: 2024
EARIC: Exploiting ADC Registers in IoT and Control Systems
키워드: #computing #internet #software #hardware #oscilloscopes
파트: Analysis | 연도: 2023
SmartWitness: A Proactive Software Transparency System using Smart Contracts
키워드: #security #software #attackers #manager #smartwitness
파트: Infrastructure | 연도: 2020