kremlin

Here are 3 public repositories matching this topic...

verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。

mqtt security verification formal-methods smt formal-verification fstar kremlin verimqtt

Finding sources and spreaders of misinformation about the war in Ukraine

ukraine russian misinformation kremlin ukraine-invasion

This repository allows collecting the EUvsDisinfo dataset and reproducing the research experiments presented in the paper.

dataset classification research-paper disinformation kremlin

Add a description, image, and links to the kremlin topic page so that developers can more easily learn about it.

To associate your repository with the kremlin topic, visit your repo's landing page and select "manage topics."