Skip to content
View cleoPinoli's full-sized avatar
👻
👻
3 followers · 7 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report cleoPinoli

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
cleoPinoli/README.md
  • 👋 Hi, I’m @cleoPinoli; I (somehow) obtained a Bachelor Diploma in CompSci, and (for some reason) decided to major in CyberSecurity. Or CyberInsecurity, as I like to call it.
  • 📖 My studies mostly focus on: ToC, Internet and the plethora of its protocols, formal verification and model checking
  • 🌱 My current focus is on mechanisation of type systems in Agda, I am somewhat familiar with Python and Java too. There will also be some JavaScript and C# in the foreseeable future. Alas.
  • 📫 College e-mail address: [email protected]

Popular repositories Loading

  1. github-slideshow github-slideshow Public

    A robot powered training repository 🤖

    Ruby

  2. cleoPinoli cleoPinoli Public

    Config files for my GitHub profile.

  3. pa2021_sept pa2021_sept Public

    September attempt

    Java

  4. awesome-hacktoberfest-reloaded awesome-hacktoberfest-reloaded Public archive

    Forked from hacktoberfest-unicam/awesome-hacktoberfest-reloaded

    Repository dell'hackathon: Unicam Hacktoberfest v2.0

    C

  5. ClaudiaRaffaelli105368 ClaudiaRaffaelli105368 Public

    Repository containing my attempt at the Operating Systems' project for winter session 20-21. Disappointed because Repo is not short for Repository but i really wanted to use it.

    C

  6. demo_wakeonlan demo_wakeonlan Public

    demonstration of the wake on LAN technology exploiting the functionality to breach and encrypt the target's shared folders and files

    Python