This is a internal workshop of the Security & Trust Research Unit of the Center for Information Tehnology of the Bruno Kessler Foundation.
During the workshop the main research themes of the Unit will be discussed, namely:
- Web-based Authentication and Authorization Protocols: browser-based authentication and authorization protocols, protocols for strong authentication;
- Mobile Security: security of mobile operating systems and applications, authentication and authorization models and solutions for mobile apps;
- Security of Cloud-based and Service-oriented Applications and Infrastructures: models and policies for content protection and release, design-time and run-time analysis and enforcement of access control policies
Location: Villa Tambosi
Programme:
Slides:
- Security & Trust Research unit: a bird’s eye view perspective, Alessandro Armando
- An Overview of Access Control in ST, Silvio Ranise
- Automatic Analysis of Security Protocols, Roberto Carbone
- Smart Campus Project: API Manager, Giada Sciarretta
- ALPS: an Action Language for Policy Specification, Riccardo Traverso
- Automatic Symbolic Analysis of Security Policies: New Heuristics, Tuan Anh Truong
- An Integrated Purpose Control Framework for Enhanced Privacy Protection, Hari Siswantoro
- Risk-Based Access Control, Nadia Metoui
- Automatic Security Analysis of Business Processes, Daniel Ricardo dos Santos
- Security Certification of Third-parties Applications, Stanislav Dashevskyi
- Automatic Analysis of Browser-based Security Protocols, Avinash Sudhodanan
- VLOC: Verifying the Physical Location of A Virtual Machine In Cloud, Mojtaba Eskandari
Images
