Resources

Charm: A Tool for Rapid Cryptographic Prototyping

Charm is a framework for rapidly prototyping advanced cryptosystems. Based on the Python language, it was designed from the ground up to minimize development time and code complexity while promoting the reuse of components.

Charm uses a hybrid design: performance intensive mathematical operations are implemented in native C modules, while cryptosystems themselves are written in a readable, high-level language. Charm additionally provides a number of new components to facilitate the rapid development of new schemes and protocols. 

For more information about visit the Charm website. 

 

Open Medical Device Research Library (OMDRL) 

The OMDRL provides access to medical devices for research in trustworthy computing. The Library enables recycling of otherwise discarded resources – putting them to good use in research and development to improve the trustworthiness of software-based medical devices.

Donate. Patients, physicians, and professionals who interact with medical devices are encouraged to donate to the collection. OMDRL welcomes donations of any implantable medical devices that use wireless communication; examples include heart rate sensors, pacemakers, defibrillators, drug delivery systems, and neurostimulators, among others. It also accepts donations of certain non-implantable devices that are useful to security researchers, like infusion pumps.

Borrow. The OMDRL lets researchers focus on analysis and discovery by giving its members access to a resource that would otherwise be too expensive or difficult to acquire. The Library catalogs and sterilizes devices that are intended for in vitro research only.  Human reuse is not permitted.

If you are interested in donating or borrowing a device, visit the OMDRL website for more information. 

 

HIPAA As a Logic Program

The Logic formalization of HIPAA is a translation of the HIPAA law into a logical programming language, Prolog. The Prolog translation can be executed and reports whether a given action complies with HIPAA. We translate the HIPAA regulation into Prolog one statement at a time. You can verify our translation by examining the side-by-side comparison. We envision this project to be a collaborative open-source effort.  To learn more and to get access to the demonstration visit this link.

 

Policy Authoring & Reasoning (PATRN) Toolkit

The PATRN (pronounced as pattern) stands for Policy Authoring & Reasoning Toolkit. The PATRN Toolkit is a graphical Model Integrated Computing (MIC) tool, created in the Generic Modeling Environment (GME). The PATRN Toolkit was created to provide a unified way to create and model ontologies, policy templates and to compose the ontologies with the policy templates to define privacy policies. Furthermore, it was created, to facilitate to formal reasoning on composed privacy policies. The functionality of the PATRN toolkit is provided using MIC tools such as GME and FORMULA. For information and downloads, see the PATRN website.