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 1st 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 |