The Hong Kong Polytechnic University China

  1. Home
  2. search page
  3. affiliation

The Hong Kong Polytechnic University China

국가: China
주요 연구 분야: Verification
주요 키워드: #attractive #attack #tools
주요 저자:
#Yixiong Wu #Chao Zhang #Tingting Yin #Yuandong Ni #Taiyu Wong

📄 기관 상세정보

출판수2
총 인용수3
평균 인용수1.50
저자 수8
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (2건)

An empirical study on implicit constraints in smart contract static analysis
저자: Yixiong Wu , Chao Zhang , Tingting Yin , Yuandong Ni , Taiyu Wong , Xiapu Luo , Zheming Li , Yu Guo
키워드: #attractive #attack #tools #mitigation #factors
파트: Verification | 연도: 2022
An Empirical Study on Implicit Constraints in Smart Contract Static Analysis
저자: Yixiong Wu , Chao Zhang , Tingting Yin , Yuandong Ni , Taiyu Wong , Xiapu Luo , Zheming Li , Yu Guo
키워드: #attractive #attack #tools #mitigation #factors
파트: Verification | 연도: 2022