Our papers “Tolerating Compound Threats in Critical Infrastructure Systems” and “Availability Analysis of Network-Attack-Resilient Byzantine Fault Tolerant Systems” are accepted to SRDS 2024.