farif Goto Github PK

alc-ltl-fuzzer

alpharegexpublic

automater

Tekdefense-Automater

bdrule

beacon

bnfgen

Generates random text based on context-free grammars defined in BNF

cbc-mac-attack

Length extension attack on CBC-MAC

chainshotdevsetup

Set up of ChainShot dev environment!

chcreasoner

Simple Horn Clause Reasoner

cosa

CoreIR Symbolic Analyzer

cve_2019-5827

Heap Corruption

design-models

Design Models in Lustre and Verilog

dfa-sat

Learning DFAs from examples using SAT

dga

The repository that contains the algorithms for generating domain names, dictionaries of malicious domain names. Developed to research the possibility of applying machine learning and neural networks to detect and classify malicious domains.

dga-detection

DGA Domain Detection using Bigram Frequency Analysis

farif.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

firewallchecker

A self-contained firewall checker

flute

RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance

foobar

Symbolic encoding of a C program.

forvis_riscv-isa-spec

Formal specification of RISC-V Instruction Set

homepage

Homepage

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

kind2-xparser

lipsi

Lipsi: Probably the Smallest Processor in the World

ltl_coq

Linear Temporal Logic formalized in Coq

mhsgenerationalgorithms

minipref

mlsolver

Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.

modeling

Design Models in Lustre

mxklabs-pi