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

논문 목록 (4건)


Towards Effective Static Analysis Approaches for Security Vulnerabilities in Smart Contracts
키워드: #vulnerabilities #security #developers #popularity #attacks
파트: Strategies | 연도: 2023
How do programmers use unsafe rust?
키워드: #rust #programmer #aliasing #programmers #sparingly
파트: Verification | 연도: 2020
How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection
키워드: #vulnerabilities #bugs #smartcheck #erosion #slither
파트: Strategies | 연도: 2020