SPLASH 2018 (series) / HILT 2018 (series) / HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems /
Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication
Or… Ensuring Applications Availability and Security Through Entropy-Augmented Replication. This talk will outline a framework for running distributed, loosely coupled application replicas on multiple hosts. The resulting host-application interface is inherently high entropy, which makes it very difficult to launch coordinated attacks on enough replicas to be undetected. The resulting system has a high degree of application integrity in addition to high application availability.
- University of Trieste, Italy 1969-1975, Dottore in Ingegneria Elettronica, Magna Cum Laude
- University of Massachusetts/Amherst 1975-1977, MSECE
- Digital Equipment - Large Systems 1977-1993, Consulting Engineer & Program Mgr
- Marathon Technologies 1993-2001, Founding Employee & VP Systems Engineering
- Stonemyst 1994-2013, IT Consultant
- Cetacean Networks 2001-2002, Director Network Software
- eyeSeven 2002-2011, Founding Employee & VP Engineering
- Virtual Software Systems 2013-present, co-founder & VP Engineering
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
15:30 - 17:00 | |||
15:30 25mIndustry talk | Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations HILT Paul Anderson GrammaTech, Inc | ||
15:55 25mIndustry talk | Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication HILT Mario Troiani Virtual Software Systems | ||
16:20 25mIndustry talk | Security Showcase -- SPARK Formal Verification for Security HILT Tucker Taft AdaCore | ||
16:45 15mDay closing | Workshop Wrapup HILT Tucker Taft AdaCore | ||
