#

verification

Here are 47 public repositories matching this topic...

shuque / pykpass

Python extension for Kerberos 5 password verification

python c extension authentication verification password kerberos

Updated Jan 2, 2012
C

evdenis / acsl-examples

Tiny programs with ACSL specifications.

examples verification acsl frama-c

Updated Feb 10, 2017
C

epfl-lara / jahob

Jahob Verification System

java datastructures verification

Updated Mar 19, 2017
C

fpiot / chibios-verifast

Verify sample application on ChibiOS/RT using VeriFast

cortex-m stm32 verification rtos

Updated Aug 1, 2017
C

hvanz / MinPaxos

verification paxos

Updated Feb 28, 2018
C

098saket / OS--Assignment

This repository is created for the Simulation Based Assignment given by the university faculty. For more see Readme.md

verification

Updated Apr 9, 2018
C

notem / Linux-Firewall-Verification-Utility

a utility to verify properties of a firewall

python c firewall iptables verification

Updated Apr 30, 2018
C

jibon57 / nativescript-simple-libsodium

Libsodium implementation for NativeScript

encryption verification libsodium sodium decryption libsodium-nativescript nativescript-aed nativescript-libsodium nativescript-sodium

Updated Jan 29, 2019
C

jpopesculian / ed25519-cosi

Collective Edwards-Curve Digital Signature Algorithm

cryptography signature verification ed25519 collective-signature

Updated May 28, 2019
C

jubitaneja / souper-cgo20-artifact

"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

docker-image static-analysis verification dataflow z3 dfa precision llvm-ir z3-smt-solver dataflow-analysis llvm-compiler souper spec2017 soundness

Updated Jan 8, 2020
C

mssabr01 / ICSVerifiedSoftwareProject

A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*

security proof verification formal-methods fstar ics-security sel4 tlaplus

Updated Jan 11, 2020
C

trucnguyenlam / vac

VERIFIER of ACCESS CONTROL

security verification model-checking access-control bounded-model-checking sat

Updated Feb 1, 2020
C

uw-unsat / hyperkernel

kernel verification hyperkernel

Updated Mar 8, 2020
C

adiwajshing / SimpleCrypto

All coding work done for Ashoka University CS-2362

cryptography aes signing verification curve elgamal sign-verification

Updated Apr 14, 2020
C

kasiim / ESP-EYE-speaker-verification

DTW based Text-Dependent Speaker Verification on ESP-EYE

esp32 verification speaker speaker-verification esp-eye dtw-algorithm text-dependent

Updated May 12, 2020
C

Diefenbruch / QSDL-QP

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - QSDL Parser (QP)

parser flex simulation sdl verification lex exploration yacc qsdl

Updated May 23, 2020
C

navinkumar357 / Elevator-simulation-using-ARM-Keil-and-RTOS

Embedded C, ARM-cortex-m3, EBMC tool, uVision.

verification arm-cortex-m3

Updated Aug 5, 2020
C

Yvan-xy / Kui

Loadable Kernel Module for checking ELF

kernel-module verification elf-parser

Updated Aug 26, 2020
C

Vayavya-Labs / OpenHSI

This is a repository to demonstrate the power of OpenHSI(TM) offerings by Vayavya Labs. As part of software driven verification & validation strategy (for SoC) test realization is an important activity. To run system level test cases on Bare Metal platform once needs a good support in terms of device drivers and middl-ware (stack). This reposito…

verification soc baremetal hsi software-stack

Updated Nov 12, 2020
C

vigor-nf / vigor

Main repository of the Vigor NF verification project.

dpdk reliability verification symbolic-execution automatic network-programming network-functions

Updated Mar 6, 2021
C

Improve this page

Add a description, image, and links to the verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."