Dietl, Werner M. - Department of Computer Science and Engineering, University of Washington at Seattle

Advanced Search

Dietl, Werner M. - Department of Computer Science and Engineering, University of Washington at Seattle

Vol. 4, No. 8, 2005 Universes: Lightweight Ownership for JML
JML Reference Manual DRAFT, $Revision: 1.235 $
Key-dependent pyramidal wavelet domains for secure watermark embedding
Improving the Security of Wavelet-based Watermarking Systems
Ownership Type Systems and Dependent Classes Werner Dietl
Comparing Universes and Existential Ownership Types Nicholas Cameron
Universe Types Topologie, Kapselung, Generizitat und Tools
Tunable Universe Type Inference Technical Report 659
Generic Universe Types Werner Dietl
2007 State of the Universe Address Werner Dietl
Generic Universe Types Werner Dietl1
Tunable Static Inference for Generic Universe Types
Building and Using Pluggable Type-Checkers Werner Dietl Stephanie Dietzel Michael D. Ernst Kivan Muslu Todd W. Schiller
Comparing Universes and Existential Ownership Types Nicholas Cameron
Universe Type System --Quick-Reference Werner Dietl, Peter Mller, and Daniel Schregenberger
Runtime Universe Type Inference Werner Dietl
Key-Dependency for a Wavelet-Based Blind Watermarking Michael Brachtl and Andreas Uhl
2004 IEEE International Conference on Multimedia and Expo (ICME) ROBUSTNESS AGAINST UNAUTHORIZED WATERMARK REMOVAL ATTACKS
Exceptions in Ownership Type Systems Werner Dietl and Peter Muller
A Type System for Checking Applet Isolation in Werner Dietl1
Watermark Security via Secret Wavelet Packet Subband Structures
Doctoral Thesis ETH No. 18522 Universe Types
Universe Types for Topology and Encapsulation
Formalization of Generic Universe Types Werner Dietl Sophia Drossopoulou Peter Muller