For general information about CyLab, please call
412-268-5715 or email at email@example.com.
If your organization is interested in becoming a CyLab Partner, please contact Michael Lisanti, Associate Director for Partnership Development at firstname.lastname@example.org or call 412-268-1870.
For more help in finding a specific person, please use the CyLab Directory.
Lujo Bauer's research interests span many areas of computer security, and include building usable access-control systems with sound theoretical underpinnings, developing languages and systems for run-time enforcement of security policies on programs, and generally narrowing the gap between a formal model and a practical, usable system. Learn more about Dr. Bauer.