Secure APIs for Applications in Microkernel-based Systems

  title={Secure APIs for Applications in Microkernel-based Systems},
  author={Mohammad Hamad and Vassilis Prevelakis},
  • Mohammad Hamad, Vassilis Prevelakis
  • Published in ICISSP 2017
  • Computer Science
  • The Internet evolved from a collection of computers to today’s agglomeration of all sort of devices (e.g. printers, phones, coffee makers, cameras and so on) a large part of which contain security vulnerabilities. The current wide scale attacks are, in most cases, simple replays of the original Morris Worm of the mid-80s. The effects of these attacks are equally devastating because they affect huge numbers of connected devices. The reason for this lack of progress is that software developers… CONTINUE READING


    Publications referenced by this paper.
    Implementing a distributed firewall
    • 375
    • PDF
    IP Encapsulating Security Payload (ESP)
    • 1,204
    • PDF
    The Transport Layer Security (TLS) Protocol Version 1.3
    • 729
    • PDF
    Limitations of IPsec Policy Mechanisms
    • 17
    • PDF
    Implementation and performance evaluation of embedded IPsec in microkernel OS
    • 4
    • PDF
    Secure Internet banking authentication
    • 165
    • PDF
    Firewall Issues overview.
    • 6
    IP Authentication Header
    • 775
    • PDF
    The KeyNote Trust-Management System Version 2
    • 742
    • PDF
    Requirements for an IPsec API
    • 7