Skip to main content

Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms

Deliverables

Initial Public Project Website / Presentation

Initial Public Project Website / Presentation

Press Release Announcing Start of TeamPlay

Press Release Announcing Start of TeamPlay

Report on Energy, Timing and Security Modelling of Complex Architectures

Report on Energy, Timing and Security Modelling of Complex Architectures

First Report on Architecture-Level Energy Usage, Timing and Security level Modelling

First Report on Architecture-Level Energy Usage, Timing and Security level Modelling

Achievements in the technical work packages M9

Achievements in the technical work packages, to provide material for the intermediate review of M10.

Report on Project Requirements and Evaluation Metrics

Report on Project Requirements and Evaluation Metrics

Report on Early Requirements Analysis Results

Report on Early Requirements Analysis Results

Report on Test Bed Demonstrators and Test Procedures

Report on Test Bed Demonstrators and Test Procedures

First Report on Multi-Criterial Compiler Optimisations

First Report on Multi-Criterial Compiler Optimisations

Report on Early Prototype of EnergyAnalyser

Report on Early Prototype of EnergyAnalyser

Report on Energy-, Time- and Security-aware Coordination of a Single (Parallel) Application

Report on Energy-, Time- and Security-aware Coordination of a Single (Parallel) Application

Report on Initial Implementation of Proof Library, including Initial CSL Implementation

Report on Initial Implementation of Proof Library, including Initial CSL Implementation

Report on Code-Level Contracts for Energy, Time and Security

Report on Code-Level Contracts for Energy, Time and Security

Report on the TeamPlay Basic Compiler Infrastructure

Report on the TeamPlay Basic Compiler Infrastructure

Public Mailing Lists

Public Mailing Lists

Searching for OpenAIRE data...

Publications

Less is More - Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption

Author(s): Kyriakos Georgiou, Craig Blackmore, Samuel Xavier-de-Souza, Kerstin Eder
Published in: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, 2018, Page(s) 35-42
DOI: 10.1145/3207719.3207727

Measuring and Modeling Energy Consumption of Embedded Systems for Optimizing Compilers

Author(s): Mikko Roth, Arno Luppold, Heiko Falk
Published in: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems - SCOPES '18, 2018, Page(s) 86-89
DOI: 10.1145/3207719.3207729

Favorable Adjustment of Periods for Reduced Hyperperiods in Real-Time Systems

Author(s): Dominic Oehlert, Arno Luppold, Heiko Falk
Published in: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019
DOI: 10.15480/882.2229

Multi-Objective Optimization for the Compiler of Real-Time Systems based on Flower Pollination Algorithm

Author(s): Shashank Jadhav, Heiko Falk
Published in: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES '19, 2019, Page(s) 45-48
DOI: 10.1145/3323439.3323977

Multi-objective optimization for the compiler of real-time systems based on flower pollination algorithm

Author(s): Jadhav, Shashank; Falk, Heiko
Published in: The 22nd International Workshop on Software and Compilers for Embedded Systems, of SCOPES '19, Issue 3, 2019
DOI: 10.15480/882.2269

Programming Heterogeneous Parallel machines using Refactoring and Monte-Carlo Tree Search

Author(s): Christopher Brown and Vladimir Janjic and John McCall
Published in: 12th International Symposium on High-Level Parallel Programming and Applications (HLPP), 2019

Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++

Author(s): Christopher Brown and Vladimir Janjic and Adam Barwell and Jose Daniel Garcia
Published in: 2019

Type-driven Verification of Extra-functional Properties

Author(s): Christopher Mark Brown, Adam David Barwell, Yoann Marquer, Celine Minh, Olivier Zendra
Published in: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019), 2019

Reasoning about non-functional properties using compiler intrinsic function annotations

Author(s): Shashank Jadhav, Mikko Roth, Heiko Falk, Chris Brown, Adam Barwell
Published in: Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC), 2019, Page(s) 25-28
DOI: 10.15480/882.2545

Type-Driven Verification of Non-functional Properties

