Lv1
15 积分 2020-06-06 加入
A model-driven approach for vulnerability evaluation of modern physical protection systems
3个月前
已完结
An empirical evaluation of the effectiveness of attack graphs and MITRE ATT&CK matrices in aiding cyber attack perception amongst decision-makers
5个月前
已完结
HyperProb: A Model Checker for Probabilistic Hyperproperties
7个月前
已完结
A Survey on Cache Timing Channel Attacks for Multicore Processors
11个月前
已完结
Probabilistic Hyperproperties of Markov Decision Processes
1年前
已完结
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification
1年前
已完结
Evaluating the Soundness of Security Metrics from Vulnerability Scoring Frameworks
1年前
已完结
Probabilistic Evaluation of Hardware Security Vulnerabilities
1年前
已完结
Cross-level Monte Carlo Framework for System Vulnerability Evaluation against Fault Attack
1年前
已完结
A Vulnerability Life Cycle-Based Security Modeling and Evaluation Approach
1年前
已完结
皖公网安备34019202002308
