 |
|
||||||||||
Course Material
Master in Information Security
For more information about the Information Security Master Track visit: http://www.infsecmaster.ethz.ch
Slides and Exercises
| Date | Topic |
Slides and Notes |
Exercises | Solutions |
| February 17th | Introduction |
week 1 |
sheet 1
template: sheet1_fr_jdoo.lhs |
solution 1 |
|
February 24th |
Lists and Abstraction |
week 2 |
sheet 2 |
solution 2 |
|
March 3rd |
Higher-Order Programming and Types |
week 3 |
sheet 3 formatter_template.lhs |
solution 3 |
|
March 17th |
Lazy Evaluation |
week 5 |
sheet 5 |
solution 5 |
| March 10th | Algebraic Data Types | week 4 |
sheet 4 |
solution 4, proofs |
|
March 24th |
Case Studies |
week 6
Expression parser: expr.hs Mini-Haskell interpreter: minihaskell.hs |
sheet 6 |
solution 6 proofs |
| March 31st | IO and Conclusion | week 7 | ||
|
April 7 |
FM introduction |
week 8 |
sheet7 | solution7 |
|
April 21 |
Big Step Semantics |
week 9 |
sheet8 Skeleton IMP interpreter Examples: factorial.imp, root.imp |
solution8 IMP interpreter with natural semantics |
| April 28 | Small Step Semantics |
sheet9 Skeleton IMP interpreter |
solution9 IMP interpreter |
|
|
May 5 |
Axiomatic Semantics |
week 11 | sheet10 | solution10 |
|
May 12 |
Modeling |
week 12 |
sheet11 | solution11 |
|
May 19 |
Modeling |
week 13 |
sheet12 Dining philosophers, Needham-Schroeder |
solution12 Dining Philosophers, Needham-Schroeder |
|
May 26 |
LTL |
week 14 |
sheet13 |
solution13 Leader Election |
Additional Haskell Material
- Material for the first exercises: flawed induction proofs and induction over Haskell functions.
- Haskell support for (X)Emacs, Vim, Eclipse, ...
More information on Emacs can be found here. The most important key bindings in Emacs can be found here. - .emacs file for activating the Haskell mode in Emacs. You might need to install the Haskell Emacs mode on your computer first. See the webpage for details.
If you are using the Debian distribution you can install globally the packages for hugs and the haskell mode. For running hugs in emacs, add
(add-hook 'haskell-mode-hook 'turn-on-haskell-hugs)
to your .emacs file.
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
!!! Dieses Dokument stammt aus dem ETH Web-Archiv und wird nicht mehr gepflegt !!!
!!! This document is stored in the ETH Web archive and is no longer maintained !!!
!!! This document is stored in the ETH Web archive and is no longer maintained !!!
