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.
|Tags||Software Development Scientific/Engineering Security Cryptography Networking|
|Operating Systems||OS Independent|
Release Notes: A more robust REPL top-level interface was implemented. The source code was released.
Release Notes: This release fixes Jar file trouble, robustness issues, and symbol property dereferencing.
No changes have been submitted for this release.