Latest Research
Maximal Atomic irRedundant Sets: a Usage-based Dataflow Partitioning Algorithm
Programs admitting a polyhedral representation can be transformed in many ways for locality and parallelism, notably loop tiling.
Programming Languages Distributed, Parallel, and Cluster Computing
Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum
dfki-ric-underactuated-lab/torque_limited_simple_pendulum
•
•
Linear-quadratic regulators (LQR) are a well known and widely used tool in control theory for both linear and nonlinear dynamics.
Robotics
P4Testgen: An Extensible Test Oracle For P4
We present P4Testgen, a test oracle for the P4-16 language that supports automatic generation of packet tests for any P4-programmable device.
Networking and Internet Architecture Symbolic Computation Software Engineering
Security Analysis of the Consumer Remote SIM Provisioning Protocol
Also, the lack of pre-established identifiers means that a compromised download server anywhere in the world or a compromised secure element can be used for attacks against RSP between honest participants.
Cryptography and Security
A1 SLAM: Quadruped SLAM using the A1's Onboard Sensors
Despite the surge of interest and research development in SLAM and quadrupeds, there still has yet to be an open-source package that capitalizes on the onboard sensors of an affordable quadruped.
Robotics
Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained Timers
Side-channel attacks pose serious threats to many security models, especially sandbox-based browsers.
Cryptography and Security Hardware Architecture
strategFTO: Untimed control for timed opacity
We introduce a prototype tool strategFTO addressing the verification of a security property in critical software.
Cryptography and Security Formal Languages and Automata Theory Logic in Computer Science
When Congestion Games Meet Mobile Crowdsourcing: Selective Information Disclosure
In congestion games, users make myopic routing decisions to jam each other, and the social planner with the full information designs mechanisms on information or payment side to regulate.
Computer Science and Game Theory
Safe and Robust Observer-Controller Synthesis using Control Barrier Functions
This paper addresses the synthesis of safety-critical controllers using estimate feedback.
Robotics Systems and Control Systems and Control
Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels
We design and implement Plumber, a framework to derive the generic Leakage Templates from individual code sequences that are known to cause leakage (e. g., found by prior work).
Cryptography and Security
