Gernot Heiser

Gernot Heiser

University of New South Wales - Sydney / Australia
Engineering & Technology / Computer Science
AD Scientific Index ID: 65756
person_outline Gernot Heiser's MOST POPULAR ARTICLES
1-) seL4: Formal verification of an OS kernelG Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, ...Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 200925042009
2-) An analysis of power consumption in a smartphoneA Carroll, G Heiser2010 USENIX Annual Technical Conference (USENIX ATC 10), 201021112010
3-) Last-level cache side-channel attacks are practicalF Liu, Y Yarom, Q Ge, G Heiser, RB Lee2015 IEEE symposium on security and privacy, 605-622, 201510792015
4-) Dynamic voltage and frequency scaling: The laws of diminishing returnsE Le Sueur, G HeiserProceedings of the 2010 international conference on Power aware computing …, 20106242010
5-) Comprehensive formal verification of an OS microkernelG Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ...ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 20145242014