Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack von Ziani, Yani, Kosmatov, Nikolai, Loulergue, Frédéric, Gracia Pérez, Daniel

Volltext

Towards Formal Verification of a TPM Software Stack von Ziani, Yani, Kosmatov, Nikolai, Loulergue, Frédéric, Gracia Pérez, Daniel, Bernier, Téo

Volltext

Job-shifting: An algorithm for online admission of non-preemptive aperiodic tasks in safety critical systems von Syed, Ali, Pérez, Daniel Gracia, Fohler, Gerhard

Volltext

Call Rewinding: Efficient Backward Edge Protection von Biton, Téo, Gilles, Olivier, Gracia Pérez, Daniel, Kosmatov, Nikolai, Pillement, Sébastien

Volltext

Movilidad climática en el Marco de Sendai para la reducción del riesgo de desastres von Gracia Pérez, Daniel

Volltext

Hypervisor-Based Multicore Feedback Control of Mixed-Criticality Systems von Crespo, Alfons, Balbastre, Patricia, Simo, Jose, Coronel, Javier, Gracia-Perez, Daniel, Bonnot, Philippe

Volltext

Execution at RISC: Stealth JOP Attacks on RISC-V Applications von Buckwell, Loïc, Gilles, Olivier, Pérez, Daniel Gracia, Kosmatov, Nikolai

Volltext

Desplazados medioambientales y Derechos Humanos: una construcción conceptual sine qua non para su protección jurídica internacional | Environmental displaced people and human right... von Gracia Pérez, Daniel

Volltext

MicroLib: A Case for the Quantitative Comparison of Micro-Architecture Mechanisms von Perez, Daniel Gracia, Mouchard, Gilles, Temam, Olivier

Volltext

A Sampling Method Focusing on Practicality von Gracia Perez, D., Berry, H., Temam, O.

Volltext

Non-functional requirements in the ELASTIC architecture von Nogueira, Luis, Barros, António, Zubia, Cristina, Faura, David, Gracia Pérez, Daniel, Miguel Pinho, Luis

Volltext

Execution at RISC: Stealth JOP Attacks on RISC-V Applications von Buckwell, Loïc, Gilles, Olivier, Pérez, Daniel Gracia, Kosmatov, Nikolai

Volltext bestellen

Control-Flow Integrity at RISC: Attacking RISC-V by Jump-Oriented Programming von Gilles, Olivier, Viguier, Franck, Kosmatov, Nikolai, Pérez, Daniel Gracia

Volltext bestellen

Transparent sampling von Khan, T M, Pérez, Daniel Gracia, Temam, O

Volltext bestellen

Chaos in computer performance von Berry, Hugues, Gracia Pérez, Daniel, Temam, Olivier

Volltext

Towards Formal Verification of a TPM Software Stack von Ziani, Yani, Kosmatov, Nikolai, Loulergue, Frédéric, Pérez, Daniel Gracia, Bernier, Téo

Volltext bestellen

Execution at RISC: Stealth JOP Attacks on RISC-V Applications von Buckwell, Loïc, Olivier, Gilles, Daniel Gracia Pérez, Kosmatov, Nikolai

Volltext

METHOD FOR DETECTING AN ANOMALY IN AN ELECTRONIC SYSTEM IN OPERATION von LE RHUN, Jimmy Alain Daniel, FAURA, David José, GRACIA PÉREZ, Daniel, GIRBAL, Sylvain

Volltext bestellen

Control-Flow Integrity at RISC: Attacking RISC-V by Jump-Oriented Programming von Olivier, Gilles, Viguier, Franck, Kosmatov, Nikolai, Daniel Gracia Pérez

Volltext

Towards Formal Verification of a TPM Software Stack von Ziani, Yani, Kosmatov, Nikolai, Loulergue, Frédéric, Daniel Gracia Pérez, Bernier, Téo

Volltext