Building Critical Applications Using Microservices

Safeguarding the correctness of critical software is a grand challenge. A microservice-based system is described that builds trustworthy systems on top of legacy hardware and software components, ensuring microservices' integrity, confidentiality, and correct execution with the help of secure enclaves.

[1]  Christof Fetzer,et al.  Δ-Encoding: Practical Encoded Processing , 2015, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.

[2]  David M. Eyers,et al.  SCONE: Secure Linux Containers with Intel SGX , 2016, OSDI.

[3]  Gernot Heiser,et al.  It's Time for Trustworthy Systems , 2012, IEEE Security & Privacy.

[4]  Christof Fetzer,et al.  HAFT: hardware-assisted fault tolerance , 2016, EuroSys.

[5]  Christof Fetzer,et al.  Boundless memory allocations for memory safety and high availability , 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).

[6]  Lukas Bulwahn,et al.  Research on an Open-Source Software Platform for Autonomous Driving Systems , 2013 .

[7]  Christof Fetzer,et al.  ∆-encoding : Practical Encoded Processing , 2015 .