Block or report user

Report or block mpdehnel

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. ai

    Site for Website

    Ruby 1

  2. seg

    Software Engineering Group 1

    Logos 1

  3. ReadingGroup

    Security Reading Group information page and archive

    HTML 1

  4. TamperWords

    Download software, check the words on screen match those on the website. If they don't match, your download may have been tampered with.

    Python 1

  5. EEBO

    Hacking on Various EEBO(-TCP) Data

    Python

  6. homebrew-science

    Forked from Homebrew/homebrew-science

    🔬 Scientific formulae for the Homebrew package manager

    Ruby

91 contributions in the last year

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

Contribution activity

July - October 2018

mpdehnel has no activity yet for this period.

June 2018

Created a pull request in tamarin-prover/tamarin-prover that received 7 comments

Include example SPTHY files for Journal of Computer Security 2018 submission

Hi All, Our extended paper for Journal of Computer Security on DNP3:SAv5 has been accepted (yay!), and we wanted to include a more permanent link i…

+35,420 −0 7 comments

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