Matthew Blischke

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 4

Top Topics

Dynamically Select

Conceptual Framework

Representation Language

Top Venues

Discret. Event Dyn. Syst.

Publications

Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A Dynamic Obfuscation Framework for Security and Utility. ICCPS (2022)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A general language-based framework for specifying and verifying notions of opacity. Discret. Event Dyn. Syst. 32 (2) (2022)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. CoRR (2021)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
Enforcement of K-Step Opacity with Edit Functions. CDC (2021)