Calendar

Posts organized

by date.

April 2023

Mon Tue Wed Thu Fri Sat Sun

1 A Rigorous Proof Of The Chandy Lamport Distributed Snapshot Algorithm For Channel State Capture Building A Distributed Actor Framework On Top Of Tcp: Messaging, Supervision, And Location Transparency

2 The Complexity Of The Vector Clock Algorithm For Causal Ordering And Garbage Collection

3

4 Side-Channel Attacks: Timing, Power Analysis, Cache-Timing, and the Constant-Time Discipline

5

6 Formal Verification of Cryptographic Protocols: ProVerif, Tamarin, and the TLS 1.3 Verification Story Microarchitectural Attacks: Spectre, Meltdown, and the Transient Execution Apocalypse

7 Designing A Time Bounded Consensus Protocol For Real Time Systems: Replicated State Machines With Deadlines

8

9

10

11

12 Implementing A Distributed Key Value Store With Strong Consistency And Elastic Scalability Using Raft

13

14 The Performance Of Log Replication In Raft Under High Throughput: Batching, Pipelining, And Pipelined Raft

15

16

17

18

19

20

21

22

23 A Deep Dive Into The Google’S Spanner Database: Truetime, Two Phase Commit, And External Consistency

24

25

26

27

28

29 Building A Deterministic Database With Calvin: Distributed Log, Lock Free Processing, And Configuration The Algorithm For Distributed Transactions In Fauna: Calvin With Snapshot Isolation And Commit Protocol

30