Watermark Security via Secret Wavelet Packet Subband Structures. - Werner Dietl; Andreas Uhl (Communications and Multimedia Security, 2003)

Key-dependent pyramidal wavelet domains for secure watermark embedding. - Werner Dietl; Peter Meerwald; Andreas Uhl (Security and Watermarking of Multimedia Contents, 2003)

Protection of wavelet-based watermarking systems using filter parametrization. - Werner Dietl; Peter Meerwald; Andreas Uhl (Signal Process., 2003)

A Type System for Checking Applet Isolation in Java Card. - Werner Dietl; Peter Müller 001; Arnd Poetzsch-Heffter (CASSIS, 2004)

Robustness against unauthorized watermark removal attacks via key-dependent wavelet packet subband structures. - Werner Dietl; Andreas Uhl (ICME, 2004)

Key-dependency for a wavelet-based blind watermarking algorithm. - Michael Brachtl; Andreas Uhl; Werner Dietl (MM&Sec, 2004)

Universes: Lightweight Ownership for JML. - Werner Dietl; Peter Müller 001 (J. Object Technol., 2005)

Generic Universe Types. - Werner Dietl; Sophia Drossopoulou; Peter Müller 001 (ECOOP, 2007)

Universe Types for Topology and Encapsulation. - Dave Cunningham; Werner Dietl; Sophia Drossopoulou; Adrian Francalanza; Peter Müller 001; Alexander J. Summers (FMCO, 2007)

Universe Types - Topology, Encapsulation, Genericity, and Tools. - Werner Michael Dietl (2009)

Universe Types - Topologie, Kapselung, Generizität und Tools. - Werner Dietl (Ausgezeichnete Informatikdissertationen, 2009)

Tunable Static Inference for Generic Universe Types. - Werner Dietl; Michael D. Ernst; Peter Müller 001 (ECOOP, 2011)

Building and using pluggable type-checkers. - Werner Dietl; Stephanie Dietzel; Michael D. Ernst; Kivanç Muslu; Todd W. Schiller (ICSE, 2011)

EnerJ: approximate data types for safe and general low-power computation. - Adrian Sampson; Werner Dietl; Emily Fortuna; Danushen Gnanapragasam; Luis Ceze; Dan Grossman (PLDI, 2011)

Separating ownership topology and encapsulation with generic universe types. - Werner Dietl; Sophia Drossopoulou; Peter Müller 001 (ACM Trans. Program. Lang. Syst., 2011)

Verification games: making verification fun. - Werner Dietl; Stephanie Dietzel; Michael D. Ernst; Nathaniel Mote; Brian Walker; Seth Cooper; Timothy Pavlik; Zoran Popovic (FTfJP@ECOOP, 2012)

Inference and Checking of Object Ownership. - Wei Huang 001; Werner Dietl; Ana L. Milanova; Michael D. Ernst (ECOOP, 2012)

A type system for regular expressions. - Eric Spishak; Werner Dietl; Michael D. Ernst (FTfJP@ECOOP, 2012)

Reim & ReImInfer: checking and inference of reference immutability and method purity. - Wei Huang 001; Ana L. Milanova; Werner Dietl; Michael D. Ernst (OOPSLA, 2012)

Java UI : Effects for Controlling UI Object Access. - Colin S. Gordon; Werner Dietl; Michael D. Ernst; Dan Grossman (ECOOP, 2013)

Object Ownership in Program Verification. - Werner Dietl; Peter Müller 001 (Aliasing in Object-Oriented Programming, 2013)

Collaborative Verification of Information Flow for a High-Assurance App Store. - Michael D. Ernst; René Just; Suzanne Millstein; Werner Dietl; Stuart Pernsteiner; Franziska Roesner; Karl Koscher; Paulo Barros; Ravi Bhoraskar; Seungyeop Han; Paul Vines; Edward XueJun Wu (CCS, 2014)

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). - Paulo Barros; René Just; Suzanne Millstein; Paul Vines; Werner Dietl; Marcelo d'Amorim; Michael D. Ernst (ASE, 2015)

Granullar: gradual nullable types for Java. - Dan Brotherston; Werner Dietl; Ondrej Lhoták (CC, 2017)

Don't Miss the End: Preventing Unsafe End-of-File Comparisons. - Charles Zhuo Chen; Werner Dietl (NFM, 2018)

Precise inference of expressive units of measurement types. - Tongtong Xiang; Jeff Y. Luo; Werner Dietl (Proc. ACM Program. Lang., 2020)

A computational complexity analysis of tunable type inference for Generic Universe Types. - Nahid Juma; Werner Dietl; Mahesh Tripunitara (Theor. Comput. Sci., 2020)

Ensuring correct cryptographic algorithm and provider usage at compile time. - Weitian Xing; Yuanhui Cheng; Werner Dietl (FTfJP@ECOOP, 2021)

Scalability and precision by combining expressive type systems and deductive verification. - Florian Lanzinger; Alexander Weigl; Mattias Ulbrich; Werner Dietl (Proc. ACM Program. Lang., 2021)

Scalable and Precise Refinement Types for Imperative Languages. - Florian Lanzinger; Joshua Bachmeier; Mattias Ulbrich; Werner Dietl (iFM, 2023)

Least-Privilege Calls to Amazon Web Services. - Puneet Gill; Werner Dietl; Mahesh Tripunitara (IEEE Trans. Dependable Secur. Comput., 2023)

OppropBERL: A GNN and BERT-Style Reinforcement Learning-Based Type Inference. - Piyush Jha; Werner Dietl (SANER, 2024)