rocchettomarco

Co-founder of V-Research (@v-research). I have a PhD in computer science and my research focuses on formal methods and cybersecurity.

@v-research @311Verona, Italy (https://311verona.com/)

Pinned Repositories

yals
yet another login system
Language:Shell3 1 52
ZORIN2Y
Language:Shell215
bizcard
Language:HTML00
cybersecurity
Research and Development for Cybersecurity Engineering. Our mission is to develop a scientific theory of cybersecurity and a toolchain for the secure engineering of cyber-physical systems.
Language:TeX8 2 10
domain-hijaking
Language:SCSS00
edu
This repository to share what, @v-research, we teach in the field of cybersecurity. You will mainly find courses material, thesis and internship proposals, and lectures.
Language:TeX8 4 11
knowledgezero
KnowledgeZero is a place where we, @v-research, publish our research efforts, writing gentle introductions to our ideas but also sharing the hard-core scientific papers.
Language:Stylus1 5 70
lastchat
An introductory course on Bash scripting
Language:Shell22
lastzorin
Language:Shell10
website
v-research website
Language:SCSS0 2 30

rocchettomarco's Repositories

rocchettomarco/yals
yet another login system
Language:Shell3 1 52
rocchettomarco/ZORIN2Y
Language:Shell215