diekmann/bsides-muc-2018-slides diekmann/bsides-muc-2018-slides

  • Stars
    star
    1
  • Language
    TeX
  • Created almost 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
diekmann/bsides-muc-2018-slides
github

diekmann

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

wasm-fizzbuzz

WebAssembly from Scratch: From FizzBuzz to DooM.
C++
1,505
star
2

Iptables_Semantics

Verified iptables Firewall Ruleset Analysis
Isabelle
96
star
3

net-network

Public collection of firewall dumps.
Shell
43
star
4

BACnetSim

A scala BACnet simulator using bacnet4J
Scala
16
star
5

dump-x86_64-pagetable

Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.
C
11
star
6

encryption-is-not-integrity

Python
9
star
7

telnet-password-honeypot

A simple telnet server that prompts users for a password and stores it in a file.
C
5
star
8

topoS

Isabelle
4
star
9

kant

Kategorischer Imperativ in Isabelle/HOL (experimental)
Isabelle
3
star
10

jslinux

Trying to reproduce compilation of https://bellard.org/jslinux/ by great Fabrice Bellard
C
2
star
11

Isabelle-Hello-World

Hello World in Isabelle, compiled to Haskell
Isabelle
2
star
12

fancy-octo-fropnicator

Simple tool to convert LaTeX generate pdt to a plain .txt file. Used to apply spelling and grammar checking by e.g. microsoft word
Shell
2
star
13

python_tcpdump

a stdin parser for tcpdump. HACKY!
Python
2
star
14

cctrack

Adaptive Low-Level Packet Sampling for High-Speed Networks
C
2
star
15

isabelle_awesome_tac

1
star
16

phd-defense-slides

TeX
1
star
17

uefi_playground

Playing with UEFI Applications
Makefile
1
star
18

openttd-web-publishing

An attempt to automatically publish the openttd game to GithubPages
Makefile
1
star
19

isabelle-brainfuck

the famous brainfuck language implemented in the famous isabelle theorem prover
1
star