Yannis Mallios

            PhD Student

            Carnegie Mellon University

       Contact Information

            imal...@andrew.cmu.edu

 

 

I am a PhD student in the Electrical and Computer Engineering Department at Carnegie Mellon University. I am interested in several aspects of Computer Security. Currently I am working on Language Based Security, focusing on formal specification and analysis of security policies' enforcement using runtime program monitors, proving techniques for distributed logic based access control, and distributed and proof carrying authentication and authorization.

 

My advisor is Lujo Bauer.

 

 

 

Projects

 

Past Projects

 

Publications in Conferences and Workshops

Journal Articles

Technical Reports

Theses

Talks