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
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:TeX7 2 10
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:TeX7 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:Stylus00
lastchat
An introductory course on Bash scripting
Language:Shell22
logos
Here you can find all V-Research logos
00
website
v-research website
Language:SCSS0 2 30