Publikationen

Veröffentlichungen aus ARAMiS II


2018

 

Constructing Safer Systems by Design. Stilkerich, Isabella. 2018. Berlin, Germany, 2018. Invited Talk at Automotive ISO 26262: Functional Safety Adaptation and Integration.

Control Flow Analysis for Embedded Multi-Core Hybrid Systems. Hoppe, Augusto W., Kastensmidt, Fernanda Lima und Becker, Jürgen. 2018. 2018. 13th International Symposium on Applied Reconfigurable Computing (ARC).

Earthquake - A NoC-based optimized differential collision cache attack for MPSoCs. Reibrecht, C., Zankl, A. und Sepulveda, J. 2018. Dresden, Germany, 2018. Design, Automation & Test in Europe (DATE).

EGIS NoC: A secure-enhanced interconnection to prevent Architectural Channel Attacks. Sepulveda, J. 2018. Freiburg, Germany, 2018. Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.

The ARAMiS Project Initiative: Multicore Systems in Safety- and Mixed-Critical Applications. Becker, Jürgen und Bapp, Falco K. 2018. 2018. 13th International Symposium on Applied Reconfigurable Computing (ARC).

Towards Fail-Operational Systems on Controller Level using Heterogeneous Multicore SoC Architectures and Hardware Support. Bapp, Falco K., et al. 2018. 2018. WCX: SAE World Congress Experience.

Towards the formal verification of security properties of a Network-on-Chip router. Sepulveda, J. 2018. Freiburg, Germany, 2018. Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.

 


 

2017

A Security-aware Routing Implementation for Dynamic Data Protection in Zone-based MPSoC. Sepulveda, J., et al. 2017. Fortaleza, Brazil, 2017. 30th SBCCI 2017 - IEEE Symposium on Integrated Circuits and System Design.

Architekturvarianten sicherheitskritischer Echtzeitsysteme. Becker, U., Stilkerich, I. und Münzenberger, R. 2017. Sindelfingen, Germany, 2017. Embedded Systems Engineering Congress.

Becker, U., et al. 10.2017. Kostengünstig? Aber sicher! Bewertung von Architekturvarianten im Kontext von ISO 26262 und harter Echtzeit. HANSER Automotive. 10.2017, S. 10-18.

Cache Attacks and countermeasures for NTRUEncrypt on MPSoCs: Post-quantum Resistance for the IoT. Sepulveda, J., Zankl, A. und Mischke, O. 2017. Munich, Germany, 2017. 30th IEEE International System-on-Chip Conference.

Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness. Schuster, Simon, et al. 2017. Seoul, South Korea, 2017. EMSOFT 2017 / ACM TECS Journal.

Detecting Safety- and Security- Relevant Programming Defects by Sound Static Analysis. Kästner, Daniel, Mauborgne, Laurent und Ferdinand, Christian. 2017. Barcelona, Spain, 2017. CYBER 2017.

Developing Safety-critical Systems on Multi-core. The ARAMiS Way. Baldovin, Andrea et al. 2017. Webex/GE Niskayuna, New York, USA, 2017.

Evaluation of Architecture Variants for Hard Real-Time Systems. Stilkerich, I. und Pinecker, F. 2017. Stuttgart, Germany, 2017. EUROFORUM ISO 26262 Conference.

Experiences gained from modeling and solving large mapping problems during system design. Hilbrich, Robert und Behrisch, Michael. 2017. Montreal, Canada, 2017. IEEE Systems Conference 2017.

Exploiting Bus Communication to Improve Cache Attacks on Systems-on-Chips. Sepulveda, J., et al. 2017. Bochum, Germany, 2017. ISVLSI 2017 – IEEE Computer Society Annual Symposium on VLSI.

Hardware Security and MPSoCs. Sepulveda, Johanna. 2017. New York, NY, USA, 2017.

Importance of HW models in developing applications for MSoCs. Kuntz, Stefan. 2017. Munich, Germany, 2017. 3rd Embedded Multi-Core Conference (EMCC) .

Introduction to Hardware-Oriented Security for MPSoCs. Polian, I., Regazzoni, F. und Sepulveda, J. 2017. Munich, Germany, 2017. 30th IEEE International System-on-Chip Conference.

Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. Decker, Normann, et al. 2017. Recife, Pernambuco, Brazil, 2017. 20th Brazilian Symposium on Formal Methods (SBMF).

Reinbrecht, C., et al. 2017. Timing Attack on NoC-based Systems: Prime+Probe Attack and NoC-based Protection. [Hrsg.] Springer. Microprocessors and Microsystems EMBEDDED HARDWARE DESIGN. 2017.

Safe and Secure Multi-core Systems for Critical Applications. Sepulveda, Johanna. 2017. Frankfurt, Germany, 2017.

Satisfying Safety and Security Requirements by Static Code Analysis. 2017. Stuttgart, Germany, 2017. Euroforum Jahrestagung ISO 26262.

Schuster, S., et al. 2017. Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness. ACM Transactions on Embedded Computing Systems. 2017.

Sepulveda, J., et al. 2017. Efficient Security Zones Implementation through Hierarchical Group Key Management at NoC-Based MPSoCs. [Hrsg.] Springer. Microprocessors and Microsystems EMBEDDED HARDWARE DESIGN. 2017.

Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip. Indrusiak, L., Harbin, J. und Sepulveda, J. 2017. Madrid, Spain, 2017. 12th ReCoSoC 2017 – IEEE International Symposium on Reconfigurable Communication-Centric System-on-Chip.

Simulating Autonomous Vehicles and Future Mobility Concepts in Urban Areas. Hilbrich, Robert und Behrisch, Michael. 2017. Toulouse, France, 2017. EclipseCon Europe 2017.

Stilkerich, I., et al. 5.2017. The Perfect Getaway: Using Escape Analysis in Embedded Real-Time Systems. ACM Transactions on Embedded Computing Systems (TECS). 5.2017.

Towards Multicore WCET Analysis. Wegener, Simon. 2017. Dubrovnik, Croatia, 2017. WCET 2017.

Towards Post-quantum Security for IoT Endpoints with NTRU. Sepulveda, Johanna. 2017. Lausanne, Switzerland , 2017. Design, Automation & Test in Europe Conference & Exhibition (DATE).

Towards Protected MPSoC Communication for Information Protection against a Malicious NoC. Sepulveda, Johanna. 2017. Zurich, Switzerland, 2017.

Towards Trace-driven Cache Attacks by Exploiting Bus Communication on Systems-on-Chips. Sepulveda, J., et al. 2017. Madrid, Spain, 2017. 12th ReCoSoC 2017 – IEEE International Symposium on Reconfigurable Communication-Centric System-on-Chip.

Verification of execution traces using TeSSLa: A Real-Time Specification Language. Jahic, Jasmin, et al. 2017. Munich, Germany, 2017.

 

2016

Systems Engineering based on the Correctness by Construction Principle. Hilbrich, Robert. 2016. Berlin, Germany, 2016. IQPC System Safety EUROPE.