Portfolio Website for New Orleans artist Katie Rafferty. Katie commissioned me to work on a website to showcase her art and her process. I worked with her over a period of a few months to talk about ...

Abstract: Opacity is an important information-flow security property in the analysis of cyber-physical systems. It captures the plausible deniability of the system's secret behavior in the presence of ...

Abstract: In this article, we investigate the enforcement of opacity via supervisory control in the context of discrete-event systems. A system is said to be opaque if the intruder, which is modeled ...

Yahoo Entertainment is your source for the latest TV, movies, music, and celebrity news, including interviews, trailers, photos, and first looks.

This extension only applies to markdown-formatted documents, and is not guaranteed to work on other file formats. Quarto (.qmd) is supported by default. No commands are provided. Color string of ...