Peter Gebhard

pgeb at seas.upenn.edu

I am a senior programmer in the PRECISE
embedded systems research group at the University
of Pennsylvania where I work with professors and graduate students to
develop software algorithms and applications.

Projects

This project aims to develop a credentialing scheme and access
control subsystem for a crowd-sourcing collaborative environment. The
project is funded by DARPA as part of the
Adaptive Vehicle Make
portfolio of programs.

This project aims to develop ground vehicle control systems that are
resilient to a variety of external attacks. Our approach is to combine
control-level and code-level techniques, resulting in an
approach comprised of two main stages: control law design and control
task synthesis. Control-level defenses address attacks on the environment
of the controller, such as attacks on sensors, actuators, communication
media (i.e., the network) and computational resources available to the
controller. Code-level defenses, achieved through
verified code generation of control task code, prevent injection of malicious
code into the operation of the controller itself.