Lv1
15 积分 2020-06-06 加入
Analysis of Secure Caches using a Three-Step Model for Timing-Based Attacks
6个月前
已完结
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
8个月前
已完结
A model-driven approach for vulnerability evaluation of modern physical protection systems
1年前
已完结
An empirical evaluation of the effectiveness of attack graphs and MITRE ATT&CK matrices in aiding cyber attack perception amongst decision-makers
1年前
已完结
HyperProb: A Model Checker for Probabilistic Hyperproperties
1年前
已完结
A Survey on Cache Timing Channel Attacks for Multicore Processors
1年前
已完结
Probabilistic Hyperproperties of Markov Decision Processes
2年前
已完结
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
2年前
已完结
Evaluating the Soundness of Security Metrics from Vulnerability Scoring Frameworks
2年前
已完结
Probabilistic Evaluation of Hardware Security Vulnerabilities
2年前
已完结
皖公网安备34019202002308
