I am a graduate student in the Theory Group at the School of Computer Science and Communication at Royal Institute of Technology (KTH) in Stockholm, Sweden.
My research interests concern formal methods for secure computing systems, in particular language-based security. My advisor is Prof. Mads Dam . In case you want to know more, have a look at my CV here.
News
- TNG Project: The Next Generation Platform Security
- SWITS: Swedish IT Security Network for PhD Students
- CSC awarded as Centre of Excellence in Higher Education in 2009
- Wiki KTH
- SMC: Stockholms Matematikcentrum
- The calendar of Security Privacy and Cryptography related events
Publications
1. M. Balliu and M. Dam and G. Le Guernic. Epistemic Temporal Logic for Information Flow Security . In the Proc.of ACM SIGPLAN Programming Languages and Analysis for Security (PLAS '11 ). San Jose, CA, USA. June 5, 2011. Available: PDF , Slides .
2. M. Balliu and I. Mastroeni. A weakest precondition approach to robustness .Special issue of LNCS Transactions on Computational Science X on Security in Computing. PDF
3. M. Balliu and I. Mastroeni. A weakest precondition approach to active attacks analysis . In the Proc.of ACM SIGPLAN Programming Languages and Analysis for Security (PLAS '09 ).Dublin, Ireland. June 15, 2009. Available: PDF , Slides .
Teaching Activities
- Algorithms and Complexity (2011/2012)
- Applied Programming and Computer Science (2011/2012)
- Software Safety and Security (2011/2012)
- Algorithms and Complexity (2010/2011)
- Applied Programming and Computer Science (2010/2011)
- Computer Security (2010/2011)
- Basic Internet Programming (2009/2010)
- Applied Programming and Computer Science (2009/2010)
Academic Information (CV)
-15 December 2008: Master Degree in Computer Science at the University of Verona, Italy. Thesis Tecniche di Sicurezza per la Confidenzialita e l'Integrita dei Sistemi Informatici.
Advisor: Dott.ssa Isabella Mastroeni .
.-13 September 2006: Bachelor Degree in Computer Science at the University of Verona, Italy. Thesis Verso una Teoria dei Virus Informatici.
Advisor: Prof. Roberto Giacobazzi .
-July 2003: High School Degree at K. Capo, Berat, Albania.
Courses
Links
|
