7 citations · 12 across the 9 of their papers we have counts for
9 papers
Towards Verified and Targeted Explanations through Formal Methods
Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette +3
As deep neural networks are deployed in safety-critical domains such as autonomous driving and medical diagnosis, stakeholders need explanations that are interpretable but also tru…
SUGAR: A Sweeter Spot for Generative Unlearning of Many Identities
Dung Thuy Nguyen, Quang Nguyen, Preston K. Robinette +3
Recent advances in 3D-aware generative models have enabled high-fidelity image synthesis of human identities. However, this progress raises urgent questions around user consent and…
Blind Visible Watermark Removal with Morphological Dilation
Preston K. Robinette, Taylor T. Johnson
Visible watermarks pose significant challenges for image restoration techniques, especially when the target background is unknown. Toward this end, we present MorphoMod, a novel me…
EditScout: Locating Forged Regions from Diffusion-based Edited Images with Multimodal LLM
Quang Nguyen, Truong Vu, Trong-Tung Nguyen +6
Image editing technologies are tools used to transform, adjust, remove, or otherwise alter images. Recent research has significantly improved the capabilities of image editing tool…
Formalizing Stateful Behavior Trees
Serena S. Serbinowska, Preston Robinette, Gabor Karsai +1
Behavior Trees (BTs) are high-level controllers that are useful in a variety of planning tasks and are gaining traction in robotic mission planning. As they gain popularity in safe…
Trigger-Based Fragile Model Watermarking for Image Transformation Networks
Preston K. Robinette, Dung T. Nguyen, Samuel Sasaki +1
In fragile watermarking, a sensitive watermark is embedded in an object in a manner such that the watermark breaks upon tampering. This fragile process can be used to ensure the in…
Sanitizing Hidden Information with Diffusion Models
Preston K. Robinette, Daniel Moyer, Taylor T. Johnson
Information hiding is the process of embedding data within another form of data, often to conceal its existence or prevent unauthorized access. This process is commonly used in var…
SUDS: Sanitizing Universal and Dependent Steganography
Preston K. Robinette, Hanchen D. Wang, Nishan Shehadeh +2
Steganography, or hiding messages in plain sight, is a form of information hiding that is most commonly used for covert communication. As modern steganographic mediums include imag…
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez +2
Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near…