ジェームズ・マッシーの下で博士号を取ったマウラーは、キャリアを通じて情報理論的安全性を研究してきた。ワンタイムパッドが与えるような、攻撃者の計算能力が問題にならない種類の保証である。1990年代初頭の研究では、盗聴されている通信路でも、盗聴者の受信状態が正規の二者より少し悪ければ、二者が秘密鍵を共有できることを示した。
攻撃者がすべてを保存できないことに安全性の根拠を置く有界記憶モデルや、のちにレナート・レンナーと進めた構成的暗号にも取り組んだ。プロトコルを合成可能な部品として安全性証明する試みである。これらの考え方は量子鍵配送の理論にも引き継がれている。