Pinned Loading

1. CryptoFormalEval CryptoFormalEval Public

   We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficienc…

   Haskell 4 1

2. Optimal-Repairing-Sequence-on-Water-Distribution-Networks Optimal-Repairing-Sequence-on-Water-Distribution-Networks Public

   Python

3. Linearization-of-CNN-layer Linearization-of-CNN-layer Public

   Jupyter Notebook 1

4. Solving-Gymnasium-toy-games-with-Reinforcement-Learning-methods Solving-Gymnasium-toy-games-with-Reinforcement-Learning-methods Public

   Project for Reinforcement Learning course in master degree Data Science and Scientific Computing - Units.

   Jupyter Notebook 1

5. CryptoFormalLLM---Master-Thesis CryptoFormalLLM---Master-Thesis Public

   Master Thesis on Integrating Large Language Models And Formal Verification For Automated Cryptographic Protocol Vulnerability Detection

   TeX

6. Cristian-Curaba.github.io Cristian-Curaba.github.io Public

   Portfolio Website

   HTML 2