Abstract Quicksilver/OCaml: A Poor Man’s Type-Safe and Abstraction-Secure Communication Library

data in a possibly hostile network environment without losing type safety or abstraction. It is entirely implemented at user level, i.e., without modifying the compiler or the runtime at all. The key ideas are (1) representing types by (tuples of) functions, (2) abstraction by encryption, and (3) distinction of type representations for input and output. We show by examples that the library is useful for implementing applications where not only safety, but also security against malicious attackers is required. 1