FORTRESS: Adding Intrusion-Resilience to Primary-Backup Server Systems | IEEE Conference Publication | IEEE Xplore