Author(s): Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
Published in: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, 2019, Page(s) 1-15
DOI: 10.1145/3354166.3354171

Technology-agnostic power optimization for AES block cipher

Author(s): Kais Chibani, Adrien Facon, Sylvain Guilley, Youssef Souissi
Published in: 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2018, Page(s) 397-400
DOI: 10.1109/icecs.2018.8617921

A survey of Open-Source UAV flight controllers and flight simulators

Author(s): Emad Ebeid, Martin Skriver, Kristian Husum Terkildsen, Kjeld Jensen, Ulrik Pagh Schultz
Published in: Microprocessors and Microsystems, Issue 61, 2018, Page(s) 11-20, ISSN 0141-9331
DOI: 10.1016/j.micpro.2018.05.002

Proof-Carrying Plans

Author(s): Schwaab, Christopher and Komendantskaya, Ekaterina and Hill, Alasdair and Farka, Franti{\v{s}}ek and Petrick, Ronald P. A. and Wells, Joe and Hammond, Kevin
Published in: Practical Aspects of Declarative Languages, 2019, ISSN 0302-9743

Compiling for the Worst Case

Author(s): Arno Luppold, Dominic Oehlert, Heiko Falk
Published in: ACM Transactions on Embedded Computing Systems, Issue 19/2, 2020, Page(s) 1-26, ISSN 1539-9087
DOI: 10.1145/3381752

Detecting faults in inner product masking scheme

Author(s): Wei Cheng, Claude Carlet, Kouassi Goli, Jean-Luc Danger, Sylvain Guilley
Published in: Journal of Cryptographic Engineering, 2020, ISSN 2190-8508
DOI: 10.1007/s13389-020-00227-6

Intrinsic Resiliency of S-Boxes Against Side-Channel Attacks–Best and Worst Scenarios

Author(s): Claude Carlet, Eloi de Cherisey, Sylvain Guilley, Selcuk Kavut, Deng Tang
Published in: IEEE Transactions on Information Forensics and Security, Issue 16, 2021, Page(s) 203-218, ISSN 1556-6013
DOI: 10.1109/tifs.2020.3006399

Evaluating the Performance of Solvers for Integer-Linear Programming

Author(s): Arno Luppold, Dominic Oehlert, Heiko Falk
Published in: 2018
DOI: 10.15480/882.1839

Cache-Timing Attacks Still Threaten IoT Devices

Author(s): Sofiane Takarabt, Alexander Schaub, Adrien Facon, Sylvain Guilley, Laurent Sauvage, Youssef Souissi, Yves Mathieu
Published in: Codes, Cryptology and Information Security - Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji, Issue 11445, 2019, Page(s) 13-30
DOI: 10.1007/978-3-030-16458-4_2

Security Evaluation Against Side-Channel Analysis at Compilation Time

Author(s): Nicolas Bruneau, Charles Christen, Jean-Luc Danger, Adrien Facon, Sylvain Guilley
Published in: Algebra, Codes and Cryptology - First International Conference, A2C 2019 in honor of Prof. Mamadou Sanghare, Dakar, Senegal, December 5–7, 2019, Proceedings, Issue 1133, 2019, Page(s) 129-148
DOI: 10.1007/978-3-030-36237-9_8

Cache-Timing Attack Detection and Prevention - Application to Crypto Libs and PQC

Author(s): Sébastien Carré, Adrien Facon, Sylvain Guilley, Sofiane Takarabt, Alexander Schaub, Youssef Souissi
Published in: Constructive Side-Channel Analysis and Secure Design - 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings, Issue 11421, 2019, Page(s) 13-21
DOI: 10.1007/978-3-030-16350-1_2

Fault Analysis Assisted by Simulation

Author(s): Kais Chibani, Adrien Facon, Sylvain Guilley, Damien Marion, Yves Mathieu, Laurent Sauvage, Youssef Souissi, Sofiane Takarabt
Published in: Automated Methods in Cryptographic Fault Analysis, 2019, Page(s) 263-277
DOI: 10.1007/978-3-030-11333-9_12