( en | de | ru )

 

Disambiguation of "Heiser, Gernot"

Author of the publication

copydeleteadd this publication to your clipboard
Time Protection: The Missing OS Abstraction.

, , , and . EuroSys, page 1:1-1:17. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gernot Heiser

Gernot Heiser

Hilde Heiser

Kristina Heiser

Cornelia Heiser

 

Other publications of authors with the same name

Roundtable: Machine Learning for Embedded Systems: Hype or Lasting Impact?, , , , , , and . IEEE Des. Test, 35 (6): 86-93 (2018)Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems., , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 103-121. Springer, (2023)The role of virtualization in embedded systems.. IIES@EuroSys, page 11-16. ACM, (2008)Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core., , , , and . DATE, page 627-632. IEEE, (2021)CAmkES: a component model for secure microkernel-based embedded systems, and . Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems, 80 (5): 687–699 (May 2007)The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security., , and . APSys, page 16:1-16:7. ACM, (2018)Time Protection: The Missing OS Abstraction., , , and . EuroSys, page 1:1-1:17. ACM, (2019)Proving the Absence of Microarchitectural Timing Channels., , , , , , and . CoRR, (2023)Property-Based Testing: Climbing the Stairway to Verification., , , , , , and . SLE, page 84-97. ACM, (2022)Can We Prove Time Protection?, , and . HotOS, page 23-29. ACM, (2019)