Data

Tools

Indexes

Applications

Experiments

Open Source Science

Updated 6 months ago

isabelle_dof • Science 57%

Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

Updated 6 months ago

Premap2 • Science 57%

Preimage approximations for neural networks

Updated 5 months ago

https://github.com/crocs-muni/scrutiny • Science 26%

An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level frameworks to build and later verify profiles against reference and produce detailed HTML reports. For now, SCRUTINY is capable of analyzing JavaCard, TPM, SED, and cryptolibs.