David Mestel (D.)

My research interests are quite broad - they include the foundations of information security, decidability and complexity of verification problems (especially problems arising from security), and now also the relationship of security with quantum information theory.