PhD positions in Language-based Security @ UNIVE
Michele Bugliesi
Ca' Foscari University has just opened 10 PhD positions (6 with
scholarship) in Computer Science. The programme is three years long in
a context where all the graduate programmes (Master and PhD) are
taught in English
(see here fo full details on how to apply).
Among other topics, we propose PhD research projects on:
-
Certified security for mobile and web applications
-
Web authorization and access control systems
The broad objectives of such projects may be summarized as follows:
- analyze the new security issues related to the recent development of
mobile device technology and its interaction with online services;
- develop provably sound verification techniques, to certify the
security of web and mobile applications with respect to a clearly identified
threat model;
- implement theoretically well-founded tools for certifying the absence
of security flaws for mobile and web applications;
Students will work on my supervision, in a group that includes
doctoral students and postdoc fellows. We also have very active
and long-established research collaboration with the
LBS group at Saarland University on these topics.
Some representative research papers on the topics of interest are given
below.
- Certified Web Session Security
M. Bugliesi, S. Calzavara, R. Focardi, W. Khan.
Submitted for publication.
- Lintent: towards security type-checking of Android applications
M. Bugliesi, S. Calzavara, A. Spanò
In FORTE/FMOODS'13 -- IFIP Joint International Conference on Formal Techniques for Distributed Systems
- Logical foundations of secure resource
management in protocol implementations
M. Bugliesi, S. Calzavara, F. Eigner, M. Maffei
In POST'13 -- International Conference on Principles of Security and Trust -- EATCS Best paper award!
- Affine refinement types for authentication and authorization
M. Bugliesi, S. Calzavara, F. Eigner, M. Maffei
In TGC'12 -- Symposium on Trustworthy Global Computing
- Gran: model checking grsecurity RBAC policies
M. Bugliesi, S. Calzavara, R. Focardi, M. Squarcina
In CSF'12 -- Computer Security Foundations Symposium
- Resource-aware authorization policies for statically typed cryptographic protocols
M. Bugliesi, S. Calzavara, F. Eigner, M. Maffei
In CSF'11 -- Computer Security Foundations Symposium
- Secrecy and authenticity types for secure distributed messaging
M. Bugliesi, S. Calzavara, D. Macedonio
In ARSPA-WITS'10 -- Joint Workshop on Automated Reasoning for Security Protocol
Analysis and Issues in the Theory of Security
- Channel Abstractions for Network Security
Michele Bugliesi, Riccardo Focardi.
Mathematical Structures in Computer Science, 20:3-44, (2010).