Dhammika Elkaduwe

According to our database, Dhammika Elkaduwe authored at least 9 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

An optimized Parallel Failure-less Aho-Corasick algorithm for DNA sequence matching.

Vajira Thambawita, Roshan G. Ragel, Dhammika Elkaduwe

CoRR, 2018

To Use or Not to Use: CPUs' Cache Optimization Techniques on GPGPUs.

Vajira Thambawita, Roshan G. Ragel, Dhammika Elkaduwe

CoRR, 2018

2014

To Use or Not to Use: Graphics Processing Units for Pattern Matching Algorithms.

Vajira Thambawita, Roshan G. Ragel, Dhammika Elkaduwe

CoRR, 2014

Constant time encryption as a countermeasure against remote cache timing attacks.

Darshana Jayasinghe, Roshan G. Ragel, Dhammika Elkaduwe

CoRR, 2014

2010

A Principled approach to kernel memory management.

Dhammika Elkaduwe

PhD thesis, 2010

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, Simon Winwood

Commun. ACM, 2010

2009

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, Simon Winwood

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2008

Verified Protection Model of the seL4 Microkernel.

Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone

Proceedings of the Verified Software: Theories, 2008

Kernel design for isolation and assurance of physical memory.

Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone

Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008