Tsinghua University China

  1. Home
  2. search page
  3. affiliation

Tsinghua University China

국가: China
주요 연구 분야: Strategies
주요 키워드: #vulnerabilities #algorithm #polynomial
주요 저자:
#Rahul Ilango #Yu Jiang #Jiatu Li #Richard Ryan Williams #Chao Zhang

📄 기관 상세정보

출판수12
총 인용수55
평균 인용수4.58
저자 수63
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (12건)

HyRES: Recovering Data Structures in Binaries via Semantic Enhanced Hybrid Reasoning
저자: Chao Zhang , Zihan Sha , Hui Shu , Hao Wang , Zeyu Gao , Yang Lan
키워드: #engineering #cybersecurity #malware #recovering #energizes
파트: Safety | 연도: 2025
Beyond REST: Introducing APIF for Comprehensive API Vulnerability Fuzzing
저자: Yu Wang , Yue Xu
키워드: #algorithm #vulnerabilities #software #decoder #shortcomings
파트: Strategies | 연도: 2024
Indistinguishability Obfuscation, Range Avoidance, and Bounded Arithmetic
저자: Rahul Ilango , Jiatu Li , Richard Ryan Williams
키워드: #algorithm #algorithms #combinatorial #polynomial #polynomially
파트: Analysis | 연도: 2023
Finding Causally Different Tests for an Industrial Control System
저자: Christopher M. Poskitt , Yuqi Chen , Jun Sun , Yu Jiang
키워드: #industrial #manipulation #cyber #unfortunately #manipulations
파트: Infrastructure | 연도: 2023
1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
저자: Xiapu Luo , Songtao Yang , Yubo He , Kaixiang Chen , Zheyu Ma , Yong Xie , Jianjun Chen , Chao Zhang
키워드: #vulnerabilities #severe #crucial #threats #adversaries
파트: Strategies | 연도: 2023
ProtFe: Low-Cost Secure Power Side-Channel Protection for General and Custom FeFET-Based Memories
저자: Taixin Li , Boran Sun , Hongtao Zhong , Yixin Xu , Vijay Narayanan , Liang Shi , Tianyi Wang , Yao Yu , Thomas Kämpfe , Kai Ni , Huazhong Yang , Xueqing Li
키워드: #computing #countermeasures #leakage #ferroelectric #transistors
파트: Cryptography | 연도: 2023
NP-Hardness of Approximating Meta-Complexity: A Cryptographic Approach
저자: Yizhi Huang , Rahul Ilango , Hanlin Ren
키워드: #cryptographic #polynomial #approximation #rare #hardness
파트: Cryptography | 연도: 2023
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
PG-VulNet: Detect Supply Chain Vulnerabilities in IoT Devices using Pseudo-code and Graphs
저자: Xin Liu , Yixiong Wu , Qingchen Yu , Shangru Song , Yue Liu , Qingguo Zhou , Jianwei Zhuge
키워드: #technology #boosting #powerful #alarms #excels
파트: Strategies | 연도: 2022