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

논문 목록 (13건)


Vulnerability Repair via Concolic Execution and Code Mutations
키워드: #vulnerabilities #automated #mutations #crashrepair #repairs
파트: Strategies | 연도: 2025
Elucidating Type Conversions in SQL Engines
키워드: #python #sql #oracle #sqlite #typing
파트: Databases | 연도: 2025
Byzantine Agreement with Predictions
키워드: #algorithm #algorithms #malicious #faulty #degrades
파트: Infrastructure | 연도: 2025
Timing Side-Channel Mitigation via Automated Program Repair
키워드: #vulnerabilities #mitigation #repairing #meltdown #programmingenvironments
파트: Verification | 연도: 2024
A Survey on the Integration of Blockchains and Databases
키워드: #technologies #databases #fusion #cryptocurrencies #blockchain
파트: Databases | 연도: 2023
Localizing Vulnerabilities Statistically From One Exploit
키워드: #security #classes #diagnosis #test #automatic
파트: Strategies | 연도: 2021