CLIK – CLI for Keys
CLIK is a Command Line Tool (CLI), built with Python, to hide and
manage your API Tokens and Keys. This allows project managers to
easily manage project-related keys and their distribution. CLIK
provides you with a command line interface that allows you to store
your API Keys and Secret/Auth tokens in an encrypted JSON file. You
are provided with an option to either store this key locally in a
file, or making a note of it to store it anyway you like. The
encrypted JSON file can safely be uploaded to VCS repositories,
meaning access will only be granted to those who have been given the
JSON decryption key by you. You can use the CLIK to also add, remove
or modify keys, as and when required.
Learn More
Key Features:
- VCS-Safe Key Management
- Control Decryption Access to the Keys
- Simple and Easy to Use
Partial Correctness of C-STL strcasecmp
Formal Verification of the Partial Correctness of the
strcasecmp function in the C Standard Library. Partial
Correctness means that if the given
program terminates, it returns the expected/correct result. The
novelty for this specific proof comes from the embedded function
call to a helper function, whose correctness must be proven and
resolved first before the proof of the main function and proceed.
Multiple calls to the same function also contribute to complexity as
the existing toolchain required the helper funtion be proved correct
each time it has been called.
Learn More
Key Features:
-
Proved the Partial Correctness of
strcasecmp for the
ARMv8 Instruction Set.
-
Improved the existing proof system to utilize Co-Inductive Lemmas.
-
Partially solved the multi-subroutine logic problem in the
existing toolchain.