Skip to main content

Hesham Almatary

Hesham Almatary
OS Engineer

Research Interests

Operating Systems, Computer Architecture and Security

Contact Details

Mobile: +61 481 847 733
Email:Hesham.Almatary@data61.csiro.au
Blog:http://heshamelmatary.blogspot.com.au/

More contact information is available at the Contact page.

Publication List

Projects

- seL4 ARM SMP - Standard seL4 Benchmark API - RISC-V seL4 port (side project)

Qualifications

MSc by Research - University of York

Publications

Data61 Papers

2018

Abstract to be published Anna Lyons, Hesham Almatary, Kent Mcleod and Gernot Heiser
Principled operating systems mechanisms for temporal isolation
EuroSys Conference, pp. 14, Porto, Portugal, April, 2018

Served by Apache on Linux on seL4.