المؤلفون: Orenes-Vera, Marcelo, Yun, Hyunsung, Wistoff, Nils, Heiser, Gernot, Benini, Luca, id_orcid:0 000-0001-8068-3806, Wentzlaff, David, Martonosi, Margaret

المصدر: MICRO '23: Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture

مصطلحات موضوعية: Formal methods, Hardware Security, Information flow control, FPV, Formal, Verification, Covert channel, Microarchitectural, Timing channel, Information flow, Data leak, Temporal partitioning, Flush

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/979-8-4007-0329-4; info:eu-repo/semantics/altIdentifier/wos/001164081800061; info:eu-repo/grantAgreement/SBFI/HE/23.00278; info:eu-repo/grantAgreement/SBFI/HE/22.00480; http://hdl.handle.net/20.500.11850/647332; urn:isbn:979-8-4007-0329-4

الاتاحة: https://hdl.handle.net/20.500.11850/647332
https://doi.org/10.3929/ethz-b-000647332

المؤلفون: Orenes-Vera, Marcelo, Yun, Hyunsung, Wistoff, Nils, Heiser, Gernot, Benini, Luca, Wentzlaff, David, Martonosi, Margaret

المساهمون: Orenes-Vera, Marcelo, Yun, Hyunsung, Wistoff, Nil, Heiser, Gernot, Benini, Luca, Wentzlaff, David, Martonosi, Margaret

مصطلحات موضوعية: FPV, formal, verification, covert channel, microarchitectural, timing channel, information flow, data leak, temporal partitioning, flush

وصف الملف: ELETTRONICO

Relation: ispartofbook:MICRO '23: Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture; MICRO '23: Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture; firstpage:871; lastpage:885; numberofpages:15; https://hdl.handle.net/11585/959262; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85174166221

الاتاحة: https://hdl.handle.net/11585/959262
https://doi.org/10.1145/3613424.3614254

المؤلفون: Orenes-Vera, Marcelo, Yun, Hyunsung, Wistoff, Nils, Heiser, Gernot, Benini, Luca, Wentzlaff, David, Martonosi, Margaret

المساهمون: DARPA, Fractal

المصدر: 56th Annual IEEE/ACM International Symposium on Microarchitecture

الاتاحة: http://dx.doi.org/10.1145/3613424.3614254
https://dl.acm.org/doi/pdf/10.1145/3613424.3614254

المؤلفون: Yun, Hyunsung

المساهمون: Martonosi, Margaret

وصف الملف: application/pdf

Relation: http://arks.princeton.edu/ark:/88435/dsp0141687m75h

الاتاحة: http://arks.princeton.edu/ark:/88435/dsp0141687m75h