dschoepe/fmis-agda

Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012

Agda implementations and proofs of some things discussed in the "Formal Methods for Information Security" lecture given at TU Darmstadt:

http://www.mais.informatik.tu-darmstadt.de/fmis2012