C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
TimeInspector: A Static Analysis Approach for Detecting Timing Attacks.
Fatih Durmaz
Nureddin Kamadan
Melih Taha Öz
Musa Sadik Unal
Arsalan Javeed
Cemal Yilmaz
Erkay Savas
Published in:
EuroS&P Workshops (2023)
Keyphrases
</>
static analysis
java card
malicious code
dynamic analysis
source code
abstract interpretation
symbolic execution
network intrusion detection systems
regular expressions
countermeasures
detecting malicious
test generation
test suite
pattern matching
data integration
operating system
data sets