Formal methods exercises

Some exercises delivered during a master's degree in formal methods

Semantics of programming languages

• Semantics 1.
• Semantics 2.
• Semantics 3.

Lambda calculus and types

• Untyped lambda calculus.
• Typed lambda calculus.
• Lambda calculus in Haskell.
• Curry Howard and lambda-2.

Petri nets

• Lossy petri nets.
• Petri nets with transfer arcs.
• Milner scheduler.
• Backwards coverability.

Static analysis

• Abstract interpretation.
• Galois connecton.

Cryptographic protocols

• Perfect security, semantic security and public-key encryption.
• Pseudo-random generators, pseudo-random functions and secret-key encryption.
• Hash functions, digital signatures and zero knowledge proofs.

Quantum computing (Spanish)

• Introduction to quantum mechanics.
• Quantum cryptography and error correction codes.
• Shor's algorithm and quantum computing.
• Entanglement swapping.
• Quantum teleportation guess.