Trustworthy Systems

Dhammika Elkaduwe
PhD Student

Research Interests

Mr Eldakuwe was a PhD student in NICTA's Embedded, Real-Time, and Operating Systems program. He is interested in the development of secure embedded kernels.

Contact Details

Email:dhammikae@cse.unsw.edu.au

More contact information is available at the Contact page.

Publication List

Projects

Past

Career Summary

Before joining NICTA, Mr Elkaduwe was a probationary lecturer at the University of Peradeniya in Sri Lanka.

Qualifications

Mr Elkaduwe has completed a Bachelor of Science in Engineering, with first class honours from the University of Peradeniya, Sri Lanka in 2003.

Publications

Trustworthy Systems Group Papers

2008

Abstract PDF Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone
Verified protection model of the seL4 microkernel
Verified Software: Theories, Tools and Experiments, pp. 99–115, Toronto, Canada , October, 2008
Abstract PDF Dhammika Elkaduwe, Philip Derrin and Kevin Elphinstone
Kernel design for isolation and assurance of physical memory
Workshop on Isolation and Integration in Embedded Systems, pp. 35–40, Glasgow, UK, April, 2008

2007

Abstract PDF Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone
Verified protection model of the seL4 microkernel
Technical Report NRL-1474, NICTA, October, 2007