Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1807.03280
Cited By
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
9 July 2018
Shengjian Guo
Meng Wu
Chao Wang
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks"
16 / 16 papers shown
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André
Engel Lefaucheux
D. Lime
Dylan Marinho
Jun Sun
138
9
0
31 Oct 2023
Certifying the Fairness of KNN in the Presence of Dataset Bias
International Conference on Computer Aided Verification (CAV), 2023
Yann-Liang Li
Jingbo Wang
Chao Wang
FaML
282
7
0
17 Jul 2023
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
International Symposium on Software Testing and Analysis (ISSTA), 2023
Ningyu He
Zhehao Zhao
Jikai Wang
Yubin Hu
Shengjian Guo
Haoyu Wang
Guangtai Liang
Ding Li
Xiangqun Chen
Yao Guo
357
22
0
14 Apr 2023
Understanding Concurrency Vulnerabilities in Linux Kernel
Zunchen Huang
Shengjian Guo
Meng Wu
Chao Wang
118
2
0
11 Dec 2022
Guaranteeing Timed Opacity using Parametric Timed Model Checking
ACM Transactions on Software Engineering and Methodology (TOSEM), 2022
Étienne André
D. Lime
Dylan Marinho
Junbo Sun
166
13
0
11 Jun 2022
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
Pengfei Gao
Hongyi Xie
Fu Song
Taolue Chen
151
13
0
16 Jun 2020
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection
International Conference on Software Engineering (ICSE), 2019
Shengjian Guo
Yueqi Chen
Peng Li
Yueqiang Cheng
Huibo Wang
Meng Wu
Zhiqiang Zuo
330
51
0
04 Nov 2019
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
International Conference on Automated Software Engineering (ASE), 2019
Brandon Paulsen
Chungha Sung
Peter A. H. Peterson
Chao Wang
134
14
0
12 Sep 2019
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Runtime Verification (RV), 2019
Saeid Tizpaz-Niari
Pavol Cerný
S. Sankaranarayanan
Ashutosh Trivedi
256
7
0
23 Jul 2019
Parametric Timed Model Checking for Guaranteeing Timed Opacity
Automated Technology for Verification and Analysis (ATVA), 2019
Étienne André
Jun Sun
223
5
0
01 Jul 2019
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation
USENIX Security Symposium (USENIX Security), 2019
Shuai Wang
Yuyan Bao
Xiao Liu
Pei Wang
Qiang Yan
Dinghao Wu
155
57
0
30 May 2019
Mitigating Power Side Channels during Compilation
Jingbo Wang
Chungha Sung
Chao Wang
169
33
0
25 Feb 2019
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Pengfei Gao
Hongyi Xie
Jun Zhang
Fu Song
Taolue Chen
AAML
99
19
0
28 Jan 2019
Data-Driven Debugging for Functional Side Channels
Saeid Tizpaz-Niari
Pavol Cerný
Ashutosh Trivedi
211
14
0
30 Aug 2018
CANAL: A Cache Timing Analysis Framework via LLVM Transformation
International Conference on Automated Software Engineering (ASE), 2018
Chungha Sung
Brandon Paulsen
Chao Wang
158
28
0
09 Jul 2018
Eliminating Timing Side-Channel Leaks using Program Repair
Meng Wu
Shengjian Guo
Patrick Schaumont
Chao Wang
270
113
0
06 Jun 2018
1
Page 1 of 1
