Personensuche
X
?
Proceedings of the 50th Annual International Symposium on Computer Architecture ,
1
Pensieve: Microarchitectural Modeling for Security Evaluati..:
, In:
?
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
3
Effective simulation and debugging for a high-level hardwar..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
5