Marcus Völp

Mirsaeid Hosseini Shirvani

Sadoon Azizi

Clust. Comput., November, 2024

A multi-objective crow search algorithm for optimizing makespan and costs in scientific cloud workflows (CSAMOMC).

[BibT_eX]

[DOI]

Computing, June, 2024

SI-AKAV: Secure integrated authentication and key agreement for cellular-connected IoT devices in vehicular social networks.

[BibT_eX]

[DOI]

Kostromitin Konstantin Igorevich

Trans. Emerg. Telecommun. Technol., April, 2024

Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers.

[BibT_eX]

[DOI]

Proceedings of the 99th IEEE Vehicular Technology Conference, 2024

On the Impacts of Shared-Resource Contention on Intrusion Detection Systems based on Performance Monitoring.

[BibT_eX]

[DOI]

Leonardo Passig Horstmann

Antônio Augusto Fröhlich

Proceedings of the 27th IEEE International Symposium on Real-Time Distributed Computing, 2024

Tolerating Disasters with Hierarchical Consensus.

[BibT_eX]

[DOI]

Wassim Yahyaoui

Joachim Bruneau-Queyreix

Jérémie Decouchant

Proceedings of the IEEE INFOCOM 2024, 2024

Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

I-GWAS: Privacy-Preserving Interdependent Genome-Wide Association Studies.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., January, 2023

Toward resilient autonomous driving - An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack.

[BibT_eX]

[DOI]

Federico Lucchetti

Rafal Graczyk

Mohammad Ibrahim Alkoudsi

Frontiers Comput. Sci., 2023

A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Consensual Resilient Control: Stateless Recovery of Stateful Controllers.

[BibT_eX]

[DOI]

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip.

[BibT_eX]

[DOI]

Ali Shoker

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation.

[BibT_eX]

[DOI]

Júlio Mendonça

Fumio Machida

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Secure and Distributed Assessment of Privacy-Preserving Releases of GWAS.

[BibT_eX]

[DOI]

Túlio A. Pascoal

Jérémie Decouchant

CoRR, 2022

Federated Geometric Monte Carlo Clustering to Counter Non-IID Datasets.

[BibT_eX]

[DOI]

CoRR, 2022

Behind the last line of defense: Surviving SoC faults and intrusions.

[BibT_eX]

[DOI]

Inês Pinto Gouveia

Mohammad Ibrahim Alkoudsi

Comput. Secur., 2022

Tolerating Resource Exhaustion Attacks in the Time-Triggered Architecture.

[BibT_eX]

[DOI]

Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022

Security Modeling and Analysis of Moving Target Defense in Software Defined Networks.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Secure and distributed assessment of privacy-preserving GWAS releases.

[BibT_eX]

[DOI]

Túlio A. Pascoal

Jérémie Decouchant

Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022

Automatic Repair and Deadlock Detection for Parameterized Systems.

[BibT_eX]

[DOI]

Swen Jacobs

Mouhammad Sakr

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering.

[BibT_eX]

[DOI]

Grzegorz Juchnikowski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

2021

Randomization as Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Real-Time Systems with Task Replication.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2021

Parameterized Repair of Concurrent Systems.

[BibT_eX]

[DOI]

Swen Jacobs

Mouhammad Sakr

CoRR, 2021

Sanctuary lost: a cyber-physical warfare in space.

[BibT_eX]

[DOI]

Rafal Graczyk

CoRR, 2021

EphemeriShield - defence against cyber-antisatellite weapons.

[BibT_eX]

[DOI]

Rafal Graczyk

CoRR, 2021

Threat Adaptive Byzantine Fault Tolerant State-Machine Replication.

[BibT_eX]

[DOI]

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

2020

DNA-SeAl: Sensitivity Levels to Optimize the Performance of Privacy-Preserving DNA Alignment.

[BibT_eX]

[DOI]

IEEE J. Biomed. Health Informatics, 2020

PriLok: Citizen-protecting distributed epidemic tracing.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Sustainable Security & Safety: Challenges and Opportunities.

[BibT_eX]

[DOI]

Andreas Steininger

Thorsten Holz

Proceedings of the 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems, 2019

2018

A Hardware/Software Stack for Heterogeneous Systems.

