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.
| Email: | dhammikae@cse.unsw.edu.au |
|---|
More contact information is available at the Contact page.
Past |
Before joining NICTA, Mr Elkaduwe was a probationary lecturer at the University of Peradeniya in Sri Lanka.
Mr Elkaduwe has completed a Bachelor of Science in Engineering, with first class honours from the University of Peradeniya, Sri Lanka in 2003.
|
 |
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 |
|
|
|
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 |
|
|
|
Dhammika Elkaduwe, Gerwin Klein and Kevin Elphinstone Verified protection model of the seL4 microkernel Technical Report NRL-1474, NICTA, October, 2007 |