Block or report user

Report or block mdenzel

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. self-healing_FreeRTOS

    A self-healing FreeRTOS based on ARM TrustZone

    C 8 2

  2. smartguard

    ProVerif proofs for paper "Smart-Guard: Defending User Input from Malware"

    Shell 1

  3. malware-tolerant_ICS_proofs

    ProVerif proofs for paper "A Malware-Tolerant, Self-Healing Industrial Control System Framework"

    Shell

  4. malware-tolerant_mesh_network_proofs

    Shell

  5. linux_config

    Some Linux/Program config files

    Emacs Lisp

5 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2018

Seeing something unexpected? Take a look at the GitHub profile guide.