Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
-
Updated
Aug 4, 2024 - Python
Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
A secure file management system that implements blockchain-linked contextual encryption for maximum security and controlled access. This system demonstrates advanced cryptographic techniques including Contextual Hash Chain (CHC) encryption, blockchain integration, and per-user access control.
To associate your repository with the chc topic, visit your repo's landing page and select "manage topics."