Analysis of a wavelet-based robust hash algorithm. - Albert Meixner; Andreas Uhl (Security, Steganography, and Watermarking of Multimedia Contents, 2004)

Security Enhancement of Visual Hashes Through Key Dependent Wavelet Transformations. - Albert Meixner; Andreas Uhl (ICIAP, 2005)

Dynamic Verification of Sequential Consistency. - Albert Meixner; Daniel J. Sorin (ISCA, 2005)

Robustness and security of a wavelet-based CBIR hashing algorithm. - Albert Meixner; Andreas Uhl (MM&Sec, 2006)

Error Detection Using Dynamic Dataflow Verification. - Albert Meixner; Daniel J. Sorin (PACT, 2007)

Unified microprocessor core storage. - Albert Meixner; Daniel J. Sorin (Conf. Computing Frontiers, 2007)

Lazy Error Detection for Microprocessor Functional Units. - Mahmut Yilmaz; Albert Meixner; Sule Ozev; Daniel J. Sorin (DFT, 2007)

Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures. - Albert Meixner; Daniel J. Sorin (HPCA, 2007)

Detouring: Translating software to circumvent hard faults in simple cores. - Albert Meixner; Daniel J. Sorin (DSN, 2008)

Argus: Low-Cost, Comprehensive Error Detection in Simple Cores. - Albert Meixner; Michael E. Bauer; Daniel J. Sorin (IEEE Micro, 2008)

Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures. - Albert Meixner; Daniel J. Sorin (IEEE Trans. Dependable Secur. Comput., 2009)

Architectures for online error detection and recovery in multicore processors. - Dimitris Gizopoulos; Mihalis Psarakis; Sarita V. Adve; Pradeep Ramachandran; Siva Kumar Sastry Hari; Daniel J. Sorin; Albert Meixner; Arijit Biswas; Xavier Vera (DATE, 2011)

An FPGA-based experimental evaluation of microprocessor core error detection with Argus-2. - Patrick J. Eibl; Albert Meixner; Daniel J. Sorin (SIGMETRICS, 2011)