Kernel design for isolation and assurance of physical memory. - Dhammika Elkaduwe; Philip Derrin; Kevin Elphinstone (IIES@EuroSys, 2008)

Verified Protection Model of the seL4 Microkernel. - Dhammika Elkaduwe; Gerwin Klein; Kevin Elphinstone (VSTTE, 2008)

seL4: formal verification of an OS kernel. - Gerwin Klein; Kevin Elphinstone; Gernot Heiser; June Andronick; David A. Cock; Philip Derrin; Dhammika Elkaduwe; Kai Engelhardt; Rafal Kolanski; Michael Norrish; Thomas Sewell; Harvey Tuch; et al. (SOSP, 2009)

seL4: formal verification of an operating-system kernel. - Gerwin Klein; June Andronick; Kevin Elphinstone; Gernot Heiser; David A. Cock; Philip Derrin; Dhammika Elkaduwe; Kai Engelhardt; Rafal Kolanski; Michael Norrish; Thomas Sewell; Harvey Tuch; et al. (Commun. ACM, 2010)

A Principled approach to kernel memory management. - Dhammika Elkaduwe (2010)

Constant time encryption as a countermeasure against remote cache timing attacks. - Darshana Jayasinghe; Roshan G. Ragel; Dhammika Elkaduwe (CoRR, 2014)

To Use or Not to Use: Graphics Processing Units for Pattern Matching Algorithms. - Vajira Thambawita; Roshan G. Ragel; Dhammika Elkaduwe (CoRR, 2014)

To Use or Not to Use: CPUs' Cache Optimization Techniques on GPGPUs. - Vajira Thambawita; Roshan G. Ragel; Dhammika Elkaduwe (CoRR, 2018)

An optimized Parallel Failure-less Aho-Corasick algorithm for DNA sequence matching. - Vajira Thambawita; Roshan G. Ragel; Dhammika Elkaduwe (CoRR, 2018)