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.