December 1, 2017, Stéphane Lafortune, University of Michigan

Friday, December 1, 2017, 3pm-4pm
8 St. Mary’s Street, PHO 211
Refreshments at 2:45pm

Stéphane Lafortune
University of Michigan
CISE Resident Scholar

Privacy Enforcement Using Obfuscation: An Event-Based Approach Using Opacity

We present a general information-flow property called “opacity” that captures many security and privacy requirements in the information disclosed by a system to the outside world. We discuss the verification of opacity and its enforcement for non-opaque systems. The enforcement technique considered edits the output event stream of the system by inserting fictitious events or deleting genuine events. We discuss how to synthesize edit functions that guarantee opacity under different assumptions. We then apply the technique of edit functions to the problem of location privacy enforcement in a networked environment where users are continuously monitored by IoT devices.

Stéphane Lafortune is a professor in the Department of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. He obtained his degrees from Ecole Polytechnique de Montréal (B.Eng), McGill University (M.Eng), and the University of California at Berkeley (PhD), all in electrical engineering. Dr. Lafortune is a Fellow of the IEEE (1999). His research interests are in discrete event systems and include multiple problem domains: modeling, diagnosis, control, optimization, and applications to computer systems. He co-authored, with C. Cassandras, the textbook Introduction to Discrete Event Systems (2nd Edition, Springer, 2008). He is co-developer of the software packages DESUMA and UMDES.

Faculty Host: Christos Cassandras
Student Host: Rebecca Swaszek