[BibT_eX]

[DOI]

IEEE Trans. Multi Scale Comput. Syst., 2018

Accurate filtering of privacy-sensitive information in raw genomic data.

[BibT_eX]

[DOI]

J. Biomed. Informatics, 2018

Towards Real-Time-Aware Intrusion Tolerance.

[BibT_eX]

[DOI]

Christoph Lambert

Jeremie Decouchant

Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

Improving Security for Time-Triggered Real-Time Systems with Task Replication.

[BibT_eX]

[DOI]

Kristin Krüger

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Intrusion-Tolerant Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq.

[BibT_eX]

[DOI]

Vincent Rahli

Ivana Vukotic

Proceedings of the Programming Languages and Systems, 2018

Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered Systems.

[BibT_eX]

[DOI]

Kristin Krüger

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2017

Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXV, 2017

Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXV, 2017

Enclave-Based Privacy-Preserving Alignment of Raw Genomic Information: Information Leakage and Countermeasures.

[BibT_eX]

[DOI]

Miguel A. Olivares-Méndez

Proceedings of the 2nd Workshop on System Software for Trusted Execution, SysTEX@SOSP 2017, 2017

A Perspective of Security for Mobile Service Robots.

[BibT_eX]

[DOI]

Gary Cornelius

Patrice Caire

Nico Hochgeschwender

Holger Voos

Proceedings of the ROBOT 2017: Third Iberian Robotics Conference, 2017

Meeting the Challenges of Critical and Extreme Dependability and Security.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Exploiting transistor-level reconfiguration to optimize combinational circuits.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Formally verified differential dynamic logic.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on System Software for Trusted Execution, 2016

Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuits.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems.

[BibT_eX]

[DOI]

Antonio Lima

Francisco Rocha

Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and Privacy, 2016

M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Locks: Picking key methods for a scalable quantitative analysis.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

Demo abstract: Taming many heterogeneous cores.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Query processing on low-energy many-core processors.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Data Engineering Workshops, 2015

Towards dependable CPS infrastructures: Architectural and operating-system challenges.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Flat but trustworthy: security aspects in flattened hierarchical scheduling.

[BibT_eX]

[DOI]

Adam Lackorzynski

Alexander Warg

SIGBED Rev., 2014

Towards Computation with Microchemomechanical Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2014

Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems.

[BibT_eX]

[DOI]

Marcus Hähnel

Adam Lackorzynski

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Integrated circuits processing chemical information: Prospects and challenges.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

The case for practical multi-resource and multi-level scheduling based on Energy/Utility.

[BibT_eX]

[DOI]

Marcus Hähnel

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

On confidentiality-preserving real-time locking protocols.

[BibT_eX]

[DOI]

Benjamin Engel

Claude-Joachim Hamann

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

Elastic Manycores - How to Bring the OS Back into the Scheduling Game?

[BibT_eX]

[DOI]

Michael Roitzsch

Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

eBond: energy saving in heterogeneous R.A.I.N.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Future Energy Systems, 2013

The Potential of Energy/Utility-Accrual Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

Measuring energy consumption for short code paths using RAPL.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2012

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code

[BibT_eX]

[DOI]

Hendrik Tews

Tjark Weber

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

The IMData Approach to Accelerate Data Intensive Workloads.

[BibT_eX]

[DOI]

Nils Asmussen

Proceedings of the Facing the Multicore-Challenge, 2012

Waiting for Locks: How Long Does It Usually Take?

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Flattening hierarchical scheduling.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

2010

Provable protection of confidential data in microkernel based systems.

[BibT_eX]

[DOI]

Marcus Rolf Völp

PhD thesis, 2010

2009

Formal Memory Models for the Verification of Low-Level Operating-System Code.

[BibT_eX]

[DOI]

Hendrik Tews

Tjark Weber

J. Autom. Reason., 2009

2008

A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code.

[BibT_eX]

[DOI]

Hendrik Tews

Tjark Weber

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

Avoiding timing channels in fixed-priority schedulers.

[BibT_eX]

[DOI]

Claude-Joachim Hamann

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2000

Preliminary thoughts on memory-bus scheduling.

[BibT_eX]

[DOI]

Jochen Liedtke