5 citations · 9 across the 4 of their papers we have counts for
4 papers
PriLok: Citizen-protecting distributed epidemic tracing
Paulo Esteves-Verissimo, Jérémie Decouchant, Marcus Völp +2
Contact tracing is an important instrument for national health services to fight epidemics. As part of the COVID-19 situation, many proposals have been made for scaling up contract…
Behind the Last Line of Defense -- Surviving SoC Faults and Intrusions
Inês Pinto Gouveia, Marcus Völp, Paulo Esteves-Verissimo
Today, leveraging the enormous modular power, diversity and flexibility of manycore systems-on-a-chip (SoCs) requires careful orchestration of complex resources, a task left to low…
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Christel Baier, Marcus Daum, Benjamin Engel +6
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore comp…
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
Hendrik Tews, Marcus Völp, Tjark Weber
In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects. I…