Projects / Obol


Obol is a specialized high-level programming language for security protocols. The idea is to program closer to the abstractions used to describe and analyze security protocols, and leave all the nasty details to the language's runtime. The runtime will then handle "mundane" issues such as message representation, communication, cryptographic transformations and so on. The language is interpreted, and the runtime written in Java.

Operating Systems

Recent releases

  •  28 Mar 2009 11:45

    Release Notes: A more robust REPL top-level interface was implemented. The source code was released.

    •  19 Jan 2007 14:43

      Release Notes: This release fixes Jar file trouble, robustness issues, and symbol property dereferencing.

      •  05 Jan 2007 18:16

        No changes have been submitted for this release.


        Project Spotlight


        A Fluent OpenStack client API for Java.


        Project Spotlight

        TurnKey TWiki Appliance

        A TWiki appliance that is easy to use and lightweight.