Aragog: Scalable Runtime Verification of Shardable Networked Systems
source link: https://emptysqua.re/blog/aragog-runtime-verification/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Last week in the Distributed Systems Reading Group we read Aragog: Scalable Runtime Verification of Shardable Networked Systems. The paper describes an intriguing system from Microsoft Research and U Penn; it can analyze huge numbers of network events and find invariant violations that indicate bugs in the protocol. The invariants are expressed in a cute regular expression language, which Aragog parses and automatically decomposes into local and global verifier state machines. (But I don’t know why it’s called “Aragog”.)
Read Aleksey Charapko’s summary or watch my presentation.
Recommend
-
35
Post Syndicated fromAlex Bate original https://www.raspberrypi.org/blog/knitting-network-printer/ The moment we saw
-
23
My write-up / walkthrough for Networked from Hack The Box. Quick Summary Hey guys, today Networked retired and here’s my write-up about it. It was a quick fun machine with an RCE vulnerab...
-
29
This post documents the complete walkthrough of Networked, a retired vulnerable VM created by
-
9
Building Networked .NET Applications with Akka.Remote Akka.Remote is the most powerful of all the modules in Akka.NET. Akka.Remote is what enables location transparency, powers clustering, and paves the way for peer...
-
7
ABSTRACT Tiny hidden spy cameras concealed in sensitive locations including hotels and bathrooms are becoming a significant threat worldwide. These hidden cameras are easily purchasable and are extremely d...
-
8
A year on Windows: Networked file systems March 16, 2022 · About 4 minutes · Tags: windows This article is part number 10 of the
-
7
25+ Years of Personal Knowledge Management. From scattered ideas to networked thoughtsSébastien Dubois / April 03, 202239 min readIn this article, I'm going to dissect my entire Personal Knowledge...
-
5
Tech mentorship for the under-networkedHey Product Hunt - excited to be here! My co-founder @kirk_fernandes and I started Merit because we believe that mentorsh...
-
1
准备： 攻击机：虚拟机kali、本机win10。 靶机：HarryPotter: Aragog (1.0.2)，下载地址：https://download.vulnhub.com/harrypotter/Aragog-1.0.2.ova，下载后直接vbox打开即可。 知识点：wpscan插件扫...
-
2
Developing a seamless digitally networked value chain for building with pine wood by Stefanie Terp,...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK