Chasing the tail of atomic broadcast protocols
Invariants-based Architecture for Semantic Malware Resistance
FDPE (Fast and Accurate Dynamic Power Estimation): Implementation and User Guidelines