3 citations · 6 across the 5 of their papers we have counts for
7 papers
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation
Qi Qin, JulianAndres JiYang, Fu Song +2
Recent work has shown that Just-In-Time (JIT) compilation can introduce timing side-channels to constant-time programs, which would otherwise be a principled and effective means to…
Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels
Wenjie Wan, Zhaodi Zhang, Yiwei Zhu +2
Deep Neural Networks (DNNs) have become key components of many safety-critical applications such as autonomous driving and medical diagnosis. However, DNNs have been shown sufferin…
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
Pengfei Gao, Hongyi Xie, Fu Song +1
Side-channel attacks, which are capable of breaking secrecy via side-channel information, pose a growing threat to the implementation of cryptographic algorithms. Masking is an eff…
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences
Pengfei Gao, Fu Song, Taolue Chen +2
JavaScript has become one of the most widely used languages for Web development. However, it is challenging to ensure the correctness and reliability of Web applications written in…
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Pengfei Gao, Hongyi Xie, Jun Zhang +2
Power side-channel attacks, which can deduce secret data via statistical analysis, have become a serious threat. Masking is an effective countermeasure for reducing the statistical…
Making Agents' Abilities Explicit
Yedi Zhang, Fu Song, Taolue Chen
Alternating-time temporal logics (ATL/ATL*) represent a family of modal logics for reasoning about agents' strategic abilities in multiagent systems (MAS). The interpretations of A…