Pinned Loading

1. NeedhamSchoreder_Automated_Analysis NeedhamSchoreder_Automated_Analysis Public

   Theoretical and practical introduction to the Tamarin Prover through a real-world case study on the Needham Schroeder protocol

   TeX 2 1

2. Formal-Verification-of-the-Session-Protocol Formal-Verification-of-the-Session-Protocol Public

   This repository contains the resources and files related to the formal verification of the Session protocol using the Tamarin prover. The work focuses on verifying the security properties of the Se…

   Python

3. Formalizing_Social_Engineering_Attacks Formalizing_Social_Engineering_Attacks Public

   Beginner-friendly seminar about the work of Basin D. et Al. on formalizing social engineering attacks in the symbolic model

   TeX 1

4. Lambda_Expression_Evaluation Lambda_Expression_Evaluation Public

   Comparison study between various methods of evaluation for untyped lambda expressions, with practical implementations available

   Haskell

5. Turing_Completeness_of_Neural_Network_Architectures Turing_Completeness_of_Neural_Network_Architectures Public

   Literature review about the theoretical expressive capabilities of (Recurrent) Neural Networks.

   TeX

6. Yao_Protocol_Simulation Yao_Protocol_Simulation Public

   Simple implementation of a distributed 8-bit adder function using Yao's Garbled Circuit protocol for Secure Multi Party Computation (SMPC)

   Python