V-Research

All

10 repositories

bizcard
Public
HTML
•0•0•0•0•Updated Oct 31, 2024Oct 31, 2024
website
Public template
v-research website
modeling cybersecurity model-checking risk-assessment smt-solver research-and-development cybersecurity-education
SCSS
•
GNU Affero General Public License v3.0
•0•0•1•4•Updated Aug 28, 2024Aug 28, 2024
green_office
Public
Python
•
GNU Affero General Public License v3.0
•0•0•0•0•Updated May 16, 2024May 16, 2024
edu
Public
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.
courses training-materials thesis-proposals cybersecurity
TeX
•
GNU Affero General Public License v3.0
•1•8•0•0•Updated May 16, 2024May 16, 2024
domain-hijaking
Public
SCSS
•0•0•0•0•Updated Feb 5, 2024Feb 5, 2024
lastzorin
Public
Shell
•
MIT License
•0•1•1•0•Updated Dec 13, 2023Dec 13, 2023
lastchat
Public template
An introductory course on Bash scripting
Shell
•
MIT License
•2•2•3•0•Updated Dec 13, 2023Dec 13, 2023
knowledgezero
Public
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.
blog cybersecurity v-research
Stylus
•0•1•0•8•Updated Mar 5, 2023Mar 5, 2023
cybersecurity
Public
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.
engineering formal-methods risk-assessment model-based-design security-by-design cybersecurity
TeX
•
Other
•0•8•1•0•Updated Nov 24, 2022Nov 24, 2022
a-free-preface
Public
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems
topology cybersecurity multi-agent-systems
Other
•0•1•0•0•Updated Feb 12, 2020Feb 12, 2020