Reduction from rGURA policy into ARBAC-URA policy

Students Achievements

Verify properties of Ruby state machines using CTL

SAT Solver in Haskell

A shield.io endpoint for displaying formatted SVCOMP result badges

Generating and matching PIN codes and PIN verification

A “call-forward” milter for mail gateways to verify that mail recipients exist on an authoritative mail store before the gateway accepts the message.

MFA authentication via OTP

Generate and Validate PDF Certificates

This repository consists of python scripts to generate RISC-V assembly for testing the Regfile + Bypass + Scoreboard in the Chromite core developed by incore semiconductors

File Integrity Verification Tool

MIM is a Hash Visualization algorithm utilising 4x4 colour matrixes. This provides a quick and easy method to compare fingerprints, e.g. SSH keys, x509 certs etc. For both terminals (ANSI) and desktop, mobile & web (SVG).

agent verification system for enterprise, powered by XION’s smart accounts

Solana Integrity Scanner - Blockchain transaction

an async discord bot that automatically fact-checks messages using llms. features strict source verification, structured json citations, and byok support for openai, anthropic, openrouter and more.

🎈 Formalized operational and denotational semantics for TESL

🔬 verification of component architectures

Brand Artist,