Martinviv/rss-sources
RSS sources used in the StreamSphere Android application in OPML format
Repositories
Martinviv/fuzzing_routing_protocols
Martinviv/PANTHER
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
Martinviv/pcap_analyzer
Martinviv/peach
Peach is a fuzzing framework which uses a DSL for building fuzzers and an observer based architecture to execute and monitor them.
Martinviv/lingi2401
Lingi2401 - Open Source strategy for software development