Reduction from rGURA policy into ARBAC-URA policy

LART Runtime Support Library

C++ Program to generate a CAPTCHA, verify if the input is correct & give a chance to the user to retry

The C++ code below shows how to read a file, its associated signature, and a public key, and then verify the signature using the Monocypher library.

Course project for the 2020 Microcontroller Course at Bremen University of Applied Sciences.

Code verification task

🔐 This package to helps adds 2 Factor Authentiation in any flutter project with ease.

Linux filesystem verification system.

Dynamic libraries for Uppaal models

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Simulation Class Library (SCL)

A small project for loading and verifying X.509 certificate chains against a local trust store using the OpenSSL library.

A way of verifying if I'm still alive.

🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Main QUEST Program (QSDL --> C++)

An abstraction for capturing and reporting on a successful sequence of inputs.

Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.

VerC3: Verification Toolkit for C3

This package provides an input field that allows you to enter a 4, 5 or 6 digit verification code in your applications.

Verification and validation repository for Hybrid central solvers and QGD

QA Verification and Validation test suites for ALU and SFU hardware designs of number systems available in Universal