Secure APIs for Applications in Microkernel-based Systems.

Mohammad Hamad, Vassilis Prevelakis

Browse the full ICISSP paper archive.