Conference Proceedings

The last mile: An empirical study of timing channels on seL4

D Cock, Q Ge, T Murray, G Heiser

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 | Association for Computing Machinery | Published : 2014

Grants

Funding Acknowledgements

NICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program.